ptolemy.backtrack.eclipse.plugin.preferences

Class PreferenceConstants

java.lang.Object

ptolemy.backtrack.eclipse.plugin.preferences.PreferenceConstants

public class PreferenceConstants
extends java.lang.Object

A set of keys as preference indices.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	BACKTRACK_CONFIGURATION Configuration preference.
static java.lang.String	BACKTRACK_EXTRA_CLASSPATHS Extra classpath.
static java.lang.String	BACKTRACK_GENERATE_CONFIGURATION Whether to generate configuration.
static java.lang.String	BACKTRACK_OVERWRITE Whether to overwrite exiting files.
static java.lang.String	BACKTRACK_PREFIX Package prefix.
static java.lang.String	BACKTRACK_ROOT Root path.
static java.lang.String	BACKTRACK_SOURCE_LIST Backtracking source list.
static java.lang.String	BACKTRACK_SOURCES Backtracking source files.
static java.lang.String	EDITOR_ACTOR_METHOD_BOLD Whether special methods should have bold face.
static java.lang.String	EDITOR_ACTOR_METHOD_COLOR Color for special methods.
static java.lang.String	EDITOR_ACTOR_METHOD_ITALIC Whether special methods should be italic.
static java.lang.String	EDITOR_HIGHLIGHTING_ENABLED Whether semantic highlighting is enabled.
static java.lang.String	EDITOR_STATE_BOLD Whether state variables should have bold face.
static java.lang.String	EDITOR_STATE_COLOR Color for state variables.
static java.lang.String	EDITOR_STATE_ITALIC Whether state variables should be italic.
static java.lang.String	PTII PTII path.
static java.lang.String	PTII_PREFERENCE_ID ID of the backtracking preferences.

Constructor Summary

Constructors

Constructor and Description
PreferenceConstants()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

BACKTRACK_CONFIGURATION

public static final java.lang.String BACKTRACK_CONFIGURATION

Configuration preference.

See Also:

Constant Field Values

BACKTRACK_EXTRA_CLASSPATHS

public static final java.lang.String BACKTRACK_EXTRA_CLASSPATHS

Extra classpath.

See Also:

Constant Field Values

BACKTRACK_GENERATE_CONFIGURATION

public static final java.lang.String BACKTRACK_GENERATE_CONFIGURATION

Whether to generate configuration.

See Also:

Constant Field Values

BACKTRACK_OVERWRITE

public static final java.lang.String BACKTRACK_OVERWRITE

Whether to overwrite exiting files.

See Also:

Constant Field Values

BACKTRACK_PREFIX

public static final java.lang.String BACKTRACK_PREFIX

Package prefix.

See Also:

Constant Field Values

BACKTRACK_ROOT

public static final java.lang.String BACKTRACK_ROOT

Root path.

See Also:

Constant Field Values

BACKTRACK_SOURCES

public static final java.lang.String BACKTRACK_SOURCES

Backtracking source files.

See Also:

Constant Field Values

BACKTRACK_SOURCE_LIST

public static final java.lang.String BACKTRACK_SOURCE_LIST

Backtracking source list.

See Also:

Constant Field Values

EDITOR_ACTOR_METHOD_BOLD

public static final java.lang.String EDITOR_ACTOR_METHOD_BOLD

Whether special methods should have bold face.

See Also:

Constant Field Values

EDITOR_ACTOR_METHOD_COLOR

public static final java.lang.String EDITOR_ACTOR_METHOD_COLOR

Color for special methods.

See Also:

Constant Field Values

EDITOR_ACTOR_METHOD_ITALIC

public static final java.lang.String EDITOR_ACTOR_METHOD_ITALIC

Whether special methods should be italic.

See Also:

Constant Field Values

EDITOR_HIGHLIGHTING_ENABLED

public static final java.lang.String EDITOR_HIGHLIGHTING_ENABLED

Whether semantic highlighting is enabled.

See Also:

Constant Field Values

EDITOR_STATE_BOLD

public static final java.lang.String EDITOR_STATE_BOLD

Whether state variables should have bold face.

See Also:

Constant Field Values

EDITOR_STATE_COLOR

public static final java.lang.String EDITOR_STATE_COLOR

Color for state variables.

See Also:

Constant Field Values

EDITOR_STATE_ITALIC

public static final java.lang.String EDITOR_STATE_ITALIC

Whether state variables should be italic.

See Also:

Constant Field Values

PTII

public static final java.lang.String PTII

PTII path.

See Also:

Constant Field Values

PTII_PREFERENCE_ID

public static final java.lang.String PTII_PREFERENCE_ID

ID of the backtracking preferences.

See Also:

Constant Field Values

Constructor Detail

PreferenceConstants

public PreferenceConstants()