 | Debugger Class |
Inheritance HierarchySystemObject de.unika.ipd.grGen.graphViewerAndSequenceDebuggerDebugger Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerAssembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax public class Debugger : IDebugger, IUserProxyForSequenceExecution
The Debugger type exposes the following members.
Constructors | | Name | Description |
|---|
 | Debugger |
Initializes a new Debugger instance using the given environments, and layout as well as layout options.
All invalid options will be removed from layoutOptions.
|
TopProperties Methods | | Name | Description |
|---|
| AbortRewriteSequence | |
| ChooseDirection |
returns the maybe user altered direction of execution for the sequence given
the randomly chosen directions is supplied; 0: execute left operand first, 1: execute right operand first
|
| ChooseGraphElement |
returns the id/persistent name of a node/edge chosen by the user in yComp
|
| ChooseMatch(Int32, SequenceSomeFromSet) |
returns the maybe user altered rule to execute next for the sequence given
the randomly chosen rule is supplied; the object with all available rules is supplied
a list of all found matches is supplied, too
|
| ChooseMatch(Int32, IMatches, Int32, Sequence) |
returns the maybe user altered match to apply next for the sequence given
the randomly chosen match is supplied; the object with all available matches is supplied
|
| ChoosePoint |
returns the maybe user altered point within the interval series, denoting the sequence to execute next
the randomly chosen point is supplied; the sequence with the intervals and their corresponding sequences is supplied
|
| ChooseRandomNumber(Double, Sequence) |
returns the maybe user altered random number in the range 0.0 - 1.0 exclusive for the sequence given
the random number chosen is supplied
|
| ChooseRandomNumber(Int32, Int32, Sequence) |
returns the maybe user altered random number in the range 0 - upperBound exclusive for the sequence given
the random number chosen is supplied
|
| ChooseSequence |
returns the maybe user altered sequence to execute next for the sequence given
the randomly chosen sequence is supplied; the object with all available sequences is supplied
|
| ChooseValue |
returns a user chosen/input value of the given type
no random input value is supplied, the user must give a value
|
| Close |
Closes the debugger.
|
| DebugBeginExecution | |
| DebugChangedEdgeAttribute | |
| DebugChangedNodeAttribute | |
| DebugClearingGraph | |
| DebugDeletingEdge | |
| DebugDeletingNode | |
| DebugEdgeAdded | |
| DebugEmit | |
| DebugEndExecution | |
| DebugEndOfIteration |
informs debugger about the end of a loop iteration, so it can display the state at the end of the iteration
|
| DebugEnter | |
| DebugEnteringSequence | |
| DebugExit | |
| DebugExitingSequence | |
| DebugFinished | |
| DebugFinishedSelectedMatch | |
| DebugHalt | |
| DebugHighlight |
highlights the values in the graphs if debugging is active (annotating them with the source names)
|
| DebugJoinSequences | |
| DebugMatchedAfter | |
| DebugMatchedBefore | |
| DebugMatchSelected | |
| DebugNodeAdded | |
| DebugReturnedFromGraph |
informs debugger about the change of the graph, so it can switch yComp display to the new one
called just after the switch with the old one, the new one is the current graph
|
| DebugRetypingElement | |
| DebugRewritingSelectedMatch | |
| DebugSelectedMatchRewritten | |
| DebugSettingAddedEdgeNames | |
| DebugSettingAddedNodeNames | |
| DebugSpawnSequences | |
| DebugSwitchToGraph |
informs debugger about the change of the graph, so it can switch yComp display to the new one
called just before switch with the new one, the old one is the current graph
|
| FinishRewriteSequence | |
| ForceLayout | |
| GetLayoutOptions | |
| HandleAssert |
Queries the user whether to continue execution, processes the assertion given the user choice (internally).
|
| InitNewRewriteSequence | |
| InitParallelRewriteSequence | |
| InitSequenceExpression | |
 | ProducerNames(IListIMatches) | |
| ProducerNames(IMatches) | |
| SetLayout | |
| SetLayoutOption |
Sets a layout option for the current layout in yComp.
|
| UpdateGraphViewerDisplay | |
TopFields See Also 
