GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
SequenceCheckingEnvironment Class
Namespacesde.unika.ipd.grGen.libGrSequenceCheckingEnvironment
Environment for sequence checking giving access to model and action signatures. Abstract base class, there are two concrete subclasses, one for interpreted, one for compiled sequences. The compiled version 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 abstract class SequenceCheckingEnvironment
Members
All MembersConstructorsMethodsProperties



IconMemberDescription
SequenceCheckingEnvironment()()()()
Initializes a new instance of the SequenceCheckingEnvironment 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.

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.

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.

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.

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.

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.

FilterFunctionParameterType(Int32, FilterCall, SequenceRuleCall)
InputParameterType(Int32, InvocationParameterBindings, GrGenType)
IsCalledEntityExisting(InvocationParameterBindings, GrGenType)
IsFilterExisting(FilterCall, SequenceRuleCall)
IsFunctionCallExternal(FunctionInvocationParameterBindings)
IsProcedureCallExternal(ProcedureInvocationParameterBindings)
Model
The model giving access to graph element types for checking.

NumFilterFunctionParameters(FilterCall, SequenceRuleCall)
NumInputParameters(InvocationParameterBindings, GrGenType)
NumOutputParameters(InvocationParameterBindings, GrGenType)
OutputParameterType(Int32, InvocationParameterBindings, GrGenType)
TypeOfTopLevelEntityInRule(String, String)
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.

Inheritance Hierarchy

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