SequenceCheckingEnvironmentCheckProcedureCall Method

Helper for checking procedure calls. 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

public void CheckProcedureCall(
	SequenceComputationProcedureCall seqCompProcCall
)

seqCompProcCall SequenceComputationProcedureCall: The procedure call to check