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 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
-
-
-
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
-
-