Uses of Class

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

Uses of DotStyle in

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

Methods in with parameters of type DotStyle
 GraphEdge GraphEdge.set(DotStyle style)
          Sets the line style.
 GraphNode GraphNode.set(DotStyle style)
          Changes the line style, then invalidate the computed bounds.
 void Artist.set(DotStyle style, double scale)
          Modifies the given Graphics2D object to use the line style representing by this object.

Uses of DotStyle in

Fields in with type parameters of type DotStyle
 VizState.MMap<DotStyle> VizState.edgeStyle
 VizState.MMap<DotStyle> VizState.nodeStyle

Methods in that return DotStyle
 DotStyle VizState.nodeStyle(AlloyAtom a, AlloyInstance i)