Click or drag to resize

GraphViewer Class

helper class to - employ a graph viewer client from an own program - dump a graph in vcg format and then show it with yComp or dump a graph in dot format and show it with graphviz, also utilized internally
Inheritance Hierarchy
SystemObject
  de.unika.ipd.grGen.graphViewerAndSequenceDebuggerGraphViewer

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
public class GraphViewer

The GraphViewer type exposes the following members.

Constructors
 NameDescription
Public methodGraphViewerInitializes a new instance of the GraphViewer class
Top
Properties
 NameDescription
Public propertyUpdateDisplay 
Top
Methods
 NameDescription
Public methodDebugChangedEdgeAttribute 
Public methodDebugChangedNodeAttribute 
Public methodDebugClearingGraph 
Public methodDebugDeletingEdge 
Public methodDebugDeletingNode 
Public methodDebugEdgeAdded 
Public methodDebugNodeAdded 
Public methodDebugRetypingElement 
Public methodStatic memberDumpAndShowGraph 
Public methodEndShowGraph 
Public methodStatic memberIsDotExecutable Tells whether the name is one of the dot renderers from graphviz
Public methodRegisterGraphEvents 
Public methodShowGraph 
Public methodStatic memberShowGraphWithDot 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).
Public methodStatic memberShowGraphWithMSAGL Shows the graph with MSAGL (without dumping - but like the other static ShowGraph functions without registering to the graph update events, i.e. without live graph updating on changes). TODO: dump into a format supported by MSAGL and call an external MSAGL viewer app (supply one if none exists yet).
Public methodStatic memberShowVcgGraph Shows the graph dumped in vcg format with the renderer specified by programName (typically yComp), plus the arguments. The .vcg file is deleted if !keep (the return value is the filename of the vcg file).
Public methodUnregisterGraphEvents 
Public methodUpdateDisplayAndSync 
Top
See Also