conexp.fx.gui.graph

Class Graph.HighlightRequest

java.lang.Object

conexp.fx.gui.graph.Graph.HighlightRequest

Enclosing class:

Graph<T,N extends javafx.scene.Node>

protected class Graph.HighlightRequest
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected javafx.scene.paint.Color	attributeLabelBackColor
protected javafx.scene.paint.Color	attributeLabelTextColor
protected javafx.scene.paint.Color	edgeColor
protected EdgeHighlight	edgeHighlightOption
protected Set<T>	elements
protected javafx.scene.paint.Color	objectLabelBackColor
protected javafx.scene.paint.Color	objectLabelTextColor
protected javafx.scene.paint.Color	vertexColor

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	HighlightRequest(Set<T> elements, EdgeHighlight edgeHighlightPolicy, javafx.scene.paint.Color vertexColor, javafx.scene.paint.Color edgeColor, javafx.scene.paint.Color objectLabelBackColor, javafx.scene.paint.Color objectLabelTextColor, javafx.scene.paint.Color attributeLabelBackColor, javafx.scene.paint.Color attributeLabelTextColor)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

elements

protected final Set<T> elements

edgeHighlightOption

protected final EdgeHighlight edgeHighlightOption

vertexColor

protected final javafx.scene.paint.Color vertexColor

edgeColor

protected final javafx.scene.paint.Color edgeColor

objectLabelBackColor

protected final javafx.scene.paint.Color objectLabelBackColor

objectLabelTextColor

protected final javafx.scene.paint.Color objectLabelTextColor

attributeLabelBackColor

protected final javafx.scene.paint.Color attributeLabelBackColor

attributeLabelTextColor

protected final javafx.scene.paint.Color attributeLabelTextColor

Constructor Detail

HighlightRequest

protected HighlightRequest(Set<T> elements,
                           EdgeHighlight edgeHighlightPolicy,
                           javafx.scene.paint.Color vertexColor,
                           javafx.scene.paint.Color edgeColor,
                           javafx.scene.paint.Color objectLabelBackColor,
                           javafx.scene.paint.Color objectLabelTextColor,
                           javafx.scene.paint.Color attributeLabelBackColor,
                           javafx.scene.paint.Color attributeLabelTextColor)