|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Object java.lang.Enum<DEdge> scale.common.DEdge
public enum DEdge
This enum specifies graphical display edge types - dashed, dotted, etc.
$Id$
Copyright 2008 by the
Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.
Enum Constant Summary | |
---|---|
BACK
An edge from a node to a predecessor node. |
|
DASHED
Use a dashed line for the edge. |
|
DOTTED
Use a dotted line for the edge. |
|
SOLID
Use a solid line for the edge. |
|
THICK
Use a thick line for the edge. |
Method Summary | |
---|---|
java.lang.String |
sName()
|
static DEdge |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static DEdge[] |
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, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final DEdge SOLID
public static final DEdge BACK
public static final DEdge DASHED
public static final DEdge DOTTED
public static final DEdge THICK
Method Detail |
---|
public static DEdge[] values()
for (DEdge c : DEdge.values()) System.out.println(c);
public static DEdge valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is nullpublic java.lang.String sName()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |