 | SequenceCheckingEnvironment Methods |
The SequenceCheckingEnvironment type exposes the following members.
Methods| | Name | Description |
|---|
 | CheckFunctionCall |
Helper for checking function calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckFunctionMethodCall |
Helper for checking function method calls.
Checks whether called entity exists, and type checks the input.
Throws an exception when an error is found.
|
| CheckMatchClassFilterCalls |
Checks whether called match class filter exists, and type checks the inputs.
|
| CheckProcedureCall |
Helper for checking procedure calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckProcedureMethodCall(SequenceExpression, SequenceComputationProcedureMethodCall) |
Helper for checking procedure method calls.
Checks whether called entity exists, type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckProcedureMethodCall(SequenceVariable, SequenceComputationProcedureMethodCall) |
Helper for checking procedure method calls.
Checks whether called entity exists, type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckRuleAllCall |
Helper for checking rule all calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckRuleCall |
Helper for checking rule calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
|
| CheckSequenceCall |
Helper for checking sequence calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
|
 | GetMatchClassName | |
| InputParameterType | |
| IsMatchClassExisting | |
| IsRuleImplementingMatchClass | |
| NumInputParameters | |
| NumOutputParameters | |
| OutputParameterType | |
| TypeOfMemberOrAttribute |
Helper which returns the type of
- the given member in the given match or match class type or
- the given attribute in the given node or edge or internal object type
|
| TypeOfTopLevelEntityInRule |
Helper which returns the type of the given top level entity of the given rule.
Throws an exception in case the rule of the given name does not exist
or in case it does not contain an entity of the given name.
|
TopSee Also 
