GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
SequenceCheckingEnvironmentCompiled Class
Namespacesde.unika.ipd.grGen.libGrSequenceCheckingEnvironmentCompiled
Environment for sequence checking giving access to model and action signatures. Concrete subclass for compiled sequences. This environment in addition resolves names that are given without package context but do not reference global names because they are used from a sequence that is contained in a package (only possible for compiled sequences from rule language).
Declaration Syntax
C#
public class SequenceCheckingEnvironmentCompiled : SequenceCheckingEnvironment
Members
All MembersConstructorsMethodsProperties



IconMemberDescription
SequenceCheckingEnvironmentCompiled(array<String>[]()[][], array<String>[]()[][], array<String>[]()[][], array<String>[]()[][], Dictionary<(Of <<'(String, List<(Of <<'(IFilter>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, Boolean>)>>), Dictionary<(Of <<'(String, List<(Of <<'(String>)>>)>)>>), Dictionary<(Of <<'(String, String>)>>), Dictionary<(Of <<'(String, Boolean>)>>), IGraphModel)
Initializes a new instance of the SequenceCheckingEnvironmentCompiled 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
the model giving access to graph element types for checking
(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
 SequenceCheckingEnvironmentCompiled

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