conexp.fx.gui.graph

Class ConceptGraph<G,M>

java.lang.Object

javafx.scene.Node

javafx.scene.Parent

javafx.scene.layout.Region

javafx.scene.layout.Pane

javafx.scene.layout.BorderPane

conexp.fx.gui.graph.Graph<Concept<G,M>,javafx.scene.shape.Circle>

conexp.fx.gui.graph.ConceptGraph<G,M>

All Implemented Interfaces:

javafx.css.Styleable, javafx.event.EventTarget

public final class ConceptGraph<G,M>
extends Graph<Concept<G,M>,javafx.scene.shape.Circle>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ConceptGraph.AttributeLabel
protected class	ConceptGraph.ConceptEdge
protected class	ConceptGraph.ConceptVertex
class	ConceptGraph.HighlightRequests
protected class	ConceptGraph.ObjectLabel

Nested classes/interfaces inherited from class conexp.fx.gui.graph.Graph

Graph.Config, Graph.Controller, Graph.Edge, Graph.HighlightRequest, Graph.Label, Graph.LowerLabel, Graph.Tile, Graph.UpperLabel, Graph.Vertex

Field Summary

Fields

Modifier and Type	Field and Description
static javafx.scene.paint.Color	COLOR_CONCEPT
static javafx.scene.paint.Color	COLOR_INTERVAL
static javafx.scene.paint.Color	COLOR_LOWER
static javafx.scene.paint.Color	COLOR_UNCOMPARABLE
static javafx.scene.paint.Color	COLOR_UPPER
boolean	highlightLock
ConceptGraph.HighlightRequests	highlightRequests

Fields inherited from class conexp.fx.gui.graph.Graph

back, COLOR_DEFAULT, COLOR_LABEL_DEFAULT, controller, edges, front, pan, speed, textSize, transformation, vertices, zoom

Fields inherited from class javafx.scene.layout.Region

USE_COMPUTED_SIZE, USE_PREF_SIZE

Fields inherited from class javafx.scene.Node

BASELINE_OFFSET_SAME_AS_HEIGHT

Constructor Summary

Constructors

Constructor and Description
ConceptGraph(FCADataset<G,M> fcaInstance)
ConceptGraph(FCADataset<G,M> fcaInstance, ConceptLayout<G,M,?> layout)

Method Summary

Modifier and Type	Method and Description
protected void	drawPolarBottom(Graph.Config c, javafx.animation.Timeline t)
protected javafx.geometry.BoundingBox	getContentBoundingBox()
void	highlight(boolean fadeComplement, Iterable<Graph.HighlightRequest>... requests)
protected void	initPolarBottom(Graph.Config c, javafx.animation.Timeline t)
boolean	polar()
void	removeContent()
protected void	resetPolarBottom(Graph.Config c, javafx.animation.Timeline t)
boolean	threeDimensions()

Methods inherited from class conexp.fx.gui.graph.Graph

lowerEdges, upperEdges

Methods inherited from class javafx.scene.layout.BorderPane

bottomProperty, centerProperty, clearConstraints, computeMinHeight, computeMinWidth, computePrefHeight, computePrefWidth, getAlignment, getBottom, getCenter, getContentBias, getLeft, getMargin, getRight, getTop, layoutChildren, leftProperty, rightProperty, setAlignment, setBottom, setCenter, setLeft, setMargin, setRight, setTop, topProperty

Methods inherited from class javafx.scene.layout.Pane

getChildren

Methods inherited from class javafx.scene.layout.Region

backgroundProperty, borderProperty, cacheShapeProperty, centerShapeProperty, computeMaxHeight, computeMaxWidth, getBackground, getBorder, getClassCssMetaData, getCssMetaData, getHeight, getInsets, getMaxHeight, getMaxWidth, getMinHeight, getMinWidth, getOpaqueInsets, getPadding, getPrefHeight, getPrefWidth, getShape, getUserAgentStylesheet, getWidth, heightProperty, impl_computeContains, impl_computeGeomBounds, impl_computeLayoutBounds, impl_createPeer, impl_notifyLayoutBoundsChanged, impl_pickNodeLocal, impl_updatePeer, insetsProperty, isCacheShape, isCenterShape, isResizable, isScaleShape, isSnapToPixel, layoutInArea, layoutInArea, layoutInArea, layoutInArea, maxHeight, maxHeightProperty, maxWidth, maxWidthProperty, minHeight, minHeightProperty, minWidth, minWidthProperty, opaqueInsetsProperty, paddingProperty, positionInArea, positionInArea, prefHeight, prefHeightProperty, prefWidth, prefWidthProperty, resize, scaleShapeProperty, setBackground, setBorder, setCacheShape, setCenterShape, setHeight, setMaxHeight, setMaxSize, setMaxWidth, setMinHeight, setMinSize, setMinWidth, setOpaqueInsets, setPadding, setPrefHeight, setPrefSize, setPrefWidth, setScaleShape, setShape, setSnapToPixel, setWidth, shapeProperty, snappedBottomInset, snappedLeftInset, snappedRightInset, snappedTopInset, snapPosition, snapSize, snapSpace, snapToPixelProperty, widthProperty

Methods inherited from class javafx.scene.Parent

getBaselineOffset, getChildrenUnmodifiable, getImpl_traversalEngine, getManagedChildren, getStylesheets, impl_getAllParentStylesheets, impl_processCSS, impl_processMXNode, impl_traversalEngineProperty, isNeedsLayout, layout, lookup, needsLayoutProperty, queryAccessibleAttribute, requestLayout, requestParentLayout, setImpl_traversalEngine, setNeedsLayout, updateBounds

Methods inherited from class javafx.scene.Node

accessibleHelpProperty, accessibleRoleDescriptionProperty, accessibleRoleProperty, accessibleTextProperty, addEventFilter, addEventHandler, applyCss, autosize, blendModeProperty, boundsInLocalProperty, boundsInParentProperty, buildEventDispatchChain, cacheHintProperty, cacheProperty, clipProperty, computeAreaInScreen, contains, contains, containsBounds, cursorProperty, depthTestProperty, disabledProperty, disableProperty, effectiveNodeOrientationProperty, effectProperty, eventDispatcherProperty, executeAccessibleAction, fireEvent, focusedProperty, focusTraversableProperty, getAccessibleHelp, getAccessibleRole, getAccessibleRoleDescription, getAccessibleText, getBlendMode, getBoundsInLocal, getBoundsInParent, getCacheHint, getClip, getCursor, getDepthTest, getEffect, getEffectiveNodeOrientation, getEventDispatcher, getId, getInputMethodRequests, getLayoutBounds, getLayoutX, getLayoutY, getLocalToParentTransform, getLocalToSceneTransform, getNodeOrientation, getOnContextMenuRequested, getOnDragDetected, getOnDragDone, getOnDragDropped, getOnDragEntered, getOnDragExited, getOnDragOver, getOnInputMethodTextChanged, getOnKeyPressed, getOnKeyReleased, getOnKeyTyped, getOnMouseClicked, getOnMouseDragEntered, getOnMouseDragExited, getOnMouseDragged, getOnMouseDragOver, getOnMouseDragReleased, getOnMouseEntered, getOnMouseExited, getOnMouseMoved, getOnMousePressed, getOnMouseReleased, getOnRotate, getOnRotationFinished, getOnRotationStarted, getOnScroll, getOnScrollFinished, getOnScrollStarted, getOnSwipeDown, getOnSwipeLeft, getOnSwipeRight, getOnSwipeUp, getOnTouchMoved, getOnTouchPressed, getOnTouchReleased, getOnTouchStationary, getOnZoom, getOnZoomFinished, getOnZoomStarted, getOpacity, getParent, getProperties, getPseudoClassStates, getRotate, getRotationAxis, getScaleX, getScaleY, getScaleZ, getScene, getStyle, getStyleableParent, getStyleClass, getTransforms, getTranslateX, getTranslateY, getTranslateZ, getTypeSelector, getUserData, hasProperties, hoverProperty, idProperty, impl_clearDirty, impl_computeIntersects, impl_cssGetCursorInitialValue, impl_cssGetFocusTraversableInitialValue, impl_findStyles, impl_geomChanged, impl_getLeafTransform, impl_getMatchingStyles, impl_getPeer, impl_getPivotX, impl_getPivotY, impl_getPivotZ, impl_getStyleMap, impl_hasTransforms, impl_intersects, impl_intersectsBounds, impl_isDirty, impl_isDirtyEmpty, impl_isShowMnemonics, impl_isTreeVisible, impl_layoutBoundsChanged, impl_markDirty, impl_pickNode, impl_processCSS, impl_reapplyCSS, impl_setShowMnemonics, impl_setStyleMap, impl_showMnemonicsProperty, impl_syncPeer, impl_transformsChanged, impl_traverse, impl_treeVisibleProperty, inputMethodRequestsProperty, intersects, intersects, isCache, isDisable, isDisabled, isFocused, isFocusTraversable, isHover, isManaged, isMouseTransparent, isPickOnBounds, isPressed, isVisible, layoutBoundsProperty, layoutXProperty, layoutYProperty, localToParent, localToParent, localToParent, localToParent, localToParent, localToParentTransformProperty, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToSceneTransformProperty, localToScreen, localToScreen, localToScreen, localToScreen, localToScreen, lookupAll, managedProperty, mouseTransparentProperty, nodeOrientationProperty, notifyAccessibleAttributeChanged, onContextMenuRequestedProperty, onDragDetectedProperty, onDragDoneProperty, onDragDroppedProperty, onDragEnteredProperty, onDragExitedProperty, onDragOverProperty, onInputMethodTextChangedProperty, onKeyPressedProperty, onKeyReleasedProperty, onKeyTypedProperty, onMouseClickedProperty, onMouseDragEnteredProperty, onMouseDragExitedProperty, onMouseDraggedProperty, onMouseDragOverProperty, onMouseDragReleasedProperty, onMouseEnteredProperty, onMouseExitedProperty, onMouseMovedProperty, onMousePressedProperty, onMouseReleasedProperty, onRotateProperty, onRotationFinishedProperty, onRotationStartedProperty, onScrollFinishedProperty, onScrollProperty, onScrollStartedProperty, onSwipeDownProperty, onSwipeLeftProperty, onSwipeRightProperty, onSwipeUpProperty, onTouchMovedProperty, onTouchPressedProperty, onTouchReleasedProperty, onTouchStationaryProperty, onZoomFinishedProperty, onZoomProperty, onZoomStartedProperty, opacityProperty, parentProperty, parentToLocal, parentToLocal, parentToLocal, parentToLocal, parentToLocal, pickOnBoundsProperty, pressedProperty, pseudoClassStateChanged, relocate, removeEventFilter, removeEventHandler, requestFocus, resizeRelocate, rotateProperty, rotationAxisProperty, scaleXProperty, scaleYProperty, scaleZProperty, sceneProperty, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, screenToLocal, screenToLocal, screenToLocal, setAccessibleHelp, setAccessibleRole, setAccessibleRoleDescription, setAccessibleText, setBlendMode, setCache, setCacheHint, setClip, setCursor, setDepthTest, setDisable, setDisabled, setEffect, setEventDispatcher, setEventHandler, setFocused, setFocusTraversable, setHover, setId, setInputMethodRequests, setLayoutX, setLayoutY, setManaged, setMouseTransparent, setNodeOrientation, setOnContextMenuRequested, setOnDragDetected, setOnDragDone, setOnDragDropped, setOnDragEntered, setOnDragExited, setOnDragOver, setOnInputMethodTextChanged, setOnKeyPressed, setOnKeyReleased, setOnKeyTyped, setOnMouseClicked, setOnMouseDragEntered, setOnMouseDragExited, setOnMouseDragged, setOnMouseDragOver, setOnMouseDragReleased, setOnMouseEntered, setOnMouseExited, setOnMouseMoved, setOnMousePressed, setOnMouseReleased, setOnRotate, setOnRotationFinished, setOnRotationStarted, setOnScroll, setOnScrollFinished, setOnScrollStarted, setOnSwipeDown, setOnSwipeLeft, setOnSwipeRight, setOnSwipeUp, setOnTouchMoved, setOnTouchPressed, setOnTouchReleased, setOnTouchStationary, setOnZoom, setOnZoomFinished, setOnZoomStarted, setOpacity, setPickOnBounds, setPressed, setRotate, setRotationAxis, setScaleX, setScaleY, setScaleZ, setStyle, setTranslateX, setTranslateY, setTranslateZ, setUserData, setVisible, snapshot, snapshot, startDragAndDrop, startFullDrag, styleProperty, toBack, toFront, toString, translateXProperty, translateYProperty, translateZProperty, usesMirroring, visibleProperty

Methods inherited from class java.lang.Object

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

Field Detail

COLOR_CONCEPT

public static final javafx.scene.paint.Color COLOR_CONCEPT

COLOR_INTERVAL

public static final javafx.scene.paint.Color COLOR_INTERVAL

COLOR_LOWER

public static final javafx.scene.paint.Color COLOR_LOWER

COLOR_UPPER

public static final javafx.scene.paint.Color COLOR_UPPER

COLOR_UNCOMPARABLE

public static final javafx.scene.paint.Color COLOR_UNCOMPARABLE

highlightRequests

public final ConceptGraph.HighlightRequests highlightRequests

highlightLock

public boolean highlightLock

Constructor Detail

ConceptGraph

public ConceptGraph(FCADataset<G,M> fcaInstance,
                    ConceptLayout<G,M,?> layout)

ConceptGraph

public ConceptGraph(FCADataset<G,M> fcaInstance)

Method Detail

getContentBoundingBox

protected final javafx.geometry.BoundingBox getContentBoundingBox()

Specified by:

getContentBoundingBox in class Graph<Concept<G,M>,javafx.scene.shape.Circle>

initPolarBottom

protected final void initPolarBottom(Graph.Config c,
                                     javafx.animation.Timeline t)

Specified by:

initPolarBottom in class Graph<Concept<G,M>,javafx.scene.shape.Circle>

drawPolarBottom

protected final void drawPolarBottom(Graph.Config c,
                                     javafx.animation.Timeline t)

Specified by:

drawPolarBottom in class Graph<Concept<G,M>,javafx.scene.shape.Circle>

resetPolarBottom

protected final void resetPolarBottom(Graph.Config c,
                                      javafx.animation.Timeline t)

Specified by:

resetPolarBottom in class Graph<Concept<G,M>,javafx.scene.shape.Circle>

highlight

@SafeVarargs
public final void highlight(boolean fadeComplement,
                                         Iterable<Graph.HighlightRequest>... requests)

Specified by:

highlight in class Graph<Concept<G,M>,javafx.scene.shape.Circle>

threeDimensions

public final boolean threeDimensions()

polar

public final boolean polar()

removeContent

public void removeContent()

Overrides:

removeContent in class Graph<Concept<G,M>,javafx.scene.shape.Circle>