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
GrShellDriver Class
GrShellDriver Constructor
GrShellDriver Methods
GrShellDriver Fields
GrShellDriver Class
Inheritance Hierarchy
System
Object
de.unika.ipd.grGen.grShell
GrShellDriver
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
class
GrShellDriver
The
GrShellDriver
type exposes the following members.
Constructors
Name
Description
GrShellDriver
Initializes a new instance of the
GrShellDriver
class
Top
Methods
Name
Description
ExecuteCommandLine
Include
ParsedElse
ParsedEndif
ParsedIf
Quit
Top
Fields
Name
Description
conditionalEvaluationResults
Eof
Quitting
showIncludes
tokenSources
VersionString
Top
See Also
Reference
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement