Click or drag to resize

DebuggerEnvironment Class

Inheritance Hierarchy
SystemObject
  de.unika.ipd.grGen.graphViewerAndSequenceDebuggerDebuggerEnvironment
    de.unika.ipd.grGen.grShellGrShellSequenceApplierAndDebugger

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public class DebuggerEnvironment : IDebuggerEnvironment, 
	IDebuggerConsoleUI, IDebuggerConsoleUIForDataRendering, IDebuggerUIForDataRendering

The DebuggerEnvironment type exposes the following members.

Constructors
  NameDescription
Public methodDebuggerEnvironment
Initializes a new instance of the DebuggerEnvironment class
Top
Properties
Methods
  NameDescription
Public methodAskfor
Public methodCancel
Protected methodCheckDebuggerAlive
Public methodClear
Public methodErrorWrite(String)
Public methodErrorWrite(String, Object)
Public methodErrorWriteLine
Public methodErrorWriteLine(String)
Public methodErrorWriteLine(String, Object)
Public methodGetElemByName
Public methodGetGraphElementType
Public methodStatic memberHandleSequenceParserException
Public methodLetUserChoose(UserChoiceMenu)
Public methodLetUserChoose(UserChoiceMenu, UserChoiceMenu)
Public methodPauseUntilAnyKeyPressedToContinueDialog
Public methodPauseUntilAnyKeyPressedToResumeDebugging
Public methodPauseUntilEnterPressed
Public methodPrintHighlighted
Public methodPrintHighlightedUserDialog
Public methodPrintInstructions
Public methodPrintInstructionsSeparateByNewline
Public methodReadKey
Public methodReadKeyWithCancel
Public methodReadKeyWithControlCAsInput
Public methodReadLine
Public methodReadOrEofErr
Public methodRestartImmediateExecution
Public methodShowGraphWith
Public methodShowMsgAskForFloatingPointNumber(String)
Public methodShowMsgAskForFloatingPointNumber(String, Double)
Public methodShowMsgAskForIntegerNumber(String)
Public methodShowMsgAskForIntegerNumber(String, Int32)
Public methodShowMsgAskForString
Public methodShowMsgAskForYesNo
Public methodSuspendImmediateExecution
Public methodWrite(String)
Public methodWrite(String, Object)
Public methodWriteDataRendering(String)
Public methodWriteDataRendering(String, Object)
Public methodWriteLine
Public methodWriteLine(String)
Public methodWriteLine(String, Object)
Public methodWriteLineDataRendering
Public methodWriteLineDataRendering(String)
Public methodWriteLineDataRendering(String, Object)
Top
Fields
  NameDescription
Protected fielddebugger
Top
See Also