Click or drag to resize

SequenceCheckingEnvironment Class

Environment for sequence type checking (with/giving access to model and action signatures). Abstract base class, there are two concrete subclasses, one for interpreted, one for compiled sequences.
Inheritance Hierarchy
SystemObject
  de.unika.ipd.grGen.libGrSequenceCheckingEnvironment
    de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentCompiled
    de.unika.ipd.grGen.libGrSequenceCheckingEnvironmentInterpreted

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public abstract class SequenceCheckingEnvironment

The SequenceCheckingEnvironment type exposes the following members.

Constructors
  NameDescription
Protected methodSequenceCheckingEnvironment
Initializes a new instance of the SequenceCheckingEnvironment class
Top
Properties
  NameDescription
Public propertyModel
The model giving access to graph element types for checking.
Top
Methods
  NameDescription
Public methodCheckFunctionCall
Helper for checking function calls. Type checks the input, type checks the output. Throws an exception when an error is found.
Public methodCheckFunctionMethodCall
Helper for checking function method calls. Checks whether called entity exists, and type checks the input. Throws an exception when an error is found.
Public methodCheckMatchClassFilterCalls
Checks whether called match class filter exists, and type checks the inputs.
Public methodCheckProcedureCall
Helper for checking procedure calls. Type checks the input, type checks the output. Throws an exception when an error is found.
Public methodCheckProcedureMethodCall(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.
Public methodCheckProcedureMethodCall(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.
Public methodCheckRuleAllCall
Helper for checking rule all calls. Type checks the input, type checks the output. Throws an exception when an error is found.
Public methodCheckRuleCall
Helper for checking rule calls. Type checks the input, type checks the output. Throws an exception when an error is found.
Public methodCheckSequenceCall
Helper for checking sequence calls. Type checks the input, type checks the output. Throws an exception when an error is found.
Protected methodGetMatchClassName
Protected methodInputParameterType
Protected methodIsMatchClassExisting
Public methodIsRuleImplementingMatchClass
Protected methodNumInputParameters
Protected methodNumOutputParameters
Protected methodOutputParameterType
Public methodTypeOfMemberOrAttribute
Helper which returns the type of - the given member in the given match or match class type or - the given attribute in the given node or edge or internal object type
Public methodTypeOfTopLevelEntityInRule
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.
Top
See Also