GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)

GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)

de.unika.ipd.grGen.grShell

GrShellSequenceApplierAndDebugger Class

GrShellSequenceApplierAndDebugger Methods

ApplyRewriteSequence Method

ApplyRewriteSequenceExpression Method

ChangeDebuggerGraphAsNeeded Method

CheckDebuggerAlive Method

DebugDoLayout Method

DebugRewriteSequence Method

DebugRewriteSequenceExpression Method

DebugWith Method

DisableDebuggerAfterDeletionAsNeeded Method

GetDebugLayoutOptions Method

GetDebugOptionGui Method

GetDebugOptions Method

GetDebugOptionTwoPane Method

QuitDebugModeAsNeeded Method

ReadKeyWithCancel Method

RestartDebuggerOnNewGraphAsNeeded Method

SetDebugLayout Method

SetDebugLayoutOption Method

SetDebugMode Method

SetDebugOption Method

SetMatchModePost Method

SetMatchModePre Method

ShowGraphWith Method

UpdateDebuggerDisplayAsNeeded Method

Click or drag to resize

GrShellSequenceApplierAndDebuggerSetDebugOption Method

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

Syntax

C#

public bool SetDebugOption(
	string optionName,
	string optionValue
)

Parameters

optionName String
optionValue String

Return Value

See Also

Reference

GrShellSequenceApplierAndDebugger Class

de.unika.ipd.grGen.grShell Namespace

German legal requirement: Impressum / Imprint and Datenschutzerklärung / Privacy Statement