 | 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.2
SyntaxC#
public void CheckProcedureCall( SequenceComputationProcedureCall seqCompProcCall )
Parameters
- seqCompProcCall
- Type: de.unika.ipd.grGen.libGrSequenceComputationProcedureCall
The procedure call to check
See Also