Serialized Form (HyperGraphDB Prolog 1.3-SNAPSHOT API)

Package alice.tuprolog
- Class alice.tuprolog.BuiltIn extends Library implements Serializable
  - Serialized Fields
    - engineManager
```
EngineManager engineManager
```
    - theoryManager
```
TheoryManager theoryManager
```
    - libraryManager
```
LibraryManager libraryManager
```
    - flagManager
```
alice.tuprolog.FlagManager flagManager
```
    - primitiveManager
```
PrimitiveManager primitiveManager
```
    - operatorManager
```
alice.tuprolog.OperatorManager operatorManager
```
- Class alice.tuprolog.Double extends Number implements Serializable
  - Serialized Fields
    - value
```
double value
```
- Class alice.tuprolog.EngineManager extends Object implements Serializable
  - Serialized Fields
    - mediator
```
Prolog mediator
```
    - theoryManager
```
TheoryManager theoryManager
```
    - primitiveManager
```
PrimitiveManager primitiveManager
```
    - libraryManager
```
LibraryManager libraryManager
```
    - clauseStoreManager
```
ClauseStoreManager clauseStoreManager
```
    - env
```
Engine env
```
    - last_env
```
Engine last_env
```
    - stackEnv
```
LinkedList<E> stackEnv
```
    - sinfo
```
SolveInfo sinfo
```
    - INIT
```
alice.tuprolog.State INIT
```
      States
    - GOAL_EVALUATION
```
alice.tuprolog.State GOAL_EVALUATION
```
    - RULE_SELECTION
```
alice.tuprolog.State RULE_SELECTION
```
    - GOAL_SELECTION
```
alice.tuprolog.State GOAL_SELECTION
```
    - BACKTRACK
```
alice.tuprolog.State BACKTRACK
```
    - END_FALSE
```
alice.tuprolog.State END_FALSE
```
    - END_TRUE
```
alice.tuprolog.State END_TRUE
```
    - END_TRUE_CP
```
alice.tuprolog.State END_TRUE_CP
```
    - END_HALT
```
alice.tuprolog.State END_HALT
```
- Class alice.tuprolog.Float extends Number implements Serializable
  - Serialized Fields
    - value
```
float value
```
- Class alice.tuprolog.HaltException extends PrologException implements Serializable
  - Serialized Fields
    - value
```
int 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
```
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 InvalidTermException implements Serializable
- Class alice.tuprolog.Library extends Object implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
      prolog core which loaded the library
    - opMappingCached
```
String[][] opMappingCached
```
      operator mapping
- Class alice.tuprolog.Long extends Number implements Serializable
  - Serialized Fields
    - value
```
long value
```
- Class alice.tuprolog.MalformedGoalException extends PrologException implements Serializable
- Class alice.tuprolog.NoMoreSolutionException extends PrologException implements Serializable
- Class alice.tuprolog.NoSolutionException extends PrologException implements Serializable
- Class alice.tuprolog.Number extends Term implements Serializable
- Class alice.tuprolog.Operator extends Object implements Serializable
  - Serialized Fields
    - name
```
String name
```
      operator name
    - type
```
String type
```
      type(xf,yf,fx,fy,xfx,xfy,yfy,yfx
    - prio
```
int prio
```
      priority
- Class alice.tuprolog.Parser extends Object implements Serializable
  - Serialized Fields
    - tokenizer
```
alice.tuprolog.Tokenizer tokenizer
```
    - opManager
```
alice.tuprolog.OperatorManager opManager
```
- Class alice.tuprolog.Prolog extends Object implements Serializable
  - Serialized Fields
    - theoryManager
```
TheoryManager theoryManager
```
    - primitiveManager
```
PrimitiveManager primitiveManager
```
    - opManager
```
alice.tuprolog.OperatorManager opManager
```
    - flagManager
```
alice.tuprolog.FlagManager flagManager
```
    - libraryManager
```
LibraryManager libraryManager
```
    - engineManager
```
EngineManager engineManager
```
    - spy
```
boolean spy
```
    - warning
```
boolean warning
```
    - outputListeners
```
ArrayList<E> outputListeners
```
    - spyListeners
```
ArrayList<E> spyListeners
```
    - warningListeners
```
ArrayList<E> warningListeners
```
    - theoryListeners
```
ArrayList<E> theoryListeners
```
    - libraryListeners
```
ArrayList<E> libraryListeners
```
    - queryListeners
```
ArrayList<E> queryListeners
```
- Class alice.tuprolog.PrologException extends Exception implements Serializable
- Class alice.tuprolog.SolveInfo extends Object implements Serializable
  - Serialized Fields
    - endState
```
int endState
```
    - isSuccess
```
boolean isSuccess
```
    - query
```
Term query
```
    - goal
```
Struct goal
```
    - bindings
```
List<E> bindings
```
- Class alice.tuprolog.Struct extends Term implements Serializable
  - Serialized Fields
    - name
```
String name
```
      name of the structure
    - arg
```
Term[] arg
```
      args array
    - arity
```
int arity
```
      arity
    - predicateIndicator
```
String predicateIndicator
```
      to speedup hash map operation
    - resolved
```
boolean resolved
```
      it indicates if the term is resolved
- Class alice.tuprolog.Term extends Object implements Serializable
- Class alice.tuprolog.Theory extends Object implements Serializable
  - Serialized Fields
    - theory
```
String theory
```
    - clauseList
```
Struct clauseList
```
- Class alice.tuprolog.TheoryManager extends Object implements Serializable
  - Serialized Fields
    - dynamicDBase
```
alice.tuprolog.ClauseDatabase dynamicDBase
```
    - staticDBase
```
alice.tuprolog.ClauseDatabase staticDBase
```
    - engine
```
Prolog engine
```
    - primitiveManager
```
PrimitiveManager primitiveManager
```
    - startGoalStack
```
Stack<E> startGoalStack
```
    - lastConsultedTheory
```
Theory lastConsultedTheory
```
- Class alice.tuprolog.UnknownVarException extends PrologException implements Serializable
- Class alice.tuprolog.Var extends Term implements Serializable
  - Serialized Fields
    - name
```
String name
```
    - completeName
```
String completeName
```
    - link
```
Term link
```
    - timestamp
```
long timestamp
```
    - id
```
int id
```
Package alice.tuprolog.clausestore
- Class alice.tuprolog.clausestore.HGAtomTerm extends Term implements Serializable
  
  serialVersionUID:
  
  -1L
  - Serialized Fields
    - graph
```
org.hypergraphdb.HyperGraph graph
```
    - ref
```
org.hypergraphdb.atom.HGAtomRef ref
```
Package alice.tuprolog.event
- Class alice.tuprolog.event.LibraryEvent extends PrologEvent implements Serializable
  - Serialized Fields
    - libName
```
String libName
```
- Class alice.tuprolog.event.OutputEvent extends EventObject implements Serializable
  - Serialized Fields
    - msg
```
String msg
```
      text produced
- Class alice.tuprolog.event.PrologEvent extends EventObject implements Serializable
  - Serialized Fields
    - when
```
long when
```
- Class alice.tuprolog.event.QueryEvent extends PrologEvent implements Serializable
  - Serialized Fields
    - info
```
SolveInfo info
```
- Class alice.tuprolog.event.SpyEvent extends EventObject implements Serializable
  - Serialized Fields
    - msg
```
String msg
```
      event description
    - env
```
Engine env
```
- Class alice.tuprolog.event.TheoryEvent extends PrologEvent implements Serializable
  - Serialized Fields
    - oldTh
```
Theory oldTh
```
    - newTh
```
Theory newTh
```
- Class alice.tuprolog.event.WarningEvent extends EventObject implements Serializable
  - Serialized Fields
    - msg
```
String msg
```
      event description
Package alice.tuprolog.hgdb
- Class alice.tuprolog.hgdb.HGPrologLibrary extends Library implements Serializable
  
  serialVersionUID:
  
  -1L
  - Serialized Fields
    - clauseFactory
```
HyperGraphStoreFactory clauseFactory
```
Package alice.tuprolog.lib
- Class alice.tuprolog.lib.BasicLibrary extends Library implements Serializable
- Class alice.tuprolog.lib.DCGLibrary 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(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream out)
                  throws IOException
```
      Throws:
      
      IOException
  - Serialized Fields
    - inputStreamName
```
String inputStreamName
```
    - inputStream
```
InputStream inputStream
```
    - outputStreamName
```
String outputStreamName
```
    - outputStream
```
OutputStream outputStream
```
    - gen
```
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(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException
```
      handling readObject method is necessary in order to have the library reconstructed after a serialization
      
      Throws:
      
      IOException
      
      ClassNotFoundException
    - writeObject
```
private void writeObject(ObjectOutputStream out)
                  throws IOException
```
      handling writeObject method is necessary in order to make the library serializable, 'nullyfing' eventually objects registered in maps
      
      Throws:
      
      IOException
  - Serialized Fields
    - currentObjects
```
HashMap<K,V> currentObjects
```
      java objects referenced by prolog terms (keys)
    - currentObjects_inverse
```
IdentityHashMap<K,V> currentObjects_inverse
```
      inverse map useful for implementation issue
    - staticObjects
```
HashMap<K,V> staticObjects
```
    - staticObjects_inverse
```
IdentityHashMap<K,V> staticObjects_inverse
```
    - id
```
int id
```
      progressive counter used to identify registered objects
- Class alice.tuprolog.lib.TheoryLibrary extends Library implements Serializable
  - Serialized Fields
    - th
```
Theory th
```
    - name
```
String name
```
Package alice.tuprologx
- Class alice.tuprologx.SolutionNavigator extends JPanel implements Serializable
  
  serialVersionUID:
  
  169624993686059249L
  - Serialized Fields
    - current
```
JLabel current
```
    - btnNext
```
JButton btnNext
```
    - btnPrev
```
JButton btnPrev
```
Package alice.tuprologx.ide
- Class alice.tuprologx.ide.Applet extends JApplet implements Serializable
- Class alice.tuprologx.ide.CUIConsole extends Automaton implements Serializable
  - Serialized Fields
    - stdin
```
BufferedReader stdin
```
    - engine
```
Prolog engine
```
    - info
```
SolveInfo info
```
- Class alice.tuprologx.ide.DotNetEditArea extends Panel implements Serializable
  - Serialized Fields
    - textArea
```
TextArea textArea
```
      The plain text component used by this edit area.
    - table
```
Vector<E> table
```
      A table containing the incremental lengths of all the lines in the TextArea.
    - caretLine
```
int caretLine
```
      The line in the text where the caret is currently positioned.
    - dirty
```
boolean dirty
```
      Indicate if the edit area is changed after the last Set Theory operation issued by the editor.
    - propertyChangeSupport
```
PropertyChangeSupport propertyChangeSupport
```
      Used for components interested in changes of console's properties.
- Class alice.tuprologx.ide.DotNetIDE extends Frame implements Serializable
  - Serialized Fields
    - editor
```
ThinletTheoryEditor editor
```
    - editArea
```
DotNetEditArea editArea
```
    - toolBar
```
ThinletToolBar toolBar
```
- Class alice.tuprologx.ide.DotNetInputField extends Panel implements Serializable
  - Serialized Fields
    - inputField
```
TextField inputField
```
      The input field used in the graphic interface.
    - history
```
alice.tuprologx.ide.History history
```
      A store for the history of the requested goals.
    - console
```
ThinletConsole console
```
      The console referenced by this component.
- Class alice.tuprologx.ide.JavaEditArea extends JPanel implements Serializable
  - Serialized Fields
    - inputTheory
```
JEditTextArea inputTheory
```
      The advanced Swing text area used by this edit area.
    - caretLine
```
int caretLine
```
      The line number corresponding to the caret's current position in the text area.
    - dirty
```
boolean dirty
```
      Indicate if the edit area is changed after the last Set Theory operation issued by the editor.
    - propertyChangeSupport
```
PropertyChangeSupport propertyChangeSupport
```
      Used for components interested in changes of console's properties.
    - undoManager
```
UndoManager undoManager
```
      Undo Manager for the Document in the JEditTextArea.
- Class alice.tuprologx.ide.JavaIDE extends JFrame implements Serializable
  - Serialized Fields
    - editor
```
ThinletTheoryEditor editor
```
    - editArea
```
JavaEditArea editArea
```
    - toolBar
```
ThinletToolBar toolBar
```
    - engine
```
Prolog engine
```
- Class alice.tuprologx.ide.JavaInputField extends JPanel implements Serializable
  - Serialized Fields
    - inputField
```
JTextField inputField
```
      The input field used in the graphic interface.
    - history
```
alice.tuprologx.ide.History history
```
      A store for the history of the requested goals.
    - console
```
ThinletConsole console
```
      The console referenced by this component.
- Class alice.tuprologx.ide.LibraryDialog extends Thinlet implements Serializable
  - Serialized Fields
    - libraryManager
```
LibraryManager libraryManager
```
      The library manager associated with the interface.
- Class alice.tuprologx.ide.ThinletConsole extends Thinlet implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
      The Prolog engine referenced by the console.
    - ide
```
alice.tuprologx.ide.IDE ide
```
      The IDE the console belongs to, necessary to manage theory-related commands and to enable or disable them when a goal's resolution has been started.
    - inputField
```
alice.tuprologx.ide.InputField inputField
```
      The input field used to get queries.
    - statusMessage
```
String statusMessage
```
      A message describing the status of the console.
    - lastSolution
```
String lastSolution
```
    - propertyChangeSupport
```
PropertyChangeSupport propertyChangeSupport
```
      Used for components interested in changes of console's properties.
- Class alice.tuprologx.ide.ThinletDebugArea extends Thinlet implements Serializable
- Class alice.tuprologx.ide.ThinletStatusBar extends Thinlet implements Serializable
- Class alice.tuprologx.ide.ThinletTheoryEditor extends Thinlet implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
      The Prolog engine referenced by the editor.
    - editArea
```
alice.tuprologx.ide.TheoryEditArea editArea
```
      The edit area used by the editor.
    - statusMessage
```
String statusMessage
```
      A message describing the status of the console.
    - propertyChangeSupport
```
PropertyChangeSupport propertyChangeSupport
```
      Used for components interested in changes of console's properties.
- Class alice.tuprologx.ide.ThinletToolBar extends Thinlet implements Serializable
  - Serialized Fields
    - engine
```
Prolog engine
```
      The Prolog engine referenced by the toolbar.
    - debugArea
```
Thinlet debugArea
```
      The debug area launched by the toolbar.
    - libraryDialog
```
LibraryDialog libraryDialog
```
      The Library dialog launched by the toolbar.
    - fileManager
```
alice.tuprologx.ide.IOFileOperations fileManager
```
      The file manager launched by the toolbar.
    - frameLauncher
```
alice.tuprologx.ide.FrameLauncher frameLauncher
```
      A frame launcher used to launch and display dialogs and new windows.
    - statusMessage
```
String statusMessage
```
      A message describing the status of the console.
    - propertyChangeSupport
```
PropertyChangeSupport propertyChangeSupport
```
      Used for components interested in changes of console's properties.
    - ide
```
alice.tuprologx.ide.IDE ide
```
      The IDE the toolbar belongs to, necessary to manage editor-related commands such as saving its content to the filesystem.
Package alice.tuprologx.runtime.corba
- Class alice.tuprologx.runtime.corba._PrologImplBase extends ObjectImpl implements Serializable
- Class alice.tuprologx.runtime.corba._PrologStub extends ObjectImpl implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream s)
```
    - writeObject
```
private void writeObject(ObjectOutputStream s)
```
- Class alice.tuprologx.runtime.corba.PrologImpl extends _PrologImplBase implements Serializable
  - Serialized Fields
    - imp
```
Prolog imp
```
- Class alice.tuprologx.runtime.corba.SolveInfo extends Object implements Serializable
  - Serialized Fields
    - success
```
boolean success
```
    - solution
```
String solution
```
    - halt
```
boolean halt
```
    - haltCode
```
int haltCode
```
Package alice.tuprologx.runtime.rmi
- Class alice.tuprologx.runtime.rmi.PrologImpl extends UnicastRemoteObject implements Serializable
  - Serialized Fields
    - imp
```
Prolog imp
```
Package alice.tuprologx.runtime.tcp
- Class alice.tuprologx.runtime.tcp.NetMsg extends Object implements Serializable
  - Serialized Fields
    - methodName
```
String methodName
```
- Class alice.tuprologx.runtime.tcp.PrologImpl extends Object implements Serializable
  - Serialized Fields
    - core
```
Prolog core
```
Package alice.util
- Class alice.util.Automaton extends Object implements Serializable
  - Serialized Fields
    - state
```
String state
```
      method name representing state behaviour
    - arguments
```
Object[] arguments
```
      arguments value eventually associated to state transition
    - argType
```
Class<T>[] argType
```
      arguments class eventually associated to state transition
- Class alice.util.P2d extends Object implements Serializable
  - Serialized Fields
    - x
```
float x
```
    - y
```
float y
```
- Class alice.util.V2d extends Object implements Serializable
  - Serialized Fields
    - x
```
float x
```
    - y
```
float y
```

Package alice.util.jedit

Class alice.util.jedit.JEditTextArea extends JComponent implements Serializable

Serialized Fields

painter
```
TextAreaPainter painter
```
popup
```
JPopupMenu popup
```
listenerList
```
EventListenerList listenerList
```

caretEvent

alice.util.jedit.JEditTextArea.MutableCaretEvent caretEvent

caretBlinks
```
boolean caretBlinks
```
caretVisible
```
boolean caretVisible
```
blink
```
boolean blink
```
editable
```
boolean editable
```
firstLine
```
int firstLine
```
visibleLines
```
int visibleLines
```
electricScroll
```
int electricScroll
```
horizontalOffset
```
int horizontalOffset
```
vertical
```
JScrollBar vertical
```
horizontal
```
JScrollBar horizontal
```
scrollBarsInitialized
```
boolean scrollBarsInitialized
```
inputHandler
```
InputHandler inputHandler
```
document
```
SyntaxDocument document
```

documentHandler

alice.util.jedit.JEditTextArea.DocumentHandler documentHandler

lineSegment
```
Segment lineSegment
```
selectionStart
```
int selectionStart
```
selectionStartLine
```
int selectionStartLine
```
selectionEnd
```
int selectionEnd
```
selectionEndLine
```
int selectionEndLine
```
biasLeft
```
boolean biasLeft
```
bracketPosition
```
int bracketPosition
```
bracketLine
```
int bracketLine
```
magicCaret
```
int magicCaret
```
overwrite
```
boolean overwrite
```
rectSelect
```
boolean rectSelect
```

Class alice.util.jedit.SyntaxDocument extends PlainDocument implements Serializable
- Serialized Fields
  - tokenMarker
```
TokenMarker tokenMarker
```

Class alice.util.jedit.TextAreaPainter extends JComponent implements Serializable

Serialized Fields

currentLineIndex
```
int currentLineIndex
```
currentLineTokens
```
Token currentLineTokens
```
currentLine
```
Segment currentLine
```
textArea
```
JEditTextArea textArea
```
styles
```
SyntaxStyle[] styles
```
caretColor
```
Color caretColor
```
selectionColor
```
Color selectionColor
```
lineHighlightColor
```
Color lineHighlightColor
```
bracketHighlightColor
```
Color bracketHighlightColor
```
eolMarkerColor
```
Color eolMarkerColor
```
blockCaret
```
boolean blockCaret
```
lineHighlight
```
boolean lineHighlight
```
bracketHighlight
```
boolean bracketHighlight
```
paintInvalid
```
boolean paintInvalid
```
eolMarkers
```
boolean eolMarkers
```
cols
```
int cols
```
rows
```
int rows
```
tabSize
```
int tabSize
```
fm
```
FontMetrics fm
```
highlights
```
TextAreaPainter.Highlight highlights
```

Package alice.util.thinlet
- Class alice.util.thinlet.Thinlet extends Container implements Serializable
  - Serialized Fields
    - content
```
Object content
```

Serialized Form

Package alice.tuprolog

Class alice.tuprolog.BuiltIn extends Library implements Serializable

Serialized Fields

engineManager

theoryManager

libraryManager

flagManager

primitiveManager

operatorManager

Class alice.tuprolog.Double extends Number implements Serializable

Serialized Fields

value

Class alice.tuprolog.EngineManager extends Object implements Serializable

Serialized Fields

mediator

theoryManager

primitiveManager

libraryManager

clauseStoreManager

env

last_env

stackEnv

sinfo

INIT

GOAL_EVALUATION

RULE_SELECTION

GOAL_SELECTION

BACKTRACK

END_FALSE

END_TRUE

END_TRUE_CP

END_HALT

Class alice.tuprolog.Float extends Number implements Serializable

Serialized Fields

value

Class alice.tuprolog.HaltException extends PrologException implements Serializable

Serialized Fields

value

Class alice.tuprolog.Int extends Number implements Serializable

Serialized Fields

value

Class alice.tuprolog.InvalidLibraryException extends PrologException implements Serializable

Serialized Fields

libraryName

line

pos

Class alice.tuprolog.InvalidTermException extends PrologException implements Serializable

Class alice.tuprolog.InvalidTheoryException extends PrologException implements Serializable

Serialized Fields

line

pos

Class alice.tuprolog.InvalidVarNameException extends InvalidTermException implements Serializable

Class alice.tuprolog.Library extends Object implements Serializable

Serialized Fields

engine

opMappingCached

Class alice.tuprolog.Long extends Number implements Serializable

Serialized Fields

value

Class alice.tuprolog.MalformedGoalException extends PrologException implements Serializable

Class alice.tuprolog.NoMoreSolutionException extends PrologException implements Serializable

Class alice.tuprolog.NoSolutionException extends PrologException implements Serializable

Class alice.tuprolog.Number extends Term implements Serializable

Class alice.tuprolog.Operator extends Object implements Serializable

Serialized Fields

name

type

prio

Class alice.tuprolog.Parser extends Object implements Serializable

Serialized Fields

tokenizer

opManager

Class alice.tuprolog.Prolog extends Object implements Serializable

Serialized Fields

theoryManager

primitiveManager

opManager

flagManager

libraryManager