GrShellSequenceApplierAndDebugger Class

GrShellImpl part that controls applying the sequences, optionally utilizing the debugger. Inherits from the DebuggerEnvironment, required by the debugger (adapting the base implementation meant for non-shell usage by overriding as needed). form TODO: check whether overriden behaviour of DebuggerEnvironement is really needed

Inheritance Hierarchy

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

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

Syntax

Copy

public class GrShellSequenceApplierAndDebugger : DebuggerEnvironment

The GrShellSequenceApplierAndDebugger type exposes the following members.

Constructors

	Name	Description
	GrShellSequenceApplierAndDebugger	Initializes a new instance of the GrShellSequenceApplierAndDebugger class

Top

Properties

	Name	Description
	Debugger	(Inherited from DebuggerEnvironment)
	Gui
	guiForDataRendering	(Inherited from DebuggerEnvironment)
	KeyAvailable	(Inherited from DebuggerEnvironment)
	OperationCancelled
	SilenceExec
	TheDebuggerConsoleUI	(Inherited from DebuggerEnvironment)
	TheDebuggerConsoleUIForDataRendering	(Inherited from DebuggerEnvironment)
	TheDebuggerGUIForDataRendering	(Inherited from DebuggerEnvironment)
	TwoPane

Top

Methods

	Name	Description
	ApplyRewriteSequence
	ApplyRewriteSequenceExpression
	Askfor	(Inherited from DebuggerEnvironment)
	Cancel	(Overrides DebuggerEnvironmentCancel)
	ChangeDebuggerGraphAsNeeded
	CheckDebuggerAlive	(Overrides DebuggerEnvironmentCheckDebuggerAlive)
	Clear	(Inherited from DebuggerEnvironment)
	DebugDoLayout
	DebugRewriteSequence
	DebugRewriteSequenceExpression
	DebugWith
	DisableDebuggerAfterDeletionAsNeeded
	ErrorWrite(String)	(Inherited from DebuggerEnvironment)
	ErrorWrite(String, Object)	(Inherited from DebuggerEnvironment)
	ErrorWriteLine	(Inherited from DebuggerEnvironment)
	ErrorWriteLine(String)	(Inherited from DebuggerEnvironment)
	ErrorWriteLine(String, Object)	(Inherited from DebuggerEnvironment)
	GetDebugLayoutOptions
	GetDebugOptionGui
	GetDebugOptions
	GetDebugOptionTwoPane
	GetElemByName	(Inherited from DebuggerEnvironment)
	GetGraphElementType	(Inherited from DebuggerEnvironment)
	LetUserChoose(UserChoiceMenu)	(Inherited from DebuggerEnvironment)
	LetUserChoose(UserChoiceMenu, UserChoiceMenu)	(Inherited from DebuggerEnvironment)
	PauseUntilAnyKeyPressedToContinueDialog	(Inherited from DebuggerEnvironment)
	PauseUntilAnyKeyPressedToResumeDebugging	(Inherited from DebuggerEnvironment)
	PauseUntilEnterPressed	(Inherited from DebuggerEnvironment)
	PrintHighlighted	(Inherited from DebuggerEnvironment)
	PrintHighlightedUserDialog	(Inherited from DebuggerEnvironment)
	PrintInstructions	(Inherited from DebuggerEnvironment)
	PrintInstructionsSeparateByNewline	(Inherited from DebuggerEnvironment)
	QuitDebugModeAsNeeded
	ReadKey	(Inherited from DebuggerEnvironment)
	ReadKeyWithCancel	Reads a key from the keyboard using the workaround manager. If CTRL+C is pressed, grShellImpl.Cancel() is called. (Overrides DebuggerEnvironmentReadKeyWithCancel)
	ReadKeyWithControlCAsInput	(Inherited from DebuggerEnvironment)
	ReadLine	(Inherited from DebuggerEnvironment)
	ReadOrEofErr	(Inherited from DebuggerEnvironment)
	RestartDebuggerOnNewGraphAsNeeded
	RestartImmediateExecution	(Inherited from DebuggerEnvironment)
	SetDebugLayout
	SetDebugLayoutOption
	SetDebugMode	Enables or disables debug mode.
	SetDebugOption
	SetMatchModePost
	SetMatchModePre
	ShowGraphWith	(Overrides DebuggerEnvironmentShowGraphWith(String, String, Boolean))
	ShowMsgAskForFloatingPointNumber(String)	(Inherited from DebuggerEnvironment)
	ShowMsgAskForFloatingPointNumber(String, Double)	(Inherited from DebuggerEnvironment)
	ShowMsgAskForIntegerNumber(String)	(Inherited from DebuggerEnvironment)
	ShowMsgAskForIntegerNumber(String, Int32)	(Inherited from DebuggerEnvironment)
	ShowMsgAskForString	(Inherited from DebuggerEnvironment)
	ShowMsgAskForYesNo	(Inherited from DebuggerEnvironment)
	SuspendImmediateExecution	(Inherited from DebuggerEnvironment)
	UpdateDebuggerDisplayAsNeeded
	Write(String)	(Inherited from DebuggerEnvironment)
	Write(String, Object)	(Inherited from DebuggerEnvironment)
	WriteDataRendering(String)	(Inherited from DebuggerEnvironment)
	WriteDataRendering(String, Object)	(Inherited from DebuggerEnvironment)
	WriteLine	(Inherited from DebuggerEnvironment)
	WriteLine(String)	(Inherited from DebuggerEnvironment)
	WriteLine(String, Object)	(Inherited from DebuggerEnvironment)
	WriteLineDataRendering	(Inherited from DebuggerEnvironment)
	WriteLineDataRendering(String)	(Inherited from DebuggerEnvironment)
	WriteLineDataRendering(String, Object)	(Inherited from DebuggerEnvironment)

Top

Fields

	Name	Description
	debugger	(Inherited from DebuggerEnvironment)

Top

Reference

de.unika.ipd.grGen.grShell Namespace