Click or drag to resize

GraphViewerShowGraphWithDot Method

Shows the graph dumped in dot format with graphviz (one of its renderers specified by programName, plus the arguments. The .dot and .pgn files are deleted if !keep (the return value is the filename of the dot file).

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
public static string ShowGraphWithDot(
	DebuggerGraphProcessingEnvironment debuggerProcEnv,
	string programName,
	string arguments,
	bool keep
)

Parameters

debuggerProcEnv
Type: de.unika.ipd.grGen.graphViewerAndSequenceDebuggerDebuggerGraphProcessingEnvironment
programName
Type: SystemString
arguments
Type: SystemString
keep
Type: SystemBoolean

Return Value

Type: String
See Also