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
ReInit Method
ReInit(SimpleCharStream) Method
ReInit(SimpleCharStream, Int32) Method
Gr
Shell
Token
Manager
Re
Init(Simple
Char
Stream) Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
void
ReInit
(
SimpleCharStream
stream
)
Parameters
stream
SimpleCharStream
See Also
Reference
GrShellTokenManager Class
ReInit Overload
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also