GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
SequenceComputationBuiltinProcedureCall Class
SequenceComputationBuiltinProcedureCall Methods
Check Method
ExecuteImpl Method
GetLocalVariables Method
GetProcedureString Method
Sequence
Computation
Builtin
Procedure
Call
Check Method
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
override
void
Check
(
SequenceCheckingEnvironment
env
)
Parameters
env
SequenceCheckingEnvironment
See Also
Reference
SequenceComputationBuiltinProcedureCall Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement