Uses of Class

Packages that use DotShape This package performs graph layout. This package displays Alloy4 instances. 

Uses of DotShape in

Methods in 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 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

Fields in with type parameters of type DotShape
 VizState.MMap<DotShape> VizState.shape

Methods in that return DotShape
 DotShape VizState.shape(AlloyAtom a, AlloyInstance i)