GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
SequenceCheckingEnvironmentInterpreted Class
Namespacesde.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted
Environment for sequence checking giving access to model and action signatures. Concrete subclass for interpreted sequences.
Declaration Syntax
C#
public class SequenceCheckingEnvironmentInterpreted : SequenceCheckingEnvironment
Members
All MembersConstructorsMethodsProperties



IconMemberDescription
SequenceCheckingEnvironmentInterpreted(IActions)
Initializes a new instance of the SequenceCheckingEnvironmentInterpreted class

CheckCall(Sequence, Boolean)
Helper for checking rule calls, rule all calls, and sequence 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.)
CheckFunctionCall(SequenceExpression)
Helper for checking function 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.)
CheckFunctionMethodCall(SequenceExpression, SequenceExpression)
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.)
CheckProcedureCall(SequenceComputation)
Helper for checking procedure 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(SequenceExpression, SequenceComputation)
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, SequenceComputation)
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.)
FilterFunctionParameterType(Int32, FilterCall, SequenceRuleCall) (Overrides SequenceCheckingEnvironment.FilterFunctionParameterType(Int32, FilterCall, SequenceRuleCall).)
InputParameterType(Int32, InvocationParameterBindings, GrGenType) (Overrides SequenceCheckingEnvironment.InputParameterType(Int32, InvocationParameterBindings, GrGenType).)
IsCalledEntityExisting(InvocationParameterBindings, GrGenType) (Overrides SequenceCheckingEnvironment.IsCalledEntityExisting(InvocationParameterBindings, GrGenType).)
IsFilterExisting(FilterCall, SequenceRuleCall) (Overrides SequenceCheckingEnvironment.IsFilterExisting(FilterCall, SequenceRuleCall).)
IsFunctionCallExternal(FunctionInvocationParameterBindings) (Overrides SequenceCheckingEnvironment.IsFunctionCallExternal(FunctionInvocationParameterBindings).)
IsProcedureCallExternal(ProcedureInvocationParameterBindings) (Overrides SequenceCheckingEnvironment.IsProcedureCallExternal(ProcedureInvocationParameterBindings).)
Model (Overrides SequenceCheckingEnvironment.Model.)
NumFilterFunctionParameters(FilterCall, SequenceRuleCall) (Overrides SequenceCheckingEnvironment.NumFilterFunctionParameters(FilterCall, SequenceRuleCall).)
NumInputParameters(InvocationParameterBindings, GrGenType) (Overrides SequenceCheckingEnvironment.NumInputParameters(InvocationParameterBindings, GrGenType).)
NumOutputParameters(InvocationParameterBindings, GrGenType) (Overrides SequenceCheckingEnvironment.NumOutputParameters(InvocationParameterBindings, GrGenType).)
OutputParameterType(Int32, InvocationParameterBindings, GrGenType) (Overrides SequenceCheckingEnvironment.OutputParameterType(Int32, InvocationParameterBindings, GrGenType).)
TypeOfTopLevelEntityInRule(String, String) (Overrides SequenceCheckingEnvironment.TypeOfTopLevelEntityInRule(String, String).)
Inheritance Hierarchy
Object
SequenceCheckingEnvironment
 SequenceCheckingEnvironmentInterpreted

Assembly: libGr (Module: libGr) Version: 4.4.0.0 (4.4.0.0)