Public Member Functions | |
Class (string name, List attrs, string parent) | |
Create a new class. | |
Class (Class c) | |
Instantiate an object of this class by sharing methods, ctors and attributes and deep-copying the fields. | |
string | getName () |
Return the class name. | |
string | parentClass () |
Return the class name this class is derived from. | |
void | addConstructor (Method m) |
Add given method as a constructor. | |
bool | addMethod (Method method) |
Add given method. | |
void | delMethod (Method m) |
Delete the given method from this class. | |
Method | getMethod (string name, IList args) |
Returns the method that matches given name and parameters (proper values, or Expr derivatives). | |
void | addField (Variable f) |
Add given variable as class field. | |
Variable | getField (string name) |
Return field with given name (or null if such a field does not exist). | |
void | addInitStatement (Statement s) |
Add statement that must be executed in every constructor. | |
Attribute | getAttribute (string name) |
Return attribute with given name (or null if such an attribute does not exist). | |
IList | attrMethods (string attr) |
Return all methods that have the given attribute. | |
void | construct (IList args) |
bool | constructible (IList args) |
Return whether any class ctor is callable with arguments args (which must be either proper values or Expr derivatives). | |
override string | ToString () |
void | becomeCurrentClass () |
Set this class as the current class. | |
StateNode | getState () |
Create a state process node from the current field values. | |
void | setState (StateNode sn) |
Set the fields to the values given in the state node. | |
IList | stateFormat () |
Return a list of variable names which describes the format of generated state nodes. | |
StateAbstraction | getStateAbstraction () |
Calculate state abstraction equivalence relation from attributes. | |
TransitionAbstraction | getTransitionAbstraction () |
Calculate transition abstraction equivalence relation from attributes. | |
Static Public Member Functions | |
Class | currentClass () |
Return the currently active class. | |
Private Member Functions | |
void | parseEqAttr (Attribute a, EqRel eq) |
Parse given Eq attribute and update given EqRel accordingly. | |
Range | parseRange (string r) |
Parse given range string. | |
Object | parseBound (string bound) |
void | addCCMCompMembers () |
Add the CCM specific members for class "Comp". | |
void | addCCMStubMembers () |
Private Attributes | |
string | name |
string | parent |
IList | ctors |
IList | methods |
Hashtable | fields |
List | attrs |
IList | initStatements |
bool | isStub |
True if this is a Stub class, false in other classes. | |
Static Private Attributes | |
Class | currClass = null |
|
Create a new class.
|
|
Instantiate an object of this class by sharing methods, ctors and attributes and deep-copying the fields.
|
|
Add the CCM specific members for class "Comp".
|
|
|
|
Add given method as a constructor.
|
|
Add given variable as class field.
|
|
Add statement that must be executed in every constructor. Used to initialize fields. |
|
Add given method.
|
|
Return all methods that have the given attribute.
|
|
Set this class as the current class. This must be done when evaluating the possible values of a stub property, to allow reading the value of a stub field for dynamic bounds.
|
|
|
|
Return whether any class ctor is callable with arguments args (which must be either proper values or Expr derivatives).
|
|
Return the currently active class.
|
|
Delete the given method from this class. This is necessary for parsing when the parser discovers that a declared method has no body. |
|
Return attribute with given name (or null if such an attribute does not exist).
|
|
Return field with given name (or null if such a field does not exist).
|
|
Returns the method that matches given name and parameters (proper values, or Expr derivatives).
|
|
Return the class name.
|
|
Create a state process node from the current field values. Stub references are stored as a string containing the class name, to avoid serializing classes. |
|
Calculate state abstraction equivalence relation from attributes.
|
|
Calculate transition abstraction equivalence relation from attributes.
|
|
Return the class name this class is derived from.
|
|
|
|
Parse given Eq attribute and update given EqRel accordingly.
|
|
Parse given range string.
|
|
Set the fields to the values given in the state node. Does not replace Stub references since only their class names are stored in the StateNode. |
|
Return a list of variable names which describes the format of generated state nodes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
True if this is a Stub class, false in other classes.
|
|
|
|
|
|
|