GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
CheckProcedureMethodCall Method (targetVar, seq)
Namespacesde.unika.ipd.grGen.libGrSequenceCheckingEnvironmentCheckProcedureMethodCall(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.
Declaration Syntax
C#
public void CheckProcedureMethodCall(
	SequenceVariable targetVar,
	SequenceComputation seq
)
Parameters
targetVar (SequenceVariable)
The target of the procedure method call
seq (SequenceComputation)
The sequence computation to check, must be a procedure call

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