net.automatalib.visualization.jung

Class JungGraphVisualizationProvider.EdgeVisualization

java.lang.Object

net.automatalib.visualization.jung.JungGraphVisualizationProvider.EdgeVisualization

Enclosing class:

JungGraphVisualizationProvider

public static final class JungGraphVisualizationProvider.EdgeVisualization
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static Function<JungGraphVisualizationProvider.EdgeVisualization,Paint>	DRAW_COLOR
Color	drawColor
String	label
static Function<JungGraphVisualizationProvider.EdgeVisualization,String>	LABEL
Stroke	stroke
static Function<JungGraphVisualizationProvider.EdgeVisualization,Stroke>	STROKE

Constructor Summary

Constructors

Constructor and Description
EdgeVisualization(String label, Color drawColor, 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.EdgeVisualization,String> LABEL

DRAW_COLOR

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

STROKE

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

label

public final String label

drawColor

public final Color drawColor

stroke

public final Stroke stroke

Constructor Detail

EdgeVisualization

public EdgeVisualization(String label,
                         Color drawColor,
                         Stroke stroke)