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

Assembly: libGr (Module: libGr) Version: (