|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |