edu.mit.csail.sdg.alloy4graph
Enum DotShape

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

All Implemented Interfaces:

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

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

Immutable; this defines the set of possible node shapes (BOX, CIRCLE, ELLIPSE...)

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

Enum Constant Summary

BOX
Box

CIRCLE
Circle

DIAMOND
Diamond

DOUBLE_CIRCLE
Double Circle

DOUBLE_OCTAGON
Double Octagon

EGG
Egg

ELLIPSE
Ellipse

HEXAGON
Hexagon

HOUSE
House

INV_HOUSE
Inverted House

INV_TRAPEZOID
Inverted Trapezoid

INV_TRIANGLE
Inverted Triangle

M_CIRCLE
Lined Circle

M_DIAMOND
Lined Diamond

M_SQUARE
Lined Square

OCTAGON
Octagon

PARALLELOGRAM
Parallelogram

TRAPEZOID
Trapezoid

TRIANGLE
Triangle

TRIPLE_OCTAGON
Triple Octagon

Method Summary

java.lang.String	getDisplayedText() Returns the String that will be displayed in the GUI to represent this value.
java.lang.String	getDotText() Returns the String that should be written into the dot file for this value, when used with the given palette.
javax.swing.Icon	getIcon() Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.
static 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.
java.lang.String	toString() This value is used in writing XML.
static DotShape	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotShape[]	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

ELLIPSE

public static final DotShape ELLIPSE

Ellipse

BOX

public static final DotShape BOX

Box

CIRCLE

public static final DotShape CIRCLE

Circle

EGG

public static final DotShape EGG

Egg

TRIANGLE

public static final DotShape TRIANGLE

Triangle

DIAMOND

public static final DotShape DIAMOND

Diamond

TRAPEZOID

public static final DotShape TRAPEZOID

Trapezoid

PARALLELOGRAM

public static final DotShape PARALLELOGRAM

Parallelogram

HOUSE

public static final DotShape HOUSE

House

HEXAGON

public static final DotShape HEXAGON

Hexagon

OCTAGON

public static final DotShape OCTAGON

Octagon

DOUBLE_CIRCLE

public static final DotShape DOUBLE_CIRCLE

Double Circle

DOUBLE_OCTAGON

public static final DotShape DOUBLE_OCTAGON

Double Octagon

TRIPLE_OCTAGON

public static final DotShape TRIPLE_OCTAGON

Triple Octagon

INV_TRIANGLE

public static final DotShape INV_TRIANGLE

Inverted Triangle

INV_HOUSE

public static final DotShape INV_HOUSE

Inverted House

INV_TRAPEZOID

public static final DotShape INV_TRAPEZOID

Inverted Trapezoid

M_DIAMOND

public static final DotShape M_DIAMOND

Lined Diamond

M_SQUARE

public static final DotShape M_SQUARE

Lined Square

M_CIRCLE

public static final DotShape M_CIRCLE

Lined Circle

Method Detail

values

public static DotShape[] 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 (DotShape c : DotShape.values())
    System.out.println(c);

Returns:

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

valueOf

public static DotShape 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

getDisplayedText

public java.lang.String getDisplayedText()

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

getDotText

public java.lang.String getDotText()

Returns the String that should be written into the dot file for this value, when used with the given palette.

getIcon

public javax.swing.Icon getIcon()

Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.

parse

public static 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.

toString

public java.lang.String toString()

This value is used in writing XML.

Overrides:

toString in class java.lang.Enum<DotShape>