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.graphViewerAndSequenceDebugger
DebuggerEnvironment Class
DebuggerEnvironment Properties
Debugger Property
Gui Property
guiForDataRendering Property
KeyAvailable Property
TheDebuggerConsoleUI Property
TheDebuggerConsoleUIForDataRendering Property
TheDebuggerGUIForDataRendering Property
TwoPane Property
Debugger
Environment
The
Debugger
Console
UI Property
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
IDebuggerConsoleUI
TheDebuggerConsoleUI
{
get
;
set
; }
Property Value
IDebuggerConsoleUI
See Also
Reference
DebuggerEnvironment Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also