SequenceCheckingEnvironmentCheckProcedureMethodCall(SequenceVariable, SequenceComputationProcedureMethodCall) Method

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.1

Syntax

Copy

public void CheckProcedureMethodCall(
	SequenceVariable targetVar,
	SequenceComputationProcedureMethodCall seqCompProcMethodCall
)

Parameters

targetVar SequenceVariable: The target of the procedure method call
seqCompProcMethodCall SequenceComputationProcedureMethodCall: The procedure method call to check

Reference

SequenceCheckingEnvironment Class

CheckProcedureMethodCall Overload

de.unika.ipd.grGen.libGr Namespace