|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Package <Unnamed> |
---|
Class JLog extends gJLogApplet implements Serializable |
---|
Class JLog.WarningDialog extends java.awt.Dialog implements Serializable |
---|
Package ubc.cs.JLog.Animation |
---|
Class ubc.cs.JLog.Animation.aAnimationEnvironment extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
iJLogApplBaseServices base
java.util.Vector<E> objects
java.util.Hashtable<K,V> named_objects
java.awt.Image offscreen_buffer
float magnification
FloatRectangle cached_active_bounds_rect
Class ubc.cs.JLog.Animation.InvalidAnimationAPIException extends java.lang.RuntimeException implements Serializable |
---|
Package ubc.cs.JLog.Applet |
---|
Class ubc.cs.JLog.Applet.gAboutDialog extends java.awt.Dialog implements Serializable |
---|
Class ubc.cs.JLog.Applet.gAnimationPanel extends java.awt.Panel implements Serializable |
---|
Class ubc.cs.JLog.Applet.gAnimationWindow extends gWindowBase implements Serializable |
---|
Class ubc.cs.JLog.Applet.gButtonTab extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.lang.String cardname
ubc.cs.JLog.Applet.iCardPanel card
gButtonTabMenu menu
java.awt.Button button
java.awt.Label label
Class ubc.cs.JLog.Applet.gButtonTabMenu extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
gButtonTab activetab
Class ubc.cs.JLog.Applet.gCardPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.lang.String defaultcard
Class ubc.cs.JLog.Applet.gClosingDialog extends java.awt.Dialog implements Serializable |
---|
Serialized Fields |
---|
int choice
Class ubc.cs.JLog.Applet.gConsultPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.awt.TextArea source
java.awt.TextArea errors
java.awt.TextField find_field
java.awt.TextField gotoline_field
java.awt.Button resetdb
java.awt.Button consult
java.awt.Button find
java.awt.Button gotoline
java.awt.Label srclabel
java.awt.Label errlabel
jPrologServices prolog
java.lang.String find_str
int find_pos
Class ubc.cs.JLog.Applet.gConsultWindow extends gWindowBase implements Serializable |
---|
Serialized Fields |
---|
gConsultPanel consult
java.lang.String file_path
boolean src_changed
int events_pending
Class ubc.cs.JLog.Applet.gDebugPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
gCardPanel lists
gButtonTabMenu menu
java.awt.TextArea info
java.awt.Checkbox debug
java.awt.Checkbox unkpred
java.awt.Checkbox breakall
java.awt.Checkbox traceall
java.awt.Button runpro
java.awt.Button stepin
java.awt.Button stepover
java.awt.Button stop
java.awt.Button clear
gButtonTab trace
gButtonTab proved
gButtonTab goals
gStackPanel proved_stack
gStackPanel goals_stack
gTracePanel trace_list
jPrologServices prolog
jDebugProver prover
int run_state
jGoal prover_currentnextgoal
jGoal prover_stopgoal
Class ubc.cs.JLog.Applet.gDebugWindow extends gWindowBase implements Serializable |
---|
Serialized Fields |
---|
gDebugPanel debug
Class ubc.cs.JLog.Applet.gFindDialog extends java.awt.Dialog implements Serializable |
---|
Serialized Fields |
---|
java.awt.TextField find_field
java.lang.String find_string
Class ubc.cs.JLog.Applet.gGotoLineDialog extends java.awt.Dialog implements Serializable |
---|
Serialized Fields |
---|
java.awt.TextField line_field
int initial_line
int goto_line
Class ubc.cs.JLog.Applet.gHelpPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.awt.TextArea help
java.awt.List topic
java.awt.Label topiclabel
java.awt.Label helplabel
java.util.Vector<E> topics_info
iJLogApplBaseServices base
Class ubc.cs.JLog.Applet.gHelpWindow extends gWindowBase implements Serializable |
---|
Class ubc.cs.JLog.Applet.gJLogApplet extends gJLogAppletBase implements Serializable |
---|
Serialized Fields |
---|
gMainPanel main
Class ubc.cs.JLog.Applet.gJLogAppletBase extends java.applet.Applet implements Serializable |
---|
Serialized Fields |
---|
gJLogBase base
Class ubc.cs.JLog.Applet.gJLogApplication extends gJLogApplicationBase implements Serializable |
---|
Class ubc.cs.JLog.Applet.gJLogApplicationBase extends java.awt.Frame implements Serializable |
---|
Serialized Fields |
---|
java.lang.String current_directory
Class ubc.cs.JLog.Applet.gMainPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
gCardPanel workarea
gButtonTabMenu menu
gConsultPanel consult
gQueryPanel query
gDebugPanel debug
gAnimationPanel animation
gHelpPanel help
jConsultAndQueryThread thread
iJLogApplBaseServices base
Class ubc.cs.JLog.Applet.gProverStackPanel extends gStackPanel implements Serializable |
---|
Serialized Fields |
---|
gStackPanel otherstackpanel
Class ubc.cs.JLog.Applet.gQueryPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.awt.TextArea output
java.awt.TextField input
java.awt.TextField qinput
java.awt.Button query
java.awt.Button retry
java.awt.Button pause
java.awt.Button stop
java.awt.Button enter
java.awt.Button clear
java.awt.Label outlabel
java.awt.Label inlabel
java.awt.Label qlabel
jPrologServices prolog
jRetryQueryThread thread
gButtonTabMenuAction debug_action
Class ubc.cs.JLog.Applet.gQueryWindow extends gWindowBase implements Serializable |
---|
Class ubc.cs.JLog.Applet.gStackPanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.awt.List stacklist
java.awt.Label stacklabel
java.awt.Button display
java.awt.TextArea displayarea
jPrologServices prolog
iDebugGoalStack debugstack
java.util.Vector<E> debugstack_vector
boolean use_proved_stack
Class ubc.cs.JLog.Applet.gTracePanel extends java.awt.Panel implements Serializable |
---|
Serialized Fields |
---|
java.awt.List predlist
java.awt.Label predlabel
java.awt.Button hideshow
java.awt.Button update
java.awt.Button settrace
java.awt.Button setbreak
java.awt.Button cleartrace
java.awt.Button clearbreak
jPrologServices prolog
java.util.Vector<E> user_predicates
java.util.Vector<E> builtin_predicates
java.util.Hashtable<K,V> traceitem_hash
Class ubc.cs.JLog.Applet.gWindowBase extends java.awt.Frame implements Serializable |
---|
Serialized Fields |
---|
gJLogApplicationBase parent
Package ubc.cs.JLog.Builtins |
---|
Class ubc.cs.JLog.Builtins.ExpectedCompoundTermException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidArgArgumentException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidArithmeticOperationException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidAssertException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidCalleeTypeException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidExpressionTypeException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidFunctorArgumentException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidKeysortKeyValueException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidNameArgumentException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidOpArgumentException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidRetractException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidSortSourceListException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.InvalidTermToListArgumentException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Builtins.MissingInputServicesException extends java.lang.RuntimeException implements Serializable |
---|
Package ubc.cs.JLog.Foundation |
---|
Class ubc.cs.JLog.Foundation.InvalidInputException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
boolean handled
Class ubc.cs.JLog.Foundation.InvalidLibraryEntryException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Foundation.LoadLibraryException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Foundation.NoThreadAvailableException extends java.lang.RuntimeException implements Serializable |
---|
Package ubc.cs.JLog.Parser |
---|
Class ubc.cs.JLog.Parser.pTermToPacketHashtable extends java.util.Hashtable implements Serializable |
---|
Class ubc.cs.JLog.Parser.SyntaxErrorException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
int position
int lineno
int charpos
Class ubc.cs.JLog.Parser.TokenizeStreamException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
int position
int lineno
int charpos
java.io.IOException ioe
Package ubc.cs.JLog.Terms |
---|
Class ubc.cs.JLog.Terms.InvalidClauseException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Terms.InvalidDCGFormException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
jTerm term
Class ubc.cs.JLog.Terms.InvalidPredicateNameException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Terms.PredicateExpectedException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
jTerm term
Class ubc.cs.JLog.Terms.TranslationFailureException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Terms.UnimplementedPredicateProveMethodException extends java.lang.RuntimeException implements Serializable |
---|
Class ubc.cs.JLog.Terms.UnknownPredicateException extends java.lang.RuntimeException implements Serializable |
---|
Serialized Fields |
---|
iPredicate predicate
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |