Class JavaCUS
java.lang.Object
|
+--JavaCUS
- public class JavaCUS
- extends java.lang.Object
The class `JavaCUS' is the top-level class of the Java Constraint-
Understanding System. It is not meant to be instantiated.
Method Summary |
static CaseLibrary |
getExtractionCaseLibrary()
Returns a reference to the extraction case library of the Java
CUS. |
static CaseLibrary |
getNavigationCaseLibrary()
Returns a reference to the navigation case library of the Java
CUS. |
static CaseLibrary |
getPrettyPrintCaseLibrary()
Returns a reference to the pretty-print case library of the Java
CUS. |
static void |
main(java.lang.String[] argv)
The main entry point to the Java CUS. |
static void |
readClass(java.io.ObjectInput oi)
Deserialises the static data members (class variables) of JavaCUS. |
static void |
writeClass(java.io.ObjectOutput oo)
Serialises the static data members (class variables) of JavaCUS. |
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
JavaCUS
public JavaCUS()
getExtractionCaseLibrary
public static CaseLibrary getExtractionCaseLibrary()
- Returns a reference to the extraction case library of the Java
CUS.
- Returns:
- The extraction case library.
getNavigationCaseLibrary
public static CaseLibrary getNavigationCaseLibrary()
- Returns a reference to the navigation case library of the Java
CUS.
- Returns:
- The navigation case library.
getPrettyPrintCaseLibrary
public static CaseLibrary getPrettyPrintCaseLibrary()
- Returns a reference to the pretty-print case library of the Java
CUS.
- Returns:
- The pretty-print case library.
writeClass
public static void writeClass(java.io.ObjectOutput oo)
throws java.io.IOException
- Serialises the static data members (class variables) of JavaCUS.
- 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 JavaCUS.
- 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 Java CUS.
- Parameters:
argv
- The vector of command line arguments. There should be
two of these: the filename of an Java compilation unit (.java) to
parse, 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.