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
IGrShellImplForSequenceApplierAndDebugger Interface
IGrShellImplForSequenceApplierAndDebugger Properties
curShellProcEnv Property
debugLayout Property
debugLayoutOptions Property
debugOptions Property
detailModePostMatchEnabled Property
detailModePreMatchEnabled Property
newGraphOptions Property
nonDebugNonGuiExitOnError Property
realizers Property
IGr
Shell
Impl
For
Sequence
Applier
And
Debugger
non
Debug
Non
Gui
Exit
On
Error Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
bool
nonDebugNonGuiExitOnError
{
get
; }
Property Value
Boolean
See Also
Reference
IGrShellImplForSequenceApplierAndDebugger Interface
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also