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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_generateHTML
public static boolean _generateHTML
_onlyInputModelFramesInHTML
public static boolean _onlyInputModelFramesInHTML
_showTimes
public static boolean _showTimes
ExpressCUS
public ExpressCUS()
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.