 | Sequence |
Environment for sequence type checking (with/giving access to model and action signatures).
Abstract base class, there are two concrete subclasses, one for interpreted, one for compiled sequences.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrSequenceCheckingEnvironment
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentCompiled
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted
de.unika.ipd.grGen.libGrSequenceCheckingEnvironment
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentCompiled
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
SyntaxC#
public abstract class SequenceCheckingEnvironment
The SequenceCheckingEnvironment type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | SequenceCheckingEnvironment | Initializes a new instance of the SequenceCheckingEnvironment class |
Properties
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. |
See Also