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