![]() | SequenceCheckingEnvironmentCheckProcedureMethodCall Method |
Name | Description | |
---|---|---|
![]() | CheckProcedureMethodCall(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.
|
![]() | CheckProcedureMethodCall(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.
|