Click or drag to resize

SequenceCheckingEnvironmentCheckProcedureMethodCall Method (SequenceExpression, 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(
	SequenceExpression targetExpr,
	SequenceComputationProcedureMethodCall seqCompProcMethodCall
)

Parameters

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