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 Fields
conditionalEvaluationResults Field
Eof Field
Quitting Field
showIncludes Field
tokenSources Field
VersionString Field
GrShellDriver
tokenSources Field
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
readonly
Stack
<
GrShellTokenManager
>
tokenSources
Field Value
Type:
Stack
GrShellTokenManager
See Also
Reference
GrShellDriver Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement