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
detail
Mode
Post
Match
Enabled Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
bool
detailModePostMatchEnabled
{
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