Package com.kcsl.paths.preferences

Class PathCounterPreferences

java.lang.Object

org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

com.kcsl.paths.preferences.PathCounterPreferences

public class PathCounterPreferences
extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

Path Counter Preferences

Author:

Payas Awadhutkar

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	BOTTOM_UP
static java.lang.String	BREADTH_FIRST
static java.lang.String	DEFAULT_DIRECTION
static java.lang.String	DEFAULT_TRAVERSAL
static java.lang.String	DEPTH_FIRST
static java.lang.String	DIRECTION
static boolean	doShortCircuitPaths
static java.lang.String	shortCircuitPaths
static java.lang.String	TOP_DOWN
static java.lang.String	TRAVERSAL

Constructor Summary

Constructors

Constructor	Description
PathCounterPreferences()

Method Summary

Modifier and Type	Method	Description
static java.lang.String	getDirection()	Direction to count paths
static org.eclipse.jface.preference.IPreferenceStore	getPreferenceStore()	Returns the preference store used for these preferences
static java.lang.String	getTraversal()	Traversal algorithm to count paths
void	initializeDefaultPreferences()
static boolean	isShortCircuitPathsEnabled()	Consider short circuiting
static void	loadPreferences()
static void	restoreDefaults()
static void	setShortCircuitPaths(boolean shortCircuit)	Set short circuiting

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DIRECTION

public static final java.lang.String DIRECTION

See Also:

Constant Field Values

TOP_DOWN

public static final java.lang.String TOP_DOWN

See Also:

Constant Field Values

BOTTOM_UP

public static final java.lang.String BOTTOM_UP

See Also:

Constant Field Values

DEFAULT_DIRECTION

public static final java.lang.String DEFAULT_DIRECTION

See Also:

Constant Field Values

TRAVERSAL

public static final java.lang.String TRAVERSAL

See Also:

Constant Field Values

DEPTH_FIRST

public static final java.lang.String DEPTH_FIRST

See Also:

Constant Field Values

BREADTH_FIRST

public static final java.lang.String BREADTH_FIRST

See Also:

Constant Field Values

DEFAULT_TRAVERSAL

public static final java.lang.String DEFAULT_TRAVERSAL

See Also:

Constant Field Values

shortCircuitPaths

public static java.lang.String shortCircuitPaths

doShortCircuitPaths

public static boolean doShortCircuitPaths

Constructor Detail

PathCounterPreferences

public PathCounterPreferences()

Method Detail

getPreferenceStore

public static org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()

Returns the preference store used for these preferences

Returns:

getDirection

public static java.lang.String getDirection()

Direction to count paths

getTraversal

public static java.lang.String getTraversal()

Traversal algorithm to count paths

isShortCircuitPathsEnabled

public static boolean isShortCircuitPathsEnabled()

Consider short circuiting

setShortCircuitPaths

public static void setShortCircuitPaths(boolean shortCircuit)

Set short circuiting

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:

initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

restoreDefaults

public static void restoreDefaults()

loadPreferences

public static void loadPreferences()