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.2
Syntax
C#
public class GraphViewer

The GraphViewer type exposes the following members.

Constructors
  NameDescription
Public methodGraphViewer
Initializes 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