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
IGrShellImplForDriver Interface
IGrShellImplForDriver Properties
IGrShellImplForDriver Methods
IGr
Shell
Impl
For
Driver Interface
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
interface
IGrShellImplForDriver
The
IGrShellImplForDriver
type exposes the following members.
Properties
Name
Description
nonDebugNonGuiExitOnError
Top
Methods
Name
Description
Cleanup
Evaluate
QuitDebugMode
Top
See Also
Reference
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement