conexp.fx.gui.context

Class MatrixContextWidget<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.context.MatrixContextWidget<G,M>

All Implemented Interfaces:

javafx.css.Styleable, javafx.event.EventTarget

public class MatrixContextWidget<G,M>
extends javafx.scene.layout.BorderPane

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	MatrixContextWidget.ColHeaderCell
class	MatrixContextWidget.ColHeaderPane
class	MatrixContextWidget.ContextCell
class	MatrixContextWidget.ContextPane
class	MatrixContextWidget.RowHeaderCell
class	MatrixContextWidget.RowHeaderPane

Field Summary

Fields

Modifier and Type	Field and Description
javafx.beans.property.BooleanProperty	animate
javafx.beans.binding.IntegerBinding	cellSize
javafx.beans.property.IntegerProperty	cellSizeDefault
protected javafx.scene.layout.GridPane	centerPane
MatrixContextWidget.ColHeaderPane	colHeaderPane
javafx.beans.property.IntegerProperty	colHeaderSizeDefault
protected javafx.scene.control.ScrollBar	colScrollBar
protected MatrixContext<G,M>	context
MatrixContextWidget.ContextPane	contextPane
protected FCADataset<G,M>	dataset
javafx.beans.binding.DoubleBinding	height
javafx.scene.control.ToggleButton	highlightToggleButton
javafx.beans.binding.IntegerBinding	incidenceSize
javafx.beans.property.IntegerProperty	incidenceSizeDefault
MatrixContextWidget.RowHeaderPane	rowHeaderPane
javafx.beans.property.IntegerProperty	rowHeaderSizeDefault
protected javafx.scene.control.ScrollBar	rowScrollBar
javafx.beans.property.BooleanProperty	showArrows
javafx.beans.property.BooleanProperty	showPaths
javafx.beans.binding.IntegerBinding	textSize
javafx.beans.property.IntegerProperty	textSizeDefault
javafx.beans.property.DoubleProperty	zoomFactor
javafx.scene.control.Slider	zoomSlider

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
MatrixContextWidget(FCADataset<G,M> fcaInstance)
MatrixContextWidget(FCADataset<G,M> dataset, boolean withToolbar, boolean interactive, MatrixContext<G,M>... orContext)
MatrixContextWidget(FCADataset<G,M> dataset, boolean withToolbar, MatrixContext<G,M>... orContext)

Method Summary

Modifier and Type	Method and Description
void	addRowDecoration(G row, javafx.scene.Node decoration)
void	dehighlight()
void	highlight(Concept<G,M> concept)
void	highlightImplication(de.tudresden.inf.tcs.fcalib.Implication<M> implication)
protected void	update()

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

dataset

protected final FCADataset<G,M> dataset

context

protected final MatrixContext<G,M> context

centerPane

protected final javafx.scene.layout.GridPane centerPane

rowHeaderPane

public final MatrixContextWidget.RowHeaderPane rowHeaderPane

colHeaderPane

public final MatrixContextWidget.ColHeaderPane colHeaderPane

contextPane

public final MatrixContextWidget.ContextPane contextPane

rowScrollBar

protected final javafx.scene.control.ScrollBar rowScrollBar

colScrollBar

protected final javafx.scene.control.ScrollBar colScrollBar

zoomSlider

public final javafx.scene.control.Slider zoomSlider

zoomFactor

public final javafx.beans.property.DoubleProperty zoomFactor

rowHeaderSizeDefault

public final javafx.beans.property.IntegerProperty rowHeaderSizeDefault

colHeaderSizeDefault

public final javafx.beans.property.IntegerProperty colHeaderSizeDefault

cellSizeDefault

public final javafx.beans.property.IntegerProperty cellSizeDefault

textSizeDefault

public final javafx.beans.property.IntegerProperty textSizeDefault

incidenceSizeDefault

public final javafx.beans.property.IntegerProperty incidenceSizeDefault

cellSize

public final javafx.beans.binding.IntegerBinding cellSize

textSize

public final javafx.beans.binding.IntegerBinding textSize

incidenceSize

public final javafx.beans.binding.IntegerBinding incidenceSize

animate

public final javafx.beans.property.BooleanProperty animate

showArrows

public final javafx.beans.property.BooleanProperty showArrows

showPaths

public final javafx.beans.property.BooleanProperty showPaths

highlightToggleButton

public final javafx.scene.control.ToggleButton highlightToggleButton

height

public final javafx.beans.binding.DoubleBinding height

Constructor Detail

MatrixContextWidget

public MatrixContextWidget(FCADataset<G,M> fcaInstance)

MatrixContextWidget

@SafeVarargs
public MatrixContextWidget(FCADataset<G,M> dataset,
                                        boolean withToolbar,
                                        MatrixContext<G,M>... orContext)

Parameters:

dataset -

withToolbar -

orContext - may only be set if fcaInstance is null, otherwise unexpected behaviour may occur.

MatrixContextWidget

@SafeVarargs
public MatrixContextWidget(FCADataset<G,M> dataset,
                                        boolean withToolbar,
                                        boolean interactive,
                                        MatrixContext<G,M>... orContext)

Method Detail

update

protected final void update()

dehighlight

public final void dehighlight()

highlight

public final void highlight(Concept<G,M> concept)

highlightImplication

public final void highlightImplication(de.tudresden.inf.tcs.fcalib.Implication<M> implication)

addRowDecoration

public final void addRowDecoration(G row,
                                   javafx.scene.Node decoration)