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
debug
Options Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
Dictionary
<
string
,
string
>
debugOptions
{
get
; }
Property Value
Dictionary
String
,
String
See Also
Reference
IGrShellImplForSequenceApplierAndDebugger Interface
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also