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