Uses of Class
edu.mit.csail.sdg.alloy4graph.DotPalette

Packages that use DotPalette

edu.mit.csail.sdg.alloy4graph	This package performs graph layout.
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.

Uses of DotPalette in edu.mit.csail.sdg.alloy4graph

Methods in edu.mit.csail.sdg.alloy4graph that return DotPalette

static DotPalette	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.
static DotPalette	DotPalette.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DotPalette[]	DotPalette.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in edu.mit.csail.sdg.alloy4graph with parameters of type DotPalette

java.awt.Color	DotColor.getColor(DotPalette pal) Convert this color into its corresponding Java Color object.
java.lang.String	DotColor.getDotText(DotPalette pal) Returns the String that should be written into the dot file for this value, when used with the given palette.
javax.swing.Icon	DotColor.getIcon(DotPalette pal) Returns the Icon that will be displayed in the GUI to represent this value, when used with the given palette.

Uses of DotPalette in edu.mit.csail.sdg.alloy4viz

Methods in edu.mit.csail.sdg.alloy4viz that return DotPalette

DotPalette	VizState.getEdgePalette() Gets the default edge palette.
DotPalette	VizState.getNodePalette() Gets the default node palette.

Methods in edu.mit.csail.sdg.alloy4viz with parameters of type DotPalette

void	VizState.setEdgePalette(DotPalette x) Sets the default edge palette.
void	VizState.setNodePalette(DotPalette x) Sets the default node palette.