All Packages Class Hierarchy This Package Previous Next Index
Class ProgolInterface.ProgolInterface
java.lang.Object
|
+----java.awt.Component
|
+----java.awt.Container
|
+----java.awt.Window
|
+----java.awt.Frame
|
+----ProgolInterface.ProgolInterface
- public class ProgolInterface
- extends Frame
- implements ActionListener
The Progol Interface Class - An interface for Progol!
This class holds all the subsection panels, and keeps
a central record of the session types, modes, clauses etc.
- See Also:
- TypeSelectPanel, ModeSelectPanel, ClauseSelectPanel, ProgolExecPanel
-
clauses
-
-
modes
-
-
options
-
-
types
-
-
ProgolInterface(String)
-
Constructor to start the session.
-
actionPerformed(ActionEvent)
- Event handling for buttons and menus.
-
loadSession(String)
- Load a session from the given filename.
-
main(String[])
- Create a new ProgolInterface and show it.
-
saveSession(String)
- Save the session in the given filename.
-
updateAll()
- Update all the panels in this session.
modes
protected ModeList modes
options
protected ClauseList options
types
protected ClauseList types
clauses
protected ClauseList clauses
ProgolInterface
public ProgolInterface(String title)
- Constructor to start the session.
The constructor adds in the various section panels, and
adds buttons to flip between them. All the mode and clause
storage objects are initialised to be empty.
- Parameters:
- title - The title of the session.
updateAll
public final void updateAll()
- Update all the panels in this session.
saveSession
public final boolean saveSession(String filename)
- Save the session in the given filename.
The file is written in the following order:
Options,
Modes,
Types,
Other Clauses (examples and background knowledge.).
- Parameters:
- filename - The file into which the session is written.
loadSession
public final boolean loadSession(String filename)
- Load a session from the given filename.
The file is first scanned for QUERY type clauses - i.e.
modes and settings. Then the file is scanned for types
and general clauses, the distinction being made on the basis
of the mode declarations (and other more obvious factors).
- Parameters:
- filename - The file from which the session is loaded.
actionPerformed
public final void actionPerformed(ActionEvent event)
- Event handling for buttons and menus.
main
public static final void main(String args[])
- Create a new ProgolInterface and show it.
A single command line parameter may be given, which should
be a filename for a session (or prolog) file.
All Packages Class Hierarchy This Package Previous Next Index