IGuiDebuggerHost Interface

interface to the host object that contains the gui and esp. the console(s) to be used by the gui console debugger

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1

Syntax

public interface IGuiDebuggerHost : IGuiConsoleDebuggerHost

The IGuiDebuggerHost type exposes the following members.

Properties

	Name	Description
	Debugger	(Inherited from IGuiConsoleDebuggerHost)
	GuiConsoleControl	(Inherited from IGuiConsoleDebuggerHost)
	InputOutputAndLogGuiConsoleControl
	MainWorkObjectGuiConsoleControl
	MainWorkObjectGuiGraphRenderer
	OptionalGuiConsoleControl	(Inherited from IGuiConsoleDebuggerHost)
	TwoPane	(Inherited from IGuiConsoleDebuggerHost)

Methods

	Name	Description
	Close	(Inherited from IGuiConsoleDebuggerHost)
	Show	(Inherited from IGuiConsoleDebuggerHost)