 | SequenceCheckingEnvironmentInterpreted Methods |
The SequenceCheckingEnvironmentInterpreted 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.
(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