 | IGuiConsoleDebuggerHost Interface |
interface to the host object that contains 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.2
SyntaxC#
public interface IGuiConsoleDebuggerHost
The IGuiConsoleDebuggerHost type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | Debugger | |
| GuiConsoleControl | |
| OptionalGuiConsoleControl | |
| TwoPane |
Methods
See Also