GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 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
GrShellTokenManager Methods
The
GrShellTokenManager
type exposes the following members.
Methods
Name
Description
GetNextToken
mccFillToken
ReInit(SimpleCharStream)
ReInit(SimpleCharStream, Int32)
SetDebugStream
SwitchTo
Top
See Also
Reference
GrShellTokenManager Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement