Serialized Form


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

base

iJLogApplBaseServices base

objects

java.util.Vector<E> objects

named_objects

java.util.Hashtable<K,V> named_objects

offscreen_buffer

java.awt.Image offscreen_buffer

magnification

float magnification

cached_active_bounds_rect

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

cardname

java.lang.String cardname

card

ubc.cs.JLog.Applet.iCardPanel card

menu

gButtonTabMenu menu

button

java.awt.Button button

label

java.awt.Label label

Class ubc.cs.JLog.Applet.gButtonTabMenu extends java.awt.Panel implements Serializable

Serialized Fields

activetab

gButtonTab activetab

Class ubc.cs.JLog.Applet.gCardPanel extends java.awt.Panel implements Serializable

Serialized Fields

defaultcard

java.lang.String defaultcard

Class ubc.cs.JLog.Applet.gClosingDialog extends java.awt.Dialog implements Serializable

Serialized Fields

choice

int choice

Class ubc.cs.JLog.Applet.gConsultPanel extends java.awt.Panel implements Serializable

Serialized Fields

source

java.awt.TextArea source

errors

java.awt.TextArea errors

find_field

java.awt.TextField find_field

gotoline_field

java.awt.TextField gotoline_field

resetdb

java.awt.Button resetdb

consult

java.awt.Button consult

find

java.awt.Button find

gotoline

java.awt.Button gotoline

srclabel

java.awt.Label srclabel

errlabel

java.awt.Label errlabel

prolog

jPrologServices prolog

find_str

java.lang.String find_str

find_pos

int find_pos

Class ubc.cs.JLog.Applet.gConsultWindow extends gWindowBase implements Serializable

Serialized Fields

consult

gConsultPanel consult

file_path

java.lang.String file_path

src_changed

boolean src_changed

events_pending

int events_pending

Class ubc.cs.JLog.Applet.gDebugPanel extends java.awt.Panel implements Serializable

Serialized Fields

lists

gCardPanel lists

menu

gButtonTabMenu menu

info

java.awt.TextArea info

debug

java.awt.Checkbox debug

unkpred

java.awt.Checkbox unkpred

breakall

java.awt.Checkbox breakall

traceall

java.awt.Checkbox traceall

runpro

java.awt.Button runpro

stepin

java.awt.Button stepin

stepover

java.awt.Button stepover

stop

java.awt.Button stop

clear

java.awt.Button clear

trace

gButtonTab trace

proved

gButtonTab proved

goals

gButtonTab goals

proved_stack

gStackPanel proved_stack

goals_stack

gStackPanel goals_stack

trace_list

gTracePanel trace_list

prolog

jPrologServices prolog

prover

jDebugProver prover

run_state

int run_state

prover_currentnextgoal

jGoal prover_currentnextgoal

prover_stopgoal

jGoal prover_stopgoal

Class ubc.cs.JLog.Applet.gDebugWindow extends gWindowBase implements Serializable

Serialized Fields

debug

gDebugPanel debug

Class ubc.cs.JLog.Applet.gFindDialog extends java.awt.Dialog implements Serializable

Serialized Fields

find_field

java.awt.TextField find_field

find_string

java.lang.String find_string

Class ubc.cs.JLog.Applet.gGotoLineDialog extends java.awt.Dialog implements Serializable

Serialized Fields

line_field

java.awt.TextField line_field

initial_line

int initial_line

goto_line

int goto_line

Class ubc.cs.JLog.Applet.gHelpPanel extends java.awt.Panel implements Serializable

Serialized Fields

help

java.awt.TextArea help

topic

java.awt.List topic

topiclabel

java.awt.Label topiclabel

helplabel

java.awt.Label helplabel

topics_info

java.util.Vector<E> topics_info

base

iJLogApplBaseServices base

Class ubc.cs.JLog.Applet.gHelpWindow extends gWindowBase implements Serializable

Class ubc.cs.JLog.Applet.gJLogApplet extends gJLogAppletBase implements Serializable

Serialized Fields

main

gMainPanel main

Class ubc.cs.JLog.Applet.gJLogAppletBase extends java.applet.Applet implements Serializable

Serialized Fields

base

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

current_directory

java.lang.String current_directory

Class ubc.cs.JLog.Applet.gMainPanel extends java.awt.Panel implements Serializable

Serialized Fields

workarea

gCardPanel workarea

menu

gButtonTabMenu menu

consult

gConsultPanel consult

query

gQueryPanel query

debug

gDebugPanel debug

animation

gAnimationPanel animation

help

gHelpPanel help

thread

jConsultAndQueryThread thread

base

iJLogApplBaseServices base

Class ubc.cs.JLog.Applet.gProverStackPanel extends gStackPanel implements Serializable

Serialized Fields

otherstackpanel

gStackPanel otherstackpanel

Class ubc.cs.JLog.Applet.gQueryPanel extends java.awt.Panel implements Serializable

Serialized Fields

output

java.awt.TextArea output

input

java.awt.TextField input

qinput

java.awt.TextField qinput

query

java.awt.Button query

retry

java.awt.Button retry

pause

java.awt.Button pause

stop

java.awt.Button stop

enter

java.awt.Button enter

clear

java.awt.Button clear

outlabel

java.awt.Label outlabel

inlabel

java.awt.Label inlabel

qlabel

java.awt.Label qlabel

prolog

jPrologServices prolog

thread

jRetryQueryThread thread

debug_action

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

stacklist

java.awt.List stacklist

stacklabel

java.awt.Label stacklabel

display

java.awt.Button display

displayarea

java.awt.TextArea displayarea

prolog

jPrologServices prolog

debugstack

iDebugGoalStack debugstack

debugstack_vector

java.util.Vector<E> debugstack_vector

use_proved_stack

boolean use_proved_stack

Class ubc.cs.JLog.Applet.gTracePanel extends java.awt.Panel implements Serializable

Serialized Fields

predlist

java.awt.List predlist

predlabel

java.awt.Label predlabel

hideshow

java.awt.Button hideshow

update

java.awt.Button update

settrace

java.awt.Button settrace

setbreak

java.awt.Button setbreak

cleartrace

java.awt.Button cleartrace

clearbreak

java.awt.Button clearbreak

prolog

jPrologServices prolog

user_predicates

java.util.Vector<E> user_predicates

builtin_predicates

java.util.Vector<E> builtin_predicates

traceitem_hash

java.util.Hashtable<K,V> traceitem_hash

Class ubc.cs.JLog.Applet.gWindowBase extends java.awt.Frame implements Serializable

Serialized Fields

parent

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

handled

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

position

int position

lineno

int lineno

charpos

int charpos

Class ubc.cs.JLog.Parser.TokenizeStreamException extends java.lang.RuntimeException implements Serializable

Serialized Fields

position

int position

lineno

int lineno

charpos

int charpos

ioe

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

term

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

term

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

predicate

iPredicate predicate