Serialized Form

Package alice.tuprolog

Class alice.tuprolog.Double extends Number implements Serializable

Serialized Fields

value

double value

Class alice.tuprolog.Float extends Number implements Serializable

Serialized Fields

value

float value

Class alice.tuprolog.Int extends Number implements Serializable

Serialized Fields

value

int value

Class alice.tuprolog.InvalidLibraryException extends PrologException implements Serializable

Serialized Fields

libraryName

java.lang.String libraryName

line

int line

pos

int pos

Class alice.tuprolog.InvalidTermException extends PrologException implements Serializable

Class alice.tuprolog.InvalidTheoryException extends PrologException implements Serializable

Serialized Fields

line

int line

pos

int pos

Class alice.tuprolog.InvalidVarNameException extends PrologException implements Serializable

Class alice.tuprolog.Library extends java.lang.Object implements Serializable

Serialized Fields

engine

Prolog engine

prolog core which loaded the library

opMappingCached

java.lang.String[][] opMappingCached

operator mapping

Class alice.tuprolog.LibraryEvent extends PrologEvent implements Serializable

Serialized Fields

libName

java.lang.String libName

Class alice.tuprolog.Long extends Number implements Serializable

Serialized Fields

value

long value

Class alice.tuprolog.MalformedGoalException extends PrologException implements Serializable

Class alice.tuprolog.NoHaltException extends PrologException implements Serializable

Class alice.tuprolog.NoMoreSolutionException extends PrologException implements Serializable

Class alice.tuprolog.NoSolutionException extends PrologException implements Serializable

Class alice.tuprolog.NullTerm extends Term implements Serializable

Class alice.tuprolog.Number extends Term implements Serializable

Class alice.tuprolog.Operator extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

operator name

type

java.lang.String type

type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

prio

int prio

priority

Class alice.tuprolog.OperatorManager extends java.lang.Object implements Serializable

Serialized Fields

opQueue

LinkedQueue opQueue

current known operators

Class alice.tuprolog.OutputEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg

text produced

Class alice.tuprolog.Parser extends java.lang.Object implements Serializable

Serialized Fields

tokenizer

Tokenizer tokenizer

tokenizer used by the parser

term

Term term

the term parsed

type

int type

parsing state indicator: (OK,EOF,ERROR)

opManager

OperatorManager opManager

operator manager actually used

Class alice.tuprolog.Prolog extends java.lang.Object implements Serializable

Serialized Fields

currentContext

RTContext currentContext

mustStop

boolean mustStop

theoryManager

TheoryManager theoryManager

opManager

OperatorManager opManager

flags

java.util.ArrayList flags

currentGoal

Term currentGoal

startQuery

Term startQuery

currentVars

LinkedList currentVars

evalFlag

int evalFlag

haltCode

int haltCode

currentLibraries

java.util.ArrayList currentLibraries

extPredicates

java.util.HashMap extPredicates

extFunctors

java.util.HashMap extFunctors

spy

boolean spy

warning

boolean warning

outputListeners

java.util.ArrayList outputListeners

spyListeners

java.util.ArrayList spyListeners

warningListeners

java.util.ArrayList warningListeners

theoryListeners

java.util.ArrayList theoryListeners

libraryListeners

java.util.ArrayList libraryListeners

queryListeners

java.util.ArrayList queryListeners

Class alice.tuprolog.PrologEvent extends java.util.EventObject implements Serializable

Serialized Fields

when

long when

Class alice.tuprolog.PrologException extends java.lang.Exception implements Serializable

Class alice.tuprolog.QueryEvent extends PrologEvent implements Serializable

Serialized Fields

info

SolveInfo info

Class alice.tuprolog.SolveInfo extends java.lang.Object implements Serializable

Serialized Fields

isSuccess

boolean isSuccess

bindings

Var[] bindings

goal variable state after demonstration

goal

Term goal

goal subject of demonstration

query

Term query

Class alice.tuprolog.SpyEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg

event description

Class alice.tuprolog.Struct extends Term implements Serializable

Serialized Fields

name

java.lang.String name

name of the structure

arg

Term[] arg

args array

arity

int arity

arity

hashKey

StructKey hashKey

to speedup hash map operation

resolved

boolean resolved

Class alice.tuprolog.Term extends java.lang.Object implements Serializable

Class alice.tuprolog.Theory extends java.lang.Object implements Serializable

Serialized Fields

theory

java.lang.String theory

clauseList

Struct clauseList

Class alice.tuprolog.TheoryEvent extends PrologEvent implements Serializable

Serialized Fields

oldTh

Theory oldTh

newTh

Theory newTh

Class alice.tuprolog.UnknownVarException extends PrologException implements Serializable

Class alice.tuprolog.Var extends Term implements Serializable

Serialized Fields

name

java.lang.String name

time

int time

timeBackup

int timeBackup

link

Term link

linkBackup

Term linkBackup

mark

int mark

renameStage

int renameStage

Class alice.tuprolog.WarningEvent extends java.util.EventObject implements Serializable

Serialized Fields

msg

java.lang.String msg

event description

Package alice.tuprolog.lib

Class alice.tuprolog.lib.BasicLibrary extends Library implements Serializable

Class alice.tuprolog.lib.InvalidObjectIdException extends PrologException implements Serializable

Class alice.tuprolog.lib.IOLibrary extends Library implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

Serialized Fields

inputStreamName

java.lang.String inputStreamName

inputStream

java.io.InputStream inputStream

outputStreamName

java.lang.String outputStreamName

outputStream

java.io.OutputStream outputStream

gen

java.util.Random gen

Class alice.tuprolog.lib.ISOLibrary extends Library implements Serializable

Class alice.tuprolog.lib.JavaLibrary extends Library implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

handling readObject method is necessary in order to have the library reconstructed after a serialization

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

handling writeObject method is necessary in order to make the library serializable, 'nullyfing' eventually objects registered in maps

Serialized Fields

currentObjects

java.util.HashMap currentObjects

java objects referenced by prolog terms (keys)

currentObjects_inverse

java.util.HashMap currentObjects_inverse

inverse map useful for implementation issue

staticObjects

java.util.HashMap staticObjects

staticObjects_inverse

java.util.HashMap staticObjects_inverse

id

int id

progressive conter used to identify registered objects

Package alice.util

Class alice.util.Automaton extends java.lang.Object implements Serializable

Serialized Fields

state

java.lang.String state

method name representing state behaviour

arguments

java.lang.Object[] arguments

arguments value eventually associated to state transition

argType

java.lang.Class[] argType

arguments class eventually associated to state transition

Class alice.util.LinkedList extends java.lang.Object implements Serializable

Serialized Fields

head

java.lang.Object head

tail

LinkedList tail

Class alice.util.LinkedQueue extends java.lang.Object implements Serializable

Serialized Fields

head

LinkedList head

queue head

tail

LinkedList tail

queue tail

Class alice.util.P2d extends java.lang.Object implements Serializable

Serialized Fields

x

float x

y

float y

Class alice.util.V2d extends java.lang.Object implements Serializable

Serialized Fields

x

float x

y

float y