Constant Field Values


Contents
ubc.cs.*

ubc.cs.JLog.Animation.aAnimationObject
public static final java.lang.String LEVEL_ATTR_KEY "level"
public static final java.lang.String NAME_ATTR_KEY "name"
public static final java.lang.String PATHCOLOUR_ATTR_KEY "path_colour"
public static final java.lang.String PATHSIZE_ATTR_KEY "path_size"
public static final java.lang.String PATHSKIP_ATTR_KEY "path_skip"
public static final java.lang.String ROTATION_ATTR_KEY "rotation"
public static final java.lang.String VIEW_ATTR_KEY "view"
public static final java.lang.String X_ATTR_KEY "x"
public static final java.lang.String Y_ATTR_KEY "y"

ubc.cs.JLog.Animation.aAnimationShape
public static final java.lang.String NAME_ATTR_KEY "name"
public static final java.lang.String OBJECT_ATTR_KEY "object"
public static final java.lang.String ROTATION_ATTR_KEY "rotation"
public static final java.lang.String TYPE_ATTR_KEY "type"
public static final java.lang.String X_ATTR_KEY "x"
public static final java.lang.String Y_ATTR_KEY "y"

ubc.cs.JLog.Animation.aAnimationShape_image
public static final java.lang.String HEIGHT_ATTR_KEY "height"
public static final java.lang.String WIDTH_ATTR_KEY "width"

ubc.cs.JLog.Animation.aAnimationShape_line
public static final java.lang.String COLOUR_ATTR_KEY "colour"
public static final java.lang.String LINE_ATTR_KEY "line"

ubc.cs.JLog.Animation.aAnimationShape_polygon
public static final java.lang.String COLOUR_ATTR_KEY "colour"
public static final java.lang.String POLYGON_ATTR_KEY "polygon"

ubc.cs.JLog.Animation.aAnimationShape_text
public static final java.lang.String COLOUR_ATTR_KEY "colour"
public static final java.lang.String FONT_ATTR_KEY "font"
public static final java.lang.String TEXT_ATTR_KEY "text"

ubc.cs.JLog.Applet.gAnimationPanel
protected static final java.lang.String ANIMATION_ENV "ubc.cs.JLog.Animation.aAnimationEnvironment"

ubc.cs.JLog.Applet.gButtonTab
protected static final java.lang.String ACTIVE "active"
protected static final java.lang.String INACTIVE "inactive"

ubc.cs.JLog.Applet.gButtonTabMenu
public static final int HORIZONTAL 0
public static final int VERTICAL 1

ubc.cs.JLog.Applet.gClosingDialog
public static final int CANCEL 1
public static final int DONTSAVE 4
public static final int SAVE 2
public static final int SAVEAS 3

ubc.cs.JLog.Applet.gConsultPanel
protected static final java.lang.String CONSULT "Consult"
protected static final java.lang.String ERRLABEL "Status"
protected static final int ERRROWS 3
protected static final java.lang.String FIND "Find"
protected static final java.lang.String GOTOLINE "Goto"
protected static final java.lang.String RESET "Reset KB"
protected static final java.lang.String SRCLABEL "Source"

ubc.cs.JLog.Applet.gDebugPanel
protected static final java.lang.String A_UNKNOWNPRED "Abort on Unknown Predicate"
protected static final java.lang.String BREAK "Break"
protected static final java.lang.String BREAKALL "Break on Fail"
protected static final java.lang.String CLEAR "Clear"
protected static final java.lang.String DEBUG "Debugger On"
protected static final java.lang.String GOALS_TAB "goals"
protected static final java.lang.String PROVED_TAB "proved"
protected static final java.lang.String RUN "Run"
protected static final int STATE_RUN 1
protected static final int STATE_STEPIN 2
protected static final int STATE_STEPOVER 3
protected static final int STATE_STOP 0
protected static final java.lang.String STEPIN "Step In"
protected static final java.lang.String STEPOVER "Step Over"
protected static final java.lang.String TRACE_TAB "trace"
protected static final java.lang.String TRACEALL "Trace All"

ubc.cs.JLog.Applet.gHelpPanel
protected static final java.lang.String HELPFOLDER "Help/"
protected static final java.lang.String HELPLABEL "Help"
protected static final java.lang.String TOPICLABEL "Topic"

ubc.cs.JLog.Applet.gJLogApplicationBase
public static final java.lang.String MENU_BREAK "break"
public static final java.lang.String MENU_CLOSE "close"
public static final java.lang.String MENU_CONSULTALLKB "consultallkb"
public static final java.lang.String MENU_CONSULTKB "consultkb"
public static final java.lang.String MENU_COPY "copy"
public static final java.lang.String MENU_CUT "cut"
public static final java.lang.String MENU_DEBUG "debug"
public static final java.lang.String MENU_FIND "find"
public static final java.lang.String MENU_FINDNEXT "findnext"
public static final java.lang.String MENU_GOTOLINE "gotoline"
public static final java.lang.String MENU_LABEL_PAUSEQ_CONT "Continue Query"
public static final java.lang.String MENU_LABEL_PAUSEQ_PAUSE "Pause Query"
public static final java.lang.String MENU_PASTE "paste"
public static final java.lang.String MENU_PAUSEQ "pauseq"
public static final java.lang.String MENU_RESETKB "resetkb"
public static final java.lang.String MENU_SAVE "save"
public static final java.lang.String MENU_SAVEAS "saveas"
public static final java.lang.String MENU_SELECTALL "selectall"
public static final java.lang.String MENU_STOPQ "stopq"
public static final java.lang.String MENU_TRACE "trace"
public static final java.lang.String MENU_UNKNOWNPRED "unknownpredicate"

ubc.cs.JLog.Applet.gMainPanel
protected static final java.lang.String ANIMATION "animation"
protected static final java.lang.String CONSULT "consult"
protected static final java.lang.String DEBUG "debug"
protected static final java.lang.String HELP "help"
protected static final java.lang.String QUERY "query"

ubc.cs.JLog.Applet.gQueryPanel
protected static final java.lang.String CLEAR " Clear "
protected static final java.lang.String CONTINUE " Continue "
protected static final java.lang.String INLABEL "Input"
protected static final java.lang.String INPUT " Input "
protected static final java.lang.String OUTLABEL "Output"
protected static final java.lang.String PAUSE " Pause "
protected static final java.lang.String QLABEL "Query"
protected static final java.lang.String QUERY " Query "
protected static final java.lang.String RETRY " Retry "
protected static final java.lang.String STOP " Stop "

ubc.cs.JLog.Applet.gStackPanel
protected static final java.lang.String DISPLAY "Display"
protected static final java.lang.String STACKLABEL " Stack"

ubc.cs.JLog.Applet.gTracePanel
protected static final java.lang.String CLEARBREAK "Clear Breaks"
protected static final java.lang.String CLEARTRACE "Clear Traces"
protected static final java.lang.String HIDEBUTTON " Hide "
protected static final java.lang.String SETBREAK " Set Break "
protected static final java.lang.String SETTRACE " Set Trace "
protected static final java.lang.String SHOWBUTTON " Show All "
protected static final java.lang.String TRACELABEL "Predicates"
protected static final java.lang.String TRACEUPDATE " Update "
protected static final java.lang.String UNSETBREAK " Unset Break "
protected static final java.lang.String UNSETTRACE " Unset Trace "

ubc.cs.JLog.Builtins.iArithmetic
public static final int MAX 1200

ubc.cs.JLog.Builtins.jAssert
public static final boolean FIRST false
public static final boolean LAST true

ubc.cs.JLog.Extras.BSF.jAddEventGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jCreateGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jImportGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jInvokeGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jJ2PGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.JLogBSFEngine
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jLookupGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jP2JGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jRegisterGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jStaticGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Extras.BSF.jUnregisterGoal
protected static final boolean DEBUG false

ubc.cs.JLog.Foundation.iType
public static final int TYPE_ARITHMETIC 20
public static final int TYPE_ATOM 0
public static final int TYPE_BUILTINPREDICATE 4
public static final int TYPE_COMMAND 11
public static final int TYPE_COMPARE 18
public static final int TYPE_COMPOUND 5
public static final int TYPE_CONS 7
public static final int TYPE_IF 10
public static final int TYPE_INTEGER 1
public static final int TYPE_LIST 12
public static final int TYPE_NULLLIST 13
public static final int TYPE_NUMERICCOMPARE 17
public static final int TYPE_OBJECT 22
public static final int TYPE_OPERATOR 15
public static final int TYPE_OR 8
public static final int TYPE_ORPREDICATE 9
public static final int TYPE_PREDICATE 3
public static final int TYPE_PREDICATETERMS 6
public static final int TYPE_REAL 2
public static final int TYPE_TYPE 19
public static final int TYPE_UNARYARITHMETIC 21
public static final int TYPE_UNARYOPERATOR 16
public static final int TYPE_UNDEFINED -1
public static final int TYPE_VARIABLE 14

ubc.cs.JLog.Foundation.jPrologAPI
protected static final int QUERY_STATE_FINISHED 2
protected static final int QUERY_STATE_SUCCEEDED 1
protected static final int QUERY_STATE_WAITING 0

ubc.cs.JLog.Parser.pOperatorEntry
public static final int FX 1
public static final int FY 2
public static final int LEFT_ASSOCIATIVE 1
public static final int NON_ASSOCIATIVE 0
public static final int RIGHT_ASSOCIATIVE 2
public static final int XF 16
public static final int XFX 17
public static final int XFY 18
public static final int YF 32
public static final int YFX 33

ubc.cs.JLog.Parser.pPredicateEntry
public static final int NARY_ARITY -1

ubc.cs.JLog.Terms.iList
public static final java.lang.String LIST_NULL "[]"
public static final java.lang.String LIST_PAIR "."

ubc.cs.JLog.Terms.iTerm
public static final int EQUAL 0
public static final int GREATER_THAN 1
public static final int LESS_THAN -1

ubc.cs.JLog.Terms.Goals.jClauseGoal
protected static final int STARTING_RULE 0

ubc.cs.JLog.Terms.Goals.jOrGoal
protected static final int STARTING_PREDICATE 0

ubc.cs.JLog.Terms.Goals.jPredicateGoal
protected static final int STARTING_RULE 0