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.graphViewerAndSequenceDebugger
GuiDebuggerHost Class
GuiDebuggerHost Properties
Debugger Property
graphViewer Property
GuiConsoleControl Property
InputOutputAndLogGuiConsoleControl Property
MainWorkObjectGuiConsoleControl Property
MainWorkObjectGuiGraphRenderer Property
OptionalGuiConsoleControl Property
TwoPane Property
GuiDebuggerHost
MainWorkObjectGuiConsoleControl Property
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
IDebuggerConsoleUICombined
MainWorkObjectGuiConsoleControl
{
get
; }
Property Value
Type:
IDebuggerConsoleUICombined
Implements
IGuiDebuggerHost
MainWorkObjectGuiConsoleControl
See Also
Reference
GuiDebuggerHost Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement