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
IGuiDebuggerHost Interface
IGuiDebuggerHost Properties
InputOutputAndLogGuiConsoleControl Property
MainWorkObjectGuiConsoleControl Property
MainWorkObjectGuiGraphRenderer Property
IGui
Debugger
Host
Main
Work
Object
Gui
Console
Control Property
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
IDebuggerConsoleUICombined
MainWorkObjectGuiConsoleControl
{
get
; }
Property Value
IDebuggerConsoleUICombined
See Also
Reference
IGuiDebuggerHost Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement