Click or drag to resize

SequenceCheckingEnvironmentCheckProcedureMethodCall Method (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.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public void CheckProcedureMethodCall(
	SequenceVariable targetVar,
	SequenceComputationProcedureMethodCall seqCompProcMethodCall
)

Parameters

targetVar
Type: de.unika.ipd.grGen.libGrSequenceVariable
The target of the procedure method call
seqCompProcMethodCall
Type: de.unika.ipd.grGen.libGrSequenceComputationProcedureMethodCall
The procedure method call to check
See Also