net.automatalib.visualization.jung

Class JungGraphVisualizationProvider.NodeVisualization

java.lang.Object

net.automatalib.visualization.jung.JungGraphVisualizationProvider.NodeVisualization

Enclosing class:

JungGraphVisualizationProvider

public static final class JungGraphVisualizationProvider.NodeVisualization
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Color	color
static Function<JungGraphVisualizationProvider.NodeVisualization,Paint>	DRAW_COLOR
static Function<JungGraphVisualizationProvider.NodeVisualization,Paint>	FILL_COLOR
Color	fillColor
String	label
static Function<JungGraphVisualizationProvider.NodeVisualization,String>	LABEL
Shape	shape
static Function<JungGraphVisualizationProvider.NodeVisualization,Shape>	SHAPE
Stroke	stroke
static Function<JungGraphVisualizationProvider.NodeVisualization,Stroke>	STROKE

Constructor Summary

Constructors

Constructor and Description
NodeVisualization(String label, Color drawColor, Color fillColor, Shape shape, Stroke stroke)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LABEL

public static final Function<JungGraphVisualizationProvider.NodeVisualization,String> LABEL

DRAW_COLOR

public static final Function<JungGraphVisualizationProvider.NodeVisualization,Paint> DRAW_COLOR

FILL_COLOR

public static final Function<JungGraphVisualizationProvider.NodeVisualization,Paint> FILL_COLOR

SHAPE

public static final Function<JungGraphVisualizationProvider.NodeVisualization,Shape> SHAPE

STROKE

public static final Function<JungGraphVisualizationProvider.NodeVisualization,Stroke> STROKE

label

public final String label

color

public final Color color

fillColor

public final Color fillColor

shape

public final Shape shape

stroke

public final Stroke stroke

Constructor Detail

NodeVisualization

public NodeVisualization(String label,
                         Color drawColor,
                         Color fillColor,
                         Shape shape,
                         Stroke stroke)