 | Dump |
A description of how to dump a graph.
Inheritance HierarchyNamespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
SyntaxC#
public class DumpInfo
The DumpInfo type exposes the following members.
ConstructorsPropertiesTop
Methods| Name | Description | |
|---|---|---|
 | AddOrExtendGroupNodeType | Adds or extends a GroupNodeType. All nodes connected via the given edge type and fulfilling the GroupType condition are placed inside a group corresponding to the according group node. The edges which lead to the grouping are not displayed. The group node types are ordered by the time of creation. Groups of group node types created later will be moved into groups of group node types created earlier. |
| AddTypeInfoTag | Associates an InfoTag to a GrGenType. |
| ExcludeEdgeType | |
| ExcludeGraph | |
| ExcludeNodeType | |
| GetEdgeDumpTypeColor | |
| GetEdgeDumpTypeLineStyle | |
| GetEdgeDumpTypeTextColor | |
| GetEdgeDumpTypeThickness | |
| GetEdgeTypeColor | |
| GetEdgeTypeLineStyle | |
| GetEdgeTypeTextColor | |
| GetEdgeTypeThickness | |
| GetElementName | Gets the element name of the given graph element according to the element name getter given to the constructor of DumpInfo. |
| GetElemTypeLabel | Returns the label of the given element type or null for the default case. |
| GetExcludeGraphContextDepth | |
| GetGroupNodeType | Gets the GroupNodeType for a given node type. |
| GetNodeDumpTypeBorderColor | |
| GetNodeDumpTypeColor | |
| GetNodeDumpTypeShape | |
| GetNodeDumpTypeTextColor | |
| GetNodeTypeBorderColor | |
| GetNodeTypeColor | |
| GetNodeTypeShape | |
| GetNodeTypeTextColor | |
| GetTypeInfoTag | Returns an info tag with the given AttributeType registered for the given element type or null. |
| GetTypeInfoTags | Returns a list of InfoTag objects for the given type or null. |
| IsExcludedEdgeType | |
| IsExcludedGraph | |
| IsExcludedNodeType | |
| Reset | |
| SetEdgeDumpTypeColor | |
| SetEdgeDumpTypeLineStyle | |
| SetEdgeDumpTypeTextColor | |
| SetEdgeDumpTypeThickness | |
| SetEdgeTypeColor | |
| SetEdgeTypeLineStyle | |
| SetEdgeTypeTextColor | |
| SetEdgeTypeThickness | |
| SetElemTypeLabel | Sets the labels of the given element type. null is the default case, which is "<elemname>:<type>". |
| SetExcludeGraphContextDepth | |
| SetNodeDumpTypeBorderColor | |
| SetNodeDumpTypeColor | |
| SetNodeDumpTypeShape | |
| SetNodeDumpTypeTextColor | |
| SetNodeTypeBorderColor | |
| SetNodeTypeColor | |
| SetNodeTypeShape | |
| SetNodeTypeTextColor |
Events
See Also