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
IGrShellImplForSequenceApplierAndDebugger Interface
IGrShellImplForSequenceApplierAndDebugger Properties
curShellProcEnv Property
debugLayout Property
debugLayoutOptions Property
debugOptions Property
detailModePostMatchEnabled Property
detailModePreMatchEnabled Property
newGraphOptions Property
nonDebugNonGuiExitOnError Property
realizers Property
IGrShellImplForSequenceApplierAndDebugger
debugLayout Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
string
debugLayout
{
get
; }
Property Value
Type:
String
See Also
Reference
IGrShellImplForSequenceApplierAndDebugger Interface
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement