GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.grShell
GrShellImpl Class
GrShellImpl Methods
AddDumpExcludeEdgeType Method
AddDumpExcludeGraph Method
AddDumpExcludeNodeType Method
AddDumpGroupNodesBy Method
AddDumpInfoTag Method
AddNewGraph Method
ApplySequence Method
ApplySequenceExpression Method
Askfor Method
ChangeDirectory Method
ChangeGraph Method
ClearGraph Method
ContainerAdd Method
ContainerRemove Method
CustomActions Method
CustomGraph Method
DebugLayout Method
DebugOnAdd Method
DebugOnDelete Method
DebugOnEmit Method
DebugOnHalt Method
DebugOnHighlight Method
DebugOnMatch Method
DebugOnNew Method
DebugOnRem Method
DebugOnRetype Method
DebugOnSetAttributes Method
DebugSequence Method
DebugSequenceExpression Method
DebugWith Method
DestroyGraph Method
DumpGraph Method
DumpReset Method
EdgeTypeIsA Method
ExecuteCommandLineInExternalShell Method
Export Method
External Method
GetClassObjectByName Method
GetClassObjectByVar Method
GetDebugLayout Method
GetDebugLayoutOptions Method
GetDebugOptions Method
GetEdgeByName Method
GetEdgeByVar Method
GetEdgeType Method
GetElemByName Method
GetElemByVar Method
GetElementAttribute Method
GetGraphElementOrClassObjectByName Method
GetGraphElementOrClassObjectByVar Method
GetGraphElementType Method
GetKind Method
GetNameOfGraphElementOrClassObject Method
GetNodeByName Method
GetNodeByVar Method
GetNodeType Method
GetObject Method
GetShellGraphProcEnv Method
GetVarValue Method
Help Method
HelpCustom Method
HelpDebug Method
HelpDelete Method
HelpDump Method
HelpExport Method
HelpImport Method
HelpNew Method
HelpRecord Method
HelpRedirect Method
HelpReplay Method
HelpRetype Method
HelpSelect Method
HelpShow Method
HelpValidate Method
Import Method
IndexedContainerAdd Method
ListDirectory Method
NewEdge Method
NewGraph Method
NewGraphAddReference Method
NewGraphSetKeepDebug Method
NewGraphSetLazyNIC Method
NewGraphSetNoDebugEvents Method
NewGraphSetNoEvents Method
NewGraphSetNoInline Method
NewGraphSetProfile Method
NewGraphSetStatistics Method
NewNode Method
NodeTypeIsA Method
ParseAndDefineSequence Method
ParseSequence Method
ParseSequenceExpression Method
PrintWorkingDirectory Method
Record Method
RecordFlush Method
Redirect Method
RedirectEmit Method
Remove Method
RemoveTypeSuffix Method
Replay Method
Retype Method
SaveGraph Method
SelectActions Method
SelectBackend Method
SelectGraphProcEnv Method
SetDebugEdgeModeColor Method
SetDebugEdgeModeStyle Method
SetDebugEdgeModeTextColor Method
SetDebugEdgeModeThickness Method
SetDebugLayout Method
SetDebugLayoutOption Method
SetDebugMatchModePost Method
SetDebugMatchModePre Method
SetDebugMode Method
SetDebugNodeModeBorderColor Method
SetDebugNodeModeColor Method
SetDebugNodeModeShape Method
SetDebugNodeModeTextColor Method
SetDebugOption Method
SetDumpEdgeTypeColor Method
SetDumpEdgeTypeLineStyle Method
SetDumpEdgeTypeTextColor Method
SetDumpEdgeTypeThickness Method
SetDumpExcludeGraphOption Method
SetDumpLabel Method
SetDumpNodeTypeBorderColor Method
SetDumpNodeTypeColor Method
SetDumpNodeTypeShape Method
SetDumpNodeTypeTextColor Method
SetElementAttribute Method
SetElementAttributeIndexed Method
SetRandomSeed Method
SetVariable Method
SetVariableIndexed Method
ShowActions Method
ShowAvailableEdgeAttributes Method
ShowAvailableNodeAttributes Method
ShowBackend Method
ShowEdges Method
ShowEdgeTypes Method
ShowElementAttribute Method
ShowElementAttributes Method
ShowGraphs Method
ShowGraphWith Method
ShowNodes Method
ShowNodeTypes Method
ShowNumEdges Method
ShowNumNodes Method
ShowProfile Method
ShowSubTypes Method
ShowSuperTypes Method
ShowVar Method
Validate Method
ValidateWithSequence Method
Click or drag to resize

GrShellImplDebugOnHalt Method

Namespace:  de.unika.ipd.grGen.grShell
Assembly:  libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public void DebugOnHalt(
	string comparison,
	string message,
	bool break_
)

Parameters

comparison
Type: SystemString
message
Type: SystemString
break_
Type: SystemBoolean
See Also