Class Constraints
java.lang.Object
|
+----Constraints
- public class Constraints
- extends Object
The class `Constraints' is the top-level class of the CONSTRAINTS
system, with methods for converting ExJava objects to Frames,
extracting higher-level constraints and transformation algorithms.
It is not meant to be instantiated.
-
exjavaObjectsToFrames(Express, boolean)
- Converts the objects in the given ExJava EXPRESS model to
frames, just plugging them in as instances of their respective
frame classes.
-
extraction(Vector)
- Extracts the higher level constraints from a set of entity frames
in an EXPRESS model.
-
main(String[])
- The entry point to the CONSTRAINTS system.
exjavaObjectsToFrames
public static Vector exjavaObjectsToFrames(Express model,
boolean createFrameClasses)
- Converts the objects in the given ExJava EXPRESS model to
frames, just plugging them in as instances of their respective
frame classes. This method also creates frame classes from entities
and defined type classes from defined types just in case you want to
treat the model as a frame class model.
- Parameters:
- model - The EXPRESS model.
- createFrameClasses - If true, a
FrameClass is created for each Entity in the model, and a
DefinedType for each type.
- Returns:
- s A vector of the entity frames in the model.
extraction
public static void extraction(Vector entityFrames)
- Extracts the higher level constraints from a set of entity frames
in an EXPRESS model.
- Parameters:
- entityFrames - A vector of entity frames to extract HLCs from.
main
public static void main(String argv[])
- The entry point to the CONSTRAINTS system.
- Parameters:
- argv - The vector of command line arguments. There should be
exactly two of these: the filename of an EXPRESS model (.exp) to
parse using exjava, and a case library (.cas).