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

Variable Index

 o clauses
 o modes
 o options
 o types

Constructor Index

 o ProgolInterface(String)
Constructor to start the session.

Method Index

 o actionPerformed(ActionEvent)
Event handling for buttons and menus.
 o loadSession(String)
Load a session from the given filename.
 o main(String[])
Create a new ProgolInterface and show it.
 o saveSession(String)
Save the session in the given filename.
 o updateAll()
Update all the panels in this session.

Variables

 o modes
 protected ModeList modes
 o options
 protected ClauseList options
 o types
 protected ClauseList types
 o clauses
 protected ClauseList clauses

Constructors

 o 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.

Methods

 o updateAll
 public final void updateAll()
Update all the panels in this session.

 o 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.
 o 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.
 o actionPerformed
 public final void actionPerformed(ActionEvent event)
Event handling for buttons and menus.

 o 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