edu.mit.csail.sdg.alloy4graph
Enum DotPalette

java.lang.Object
  java.lang.Enum<DotPalette>
      edu.mit.csail.sdg.alloy4graph.DotPalette

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<DotPalette>

public enum DotPalette
extends java.lang.Enum<DotPalette>

Immutable; this defines the set of possible color palettes.

Thread Safety: Can be called only by the AWT event thread.

Enum Constant Summary

CLASSIC
Classic palette.

MARTHA
Martha palette.

NEON
Neon palette.

STANDARD
Standard palette.

Method Summary

java.lang.String	getDisplayedText() Returns the String that will be displayed in the GUI to represent this value.
static DotPalette	parse(java.lang.String x) This method is used in parsing the XML value into a valid DotPalette; returns null if there is no match.
java.lang.String	toString() This value is used in writing XML.
static DotPalette	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotPalette[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

CLASSIC

public static final DotPalette CLASSIC

Classic palette.

STANDARD

public static final DotPalette STANDARD

Standard palette.

MARTHA

public static final DotPalette MARTHA

Martha palette.

NEON

public static final DotPalette NEON

Neon palette.

Method Detail

values

public static DotPalette[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (DotPalette c : DotPalette.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static DotPalette valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

parse

public static DotPalette parse(java.lang.String x)

This method is used in parsing the XML value into a valid DotPalette; returns null if there is no match.

getDisplayedText

public java.lang.String getDisplayedText()

Returns the String that will be displayed in the GUI to represent this value.

toString

public java.lang.String toString()

This value is used in writing XML.

Overrides:

toString in class java.lang.Enum<DotPalette>