DebuggerEnvironment Constructor |
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
public DebuggerEnvironment( ITwinConsoleUIInputOutputConsole debuggerConsoleUI, ITwinConsoleUIDataRenderingConsole debuggerConsoleUIForDataRendering, ITwinConsoleUIDataRenderingGUI debuggerGUIForDataRendering )