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(Text
Reader) Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
void
ReInit
(
TextReader
stream
)
Parameters
stream
TextReader
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