Uses of Class

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

Uses of DotColor in

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

Methods in with parameters of type DotColor
static java.lang.Object[] DotColor.valuesWithout(DotColor exclude)
          Returns the list of values that the user is allowed to select from.

Uses of DotColor in

Fields in with type parameters of type DotColor
 VizState.MMap<DotColor> VizState.edgeColor
 VizState.MMap<DotColor> VizState.nodeColor

Methods in that return DotColor
 DotColor VizState.nodeColor(AlloyAtom a, AlloyInstance i)