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
public void CheckProcedureMethodCall(
	SequenceVariable targetVar,
	SequenceComputation seq
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: (