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