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.grShell
GrShellTokenManager Class
GrShellTokenManager Methods
GetNextToken Method
mccFillToken Method
ReInit Method
SetDebugStream Method
SwitchTo Method
Gr
Shell
Token
Manager
mcc
Fill
Token Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
protected
Token
mccFillToken
()
Return Value
Token
See Also
Reference
GrShellTokenManager Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement