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
ReInit Method
ReInit Method (SimpleCharStream)
ReInit Method (SimpleCharStream, Int32)
GrShellTokenManager
ReInit Method (SimpleCharStream, Int32)
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
ReInit
(
SimpleCharStream
stream
,
int
lexState
)
Parameters
stream
Type:
de.unika.ipd.grGen.grShell
SimpleCharStream
lexState
Type:
System
Int32
See Also
Reference
GrShellTokenManager Class
ReInit Overload
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement