Class ExpressCUS

java.lang.Object
  |
  +--ExpressCUS

public class ExpressCUS
extends java.lang.Object

The class `ExpressCUS' is the top-level class of the EXPRESS Constraint- Understanding System. It is not meant to be instantiated.


Field Summary
static boolean _generateHTML
           
static boolean _onlyInputModelFramesInHTML
           
static boolean _showTimes
           
 
Constructor Summary
ExpressCUS()
           
 
Method Summary
static CaseLibrary getExtractionCaseLibrary()
          Returns a reference to the extraction case library of the EXPRESS CUS.
static CaseLibrary getNavigationCaseLibrary()
          Returns a reference to the navigation case library of the EXPRESS CUS.
static CaseLibrary getPrettyPrintCaseLibrary()
          Returns a reference to the pretty-print case library of the EXPRESS CUS.
static CaseLibrary getSemanticCaseLibrary()
          Returns a reference to the semantic-equivalence/strength case library of the EXPRESS CUS.
static CaseLibrary getSubexpressionCaseLibrary()
          Returns a reference to the subexpression case library of the EXPRESS CUS.
static void main(java.lang.String[] argv)
          The main entry point to the EXPRESS Constraint-Understanding System.
static void readClass(java.io.ObjectInput oi)
          Deserialises the static data members (class variables) of ExpressCUS.
static void writeClass(java.io.ObjectOutput oo)
          Serialises the static data members (class variables) of ExpressCUS.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_generateHTML

public static boolean _generateHTML

_onlyInputModelFramesInHTML

public static boolean _onlyInputModelFramesInHTML

_showTimes

public static boolean _showTimes
Constructor Detail

ExpressCUS

public ExpressCUS()
Method Detail

getExtractionCaseLibrary

public static CaseLibrary getExtractionCaseLibrary()
Returns a reference to the extraction case library of the EXPRESS CUS.
Returns:
The extraction case library.

getNavigationCaseLibrary

public static CaseLibrary getNavigationCaseLibrary()
Returns a reference to the navigation case library of the EXPRESS CUS.
Returns:
The navigation case library.

getPrettyPrintCaseLibrary

public static CaseLibrary getPrettyPrintCaseLibrary()
Returns a reference to the pretty-print case library of the EXPRESS CUS.
Returns:
The pretty print case library.

getSubexpressionCaseLibrary

public static CaseLibrary getSubexpressionCaseLibrary()
Returns a reference to the subexpression case library of the EXPRESS CUS.
Returns:
The subexpression case library.

getSemanticCaseLibrary

public static CaseLibrary getSemanticCaseLibrary()
Returns a reference to the semantic-equivalence/strength case library of the EXPRESS CUS.
Returns:
The semantic-equivalence/strength case library.

writeClass

public static void writeClass(java.io.ObjectOutput oo)
                       throws java.io.IOException
Serialises the static data members (class variables) of ExpressCUS.
Parameters:
oo - An output stream to save the class data to.
Throws:
java.io.IOException - If an I/O exception occurs.

readClass

public static void readClass(java.io.ObjectInput oi)
                      throws java.io.IOException
Deserialises the static data members (class variables) of ExpressCUS.
Parameters:
oi - An input stream to save the class data to.
Throws:
java.io.IOException - If an I/O exception occurs.

main

public static void main(java.lang.String[] argv)
The main entry point to the EXPRESS Constraint-Understanding System.
Parameters:
argv - The vector of command line arguments. There should be two of these: the filename of an EXPRESS model (.exp) to parse using jex, and a case library (.cas). If the latter is not specified, it defaults to "CASES/library.cas". There can also be command-line flags: -p causes the HLCs in the summary to be pretty-printed, -g causes HTML files for frames to be generated without asking, -i causes only input model frames to be included in the HTML, -s causes the intermediate output of the CUS to be suppressed, -t prints timestamps at the major phase boundaries.