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.


Method Index

 o 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.
 o extraction(Vector)
Extracts the higher level constraints from a set of entity frames in an EXPRESS model.
 o main(String[])
The entry point to the CONSTRAINTS system.

Methods

 o 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.
 o 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.
 o 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).