Uses of Class
edu.mit.csail.sdg.alloy4graph.DotShape

Packages that use DotShape

edu.mit.csail.sdg.alloy4graph	This package performs graph layout.
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.

Uses of DotShape in edu.mit.csail.sdg.alloy4graph

Methods in edu.mit.csail.sdg.alloy4graph that return DotShape

static DotShape	DotShape.parse(java.lang.String x) This method is used in parsing the XML value into a valid Shape; returns null if there is no match.
static DotShape	DotShape.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotShape[]	DotShape.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in edu.mit.csail.sdg.alloy4graph with parameters of type DotShape

GraphNode

GraphNode.set(DotShape shape) Changes the node shape (where null means change the node into a dummy node), then invalidate the computed bounds.

Uses of DotShape in edu.mit.csail.sdg.alloy4viz

Fields in edu.mit.csail.sdg.alloy4viz with type parameters of type DotShape

VizState.MMap<DotShape>

VizState.shape

Methods in edu.mit.csail.sdg.alloy4viz that return DotShape

DotShape

VizState.shape(AlloyAtom a, AlloyInstance i)