Click or drag to resize

IDebuggerEnvironment Interface

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 8.0beta
Syntax
C#
public interface IDebuggerEnvironment : ITwinConsoleUIInputOutputConsole, 
	ITwinConsoleUIDataRenderingConsole, ITwinConsoleUIDataRenderingBase

The IDebuggerEnvironment type exposes the following members.

Properties
Methods
  NameDescription
Public methodAskfor
Public methodCancel
Public methodClear (Inherited from ITwinConsoleUIDataRenderingBase.)
Public methodGetElemByName
Public methodGetGraphElementType
Public methodLetUserChoose(UserChoiceMenu)
Public methodLetUserChoose(UserChoiceMenu, UserChoiceMenu)
Public methodPauseUntilAnyKeyPressedToContinueDialog
Public methodPauseUntilAnyKeyPressedToResumeDebugging
Public methodPauseUntilEnterPressed
Public methodPrintHighlighted (Inherited from ITwinConsoleUIDataRenderingConsole.)
Public methodPrintHighlightedUserDialog (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodPrintInstructions
Public methodPrintInstructionsSeparateByNewline
Public methodReadKey (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodReadKeyWithCancel
Public methodReadKeyWithControlCAsInput (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodReadLine (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodRestartImmediateExecution (Inherited from ITwinConsoleUIDataRenderingBase.)
Public methodShowGraphWith
Public methodShowMsgAskForFloatingPointNumber(String)
Public methodShowMsgAskForFloatingPointNumber(String, Double)
Public methodShowMsgAskForIntegerNumber(String)
Public methodShowMsgAskForIntegerNumber(String, Int32)
Public methodShowMsgAskForString
Public methodShowMsgAskForYesNo
Public methodSuspendImmediateExecution (Inherited from ITwinConsoleUIDataRenderingBase.)
Public methodWrite(String) (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodWrite(String, Object) (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodWriteDataRendering(String) (Inherited from ITwinConsoleUIDataRenderingConsole.)
Public methodWriteDataRendering(String, Object) (Inherited from ITwinConsoleUIDataRenderingConsole.)
Public methodWriteLine (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodWriteLine(String) (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodWriteLine(String, Object) (Inherited from ITwinConsoleUIInputOutputConsole.)
Public methodWriteLineDataRendering (Inherited from ITwinConsoleUIDataRenderingBase.)
Public methodWriteLineDataRendering(String) (Inherited from ITwinConsoleUIDataRenderingBase.)
Public methodWriteLineDataRendering(String, Object) (Inherited from ITwinConsoleUIDataRenderingBase.)
Top
See Also