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.


Field Summary
static boolean _generateHTML
           
static boolean _onlyInputModelFramesInHTML
           
static boolean _showTimes
           
 
Constructor Summary
JavaCUS()
           
 
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
 

Field Detail

_generateHTML

public static boolean _generateHTML

_onlyInputModelFramesInHTML

public static boolean _onlyInputModelFramesInHTML

_showTimes

public static boolean _showTimes
Constructor Detail

JavaCUS

public JavaCUS()
Method Detail

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.