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