 | SequenceCheckingEnvironmentInterpreted Class |
Environment for sequence type checking (with/giving access to model and action signatures).
Concrete subclass for interpreted sequences.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrSequenceCheckingEnvironment
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted
de.unika.ipd.grGen.libGrSequenceCheckingEnvironment
de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public class SequenceCheckingEnvironmentInterpreted : SequenceCheckingEnvironment
The SequenceCheckingEnvironmentInterpreted type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | SequenceCheckingEnvironmentInterpreted | Initializes a new instance of the SequenceCheckingEnvironmentInterpreted class |
Properties| Name | Description | |
|---|---|---|
 | Model | (Overrides SequenceCheckingEnvironmentModel.) |
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.
(Inherited from SequenceCheckingEnvironment.) |
| 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.
(Inherited from SequenceCheckingEnvironment.) |
| CheckMatchClassFilterCalls |
Checks whether called match class filter exists, and type checks the inputs.
(Inherited from SequenceCheckingEnvironment.) |
| CheckProcedureCall |
Helper for checking procedure calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
(Inherited from SequenceCheckingEnvironment.) |
| 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.
(Inherited from SequenceCheckingEnvironment.) |
| 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.
(Inherited from SequenceCheckingEnvironment.) |
| CheckRuleAllCall |
Helper for checking rule all calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
(Inherited from SequenceCheckingEnvironment.) |
| CheckRuleCall |
Helper for checking rule calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
(Inherited from SequenceCheckingEnvironment.) |
| CheckSequenceCall |
Helper for checking sequence calls.
Type checks the input, type checks the output.
Throws an exception when an error is found.
(Inherited from SequenceCheckingEnvironment.) |
 | GetMatchClassName | (Overrides SequenceCheckingEnvironmentGetMatchClassName(SequenceFilterCallBase).) |
| InputParameterType | (Overrides SequenceCheckingEnvironmentInputParameterType(Int32, Invocation, InheritanceType).) |
| IsMatchClassExisting | (Overrides SequenceCheckingEnvironmentIsMatchClassExisting(SequenceFilterCallBase).) |
| IsRuleImplementingMatchClass | (Overrides SequenceCheckingEnvironmentIsRuleImplementingMatchClass(String, String).) |
| NumInputParameters | (Overrides SequenceCheckingEnvironmentNumInputParameters(Invocation, InheritanceType).) |
| NumOutputParameters | (Overrides SequenceCheckingEnvironmentNumOutputParameters(Invocation, InheritanceType).) |
| OutputParameterType | (Overrides SequenceCheckingEnvironmentOutputParameterType(Int32, Invocation, InheritanceType).) |
| TypeOfMemberOrAttribute | (Overrides SequenceCheckingEnvironmentTypeOfMemberOrAttribute(String, String).) |
| TypeOfTopLevelEntityInRule | (Overrides SequenceCheckingEnvironmentTypeOfTopLevelEntityInRule(String, String).) |
See Also