EngineManager engineManager
TheoryManager theoryManager
LibraryManager libraryManager
alice.tuprolog.FlagManager flagManager
PrimitiveManager primitiveManager
OperatorManager operatorManager
Socket socket
DatagramSocket socket
Prolog mediator
TheoryManager theoryManager
PrimitiveManager primitiveManager
LibraryManager libraryManager
EngineManager engineManager
boolean relinkVar
ArrayList<E> bagOFres
ArrayList<E> bagOFresString
Term bagOFvarSet
Term bagOfgoal
Term bagOfBag
int id
int pid
boolean detached
boolean solving
Term query
TermQueue msgs
ArrayList<E> next
int countNext
Lock lockVar
Condition cond
Object semaphore
Engine env
Engine last_env
LinkedList<E> stackEnv
SolveInfo sinfo
String sinfoSetOf
alice.tuprolog.State INIT
alice.tuprolog.State GOAL_EVALUATION
alice.tuprolog.State EXCEPTION
alice.tuprolog.State RULE_SELECTION
alice.tuprolog.State GOAL_SELECTION
alice.tuprolog.State BACKTRACK
alice.tuprolog.State END_FALSE
alice.tuprolog.State END_TRUE
alice.tuprolog.State END_TRUE_CP
alice.tuprolog.State END_HALT
String libraryName
int line
int pos
Throwable e
Tokenizer tokenizer
OperatorManager opManager
HashMap<K,V> offsetsMap
int tokenStart
TheoryManager theoryManager
PrimitiveManager primitiveManager
OperatorManager opManager
alice.tuprolog.FlagManager flagManager
LibraryManager libraryManager
EngineManager engineManager
boolean spy
boolean warning
boolean exception
ArrayList<E> outputListeners
ArrayList<E> spyListeners
ArrayList<E> warningListeners
ArrayList<E> exceptionListeners
ArrayList<E> theoryListeners
ArrayList<E> libraryListeners
ArrayList<E> queryListeners
ArrayList<E> absolutePathList
String lastPath
ServerSocket socket
alice.tuprolog.ClauseDatabase dynamicDBase
alice.tuprolog.ClauseDatabase staticDBase
alice.tuprolog.ClauseDatabase retractDBase
Prolog engine
PrimitiveManager primitiveManager
Stack<E> startGoalStack
Theory lastConsultedTheory
int tokenOffset
int tokenStart
int tokenLength
String text
LinkedList<E> tokenList
alice.tuprolog.Tokenizer.PushBack pushBack2
String name
StringBuilder completeName
Term link
long timestamp
int id
String msg
String libName
String msg
SolveInfo info
UserContextInputStream stream
String msg
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
private void writeObject(ObjectOutputStream out) throws IOException
IOException
InputStream stdIn
OutputStream stdOut
String inputStreamName
InputStream inputStream
String outputStreamName
OutputStream outputStream
UserContextInputStream input
Random gen
int files
Hashtable<K,V> inputStreams
Hashtable<K,V> outputStreams
InputStream inputStream
OutputStream outputStream
String inputStreamName
String outputStreamName
IOLibrary IOLib
int flag
int write_flag
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
private void writeObject(ObjectOutputStream out) throws IOException
IOException
HashMap<K,V> currentObjects
IdentityHashMap<K,V> currentObjects_inverse
HashMap<K,V> staticObjects
IdentityHashMap<K,V> staticObjects_inverse
int id
AbstractDynamicClassLoader dynamicLoader
String addrRegex
LinkedList<E> readers
LinkedList<E> serverSockets
LinkedList<E> clientSockets
EngineManager engineManager
String statusMessage
PropertyChangeSupport propertyChangeSupport
Console consoleManager
String[] variables
List<E> bindings
int selectDisplayModality
boolean exceptionEnabled
alice.tuprologx.ide.IOFileOperations fileManager
JTabbedPane tp
JTextPane solution
PrologTable tableSolve
PrologTable tableSolveAll
JTextPane output
JTextPane exception
InputDialog input
JButton bNext
JButton bAccept
JButton bStop
JButton bClear
JButton bExport
BufferedReader stdin
Prolog engine
JTabbedPane debug
JTextPane warningPane
JTree spyTree
DefaultMutableTreeNode root
JButton expandAllButton
JButton collapseAllButton
JButton expandSelectedNodesButton
JButton collapseSelectedNodesButton
JTextArea inputText
UserContextInputStream stream
JEditTextArea inputTheory
int caretLine
boolean dirty
boolean saved
PropertyChangeSupport propertyChangeSupport
UndoManager undoManager
ToolBar toolBar
TheoryTabbedPane tabbedPane
JTextField inputField
alice.tuprologx.ide.History history
ConsoleManager console
alice.tuprologx.ide.JavaIOManager.PrologFileFilter fileFilter
Component parent
LibraryManager libraryManager
StatusBar sb
JTextField libraryClassnameField
JPanel librariesDisplayPanel
JPanel addLibraryPanel
JButton browseButton
alice.tuprologx.ide.IOFileOperations fileManager
int millsStopEngine
int selectDisplayModality
boolean enableNotifyException
PropertyChangeSupport propertyChangeSupport
JRadioButton inColumnsRadioButton
JRadioButton inRowsRadioButton
JRadioButton inRowsVariableSeparatedRadioButton
JTextField millsStopEngineTextField
JTextField fontDimensionTextField
JCheckBox notifyExceptionCheckBox
FontDimensionHandler fontDimensionHandler
String type
DefaultTableCellRenderer adaptee
Map<K,V> cellSizes
boolean[] isExpandedCellArray
boolean[] isBorderedCellArray
Prolog engine
alice.tuprologx.ide.TheoryEditArea editArea
PropertyChangeSupport propertyChangeSupport
alice.tuprologx.ide.IDE ide
JLabel caretLineLabel
JButton bSetTheory
Prolog engine
ToolBar toolBar
TheoryEditor editor
JavaInputField inputField
ConsoleDialog consoleDialog
StatusBar statusBar
ArrayList<E> theoryFileNames
Prolog engine
LibraryManager libraryManager
LibraryDialogFrame libraryDialog
DebugAreaFrame debugArea
PrologConfigFrame configFrame
AboutFrame about
alice.tuprologx.ide.IOFileOperations fileManager
String statusMessage
PropertyChangeSupport propertyChangeSupport
alice.tuprologx.ide.IDE ide
JFrame parent
JButton bNew
JButton bOpen
JButton bSave
JButton bSaveAs
JButton bLibMan
JButton bDebug
JButton bConfigure
JButton bAbout
JButton bSpy
FileIDE fileIDE
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
private void writeObject(ObjectOutputStream out) throws IOException
IOException
HashMap<K,V> currentObjects
IdentityHashMap<K,V> currentObjects_inverse
HashMap<K,V> staticObjects
IdentityHashMap<K,V> staticObjects_inverse
int id
private void readObject(ObjectInputStream s)
private void writeObject(ObjectOutputStream s)
Prolog imp
boolean success
String solution
boolean halt
int haltCode
Prolog imp
String methodName
Prolog core
JTextField input
Tree<T> ptt
JTextField input
Tree<T> ptt
ToTree<T> totree
Font font
Node root
float xspace
float yspace
float border
float textheight
int levels
FontRenderContext frc
int asc
Rectangle2D.Float rect
Line2D.Float line
TextAreaPainter painter
JPopupMenu popup
EventListenerList listenerList
alice.util.jedit.JEditTextArea.MutableCaretEvent caretEvent
boolean caretBlinks
boolean caretVisible
boolean blink
boolean editable
int firstLine
int visibleLines
int electricScroll
int horizontalOffset
JScrollBar vertical
JScrollBar horizontal
boolean scrollBarsInitialized
InputHandler inputHandler
SyntaxDocument document
alice.util.jedit.JEditTextArea.DocumentHandler documentHandler
Segment lineSegment
int selectionStart
int selectionStartLine
int selectionEnd
int selectionEndLine
boolean biasLeft
int bracketPosition
int bracketLine
int magicCaret
boolean overwrite
boolean rectSelect
TokenMarker tokenMarker
int currentLineIndex
Token currentLineTokens
Segment currentLine
JEditTextArea textArea
SyntaxStyle[] styles
Color caretColor
Color selectionColor
Color lineHighlightColor
Color bracketHighlightColor
Color eolMarkerColor
boolean blockCaret
boolean lineHighlight
boolean bracketHighlight
boolean paintInvalid
boolean eolMarkers
int cols
int rows
int tabSize
FontMetrics fm
TextAreaPainter.Highlight highlights