ide/it.unibo.tuprolog.ui.gui/SolutionView/HaltView

HaltView

class HaltView(solution: Solution.Halt) : SolutionView<String, Solution.Halt>

Renders a Solution.Halt: a plain "timeout." notice if Solution.Halt.exception is a it.unibo.tuprolog.solve.exception.TimeOutException, otherwise the exception message followed by one label per frame of it.unibo.tuprolog.solve.exception.ResolutionException.logicStackTrace.

Constructors

HaltView

constructor(solution: Solution.Halt)

Properties

accessibleHelp

var accessibleHelp: String?

accessibleRole

var accessibleRole: AccessibleRole?

accessibleRoleDescription

var accessibleRoleDescription: String?

accessibleText

var accessibleText: String?

alignment

var alignment: Pos?

background

var background: Background?

baselineOffset

open val baselineOffset: Double

blendMode

var blendMode: BlendMode?

border

var border: Border?

boundsInLocal

val boundsInLocal: Bounds?

boundsInParent

val boundsInParent: Bounds?

cacheHint

var cacheHint: CacheHint?

children

open val children: ObservableList<Node?>?

childrenUnmodifiable

open val childrenUnmodifiable: ObservableList<Node?>?

clip

var clip: Node?

contentBias

open val contentBias: Orientation?

cssMetaData

open val cssMetaData: List<CssMetaData<out Styleable?, *>?>?

cursor

var cursor: Cursor?

depthTest

var depthTest: DepthTest?

effect

var effect: Effect?

effectiveNodeOrientation

val effectiveNodeOrientation: NodeOrientation?

eventDispatcher

var eventDispatcher: EventDispatcher?

height

var height: Double

var id: String?

inputMethodRequests

var inputMethodRequests: InputMethodRequests?

insets

val insets: Insets?

isCache

var isCache: Boolean

isCacheShape

var isCacheShape: Boolean

isCenterShape

var isCenterShape: Boolean

isDisable

var isDisable: Boolean

isDisabled

var isDisabled: Boolean

isFillWidth

var isFillWidth: Boolean

isFocused

var isFocused: Boolean

isFocusTraversable

var isFocusTraversable: Boolean

isFocusVisible

val isFocusVisible: Boolean

isFocusWithin

val isFocusWithin: Boolean

isHover

var isHover: Boolean

isManaged

var isManaged: Boolean

isMouseTransparent

var isMouseTransparent: Boolean

isNeedsLayout

var isNeedsLayout: Boolean

isPickOnBounds

var isPickOnBounds: Boolean

isPressed

var isPressed: Boolean

isResizable

open val isResizable: Boolean

isScaleShape

var isScaleShape: Boolean

isSnapToPixel

var isSnapToPixel: Boolean

isVisible

var isVisible: Boolean

layoutBounds

val layoutBounds: Bounds?

layoutX

var layoutX: Double

layoutY

var layoutY: Double

led

lateinit var led: Circle

localToParentTransform

val localToParentTransform: Transform?

localToSceneTransform

val localToSceneTransform: Transform?

maxHeight

var maxHeight: Double

maxWidth

var maxWidth: Double

minHeight

var minHeight: Double

minWidth

var minWidth: Double

nodeOrientation

var nodeOrientation: NodeOrientation?

onContextMenuRequested

var onContextMenuRequested: EventHandler<in ContextMenuEvent?>?

onDragDetected

var onDragDetected: EventHandler<in MouseEvent?>?

onDragDone

var onDragDone: EventHandler<in DragEvent?>?

onDragDropped

var onDragDropped: EventHandler<in DragEvent?>?

onDragEntered

var onDragEntered: EventHandler<in DragEvent?>?

onDragExited

var onDragExited: EventHandler<in DragEvent?>?

onDragOver

var onDragOver: EventHandler<in DragEvent?>?

onInputMethodTextChanged

var onInputMethodTextChanged: EventHandler<in InputMethodEvent?>?

onKeyPressed

var onKeyPressed: EventHandler<in KeyEvent?>?

onKeyReleased

var onKeyReleased: EventHandler<in KeyEvent?>?

onKeyTyped

var onKeyTyped: EventHandler<in KeyEvent?>?

onMouseClicked

var onMouseClicked: EventHandler<in MouseEvent?>?

onMouseDragEntered

var onMouseDragEntered: EventHandler<in MouseDragEvent?>?

onMouseDragExited

var onMouseDragExited: EventHandler<in MouseDragEvent?>?

onMouseDragged

var onMouseDragged: EventHandler<in MouseEvent?>?

onMouseDragOver

var onMouseDragOver: EventHandler<in MouseDragEvent?>?

onMouseDragReleased

var onMouseDragReleased: EventHandler<in MouseDragEvent?>?

onMouseEntered

var onMouseEntered: EventHandler<in MouseEvent?>?

onMouseExited

var onMouseExited: EventHandler<in MouseEvent?>?

onMouseMoved

var onMouseMoved: EventHandler<in MouseEvent?>?

onMousePressed

var onMousePressed: EventHandler<in MouseEvent?>?

onMouseReleased

var onMouseReleased: EventHandler<in MouseEvent?>?

onRotate

var onRotate: EventHandler<in RotateEvent?>?

onRotationFinished

var onRotationFinished: EventHandler<in RotateEvent?>?

onRotationStarted

var onRotationStarted: EventHandler<in RotateEvent?>?

onScroll

var onScroll: EventHandler<in ScrollEvent?>?

onScrollFinished

var onScrollFinished: EventHandler<in ScrollEvent?>?

onScrollStarted

var onScrollStarted: EventHandler<in ScrollEvent?>?

onSwipeDown

var onSwipeDown: EventHandler<in SwipeEvent?>?

onSwipeLeft

var onSwipeLeft: EventHandler<in SwipeEvent?>?

onSwipeRight

var onSwipeRight: EventHandler<in SwipeEvent?>?

onSwipeUp

var onSwipeUp: EventHandler<in SwipeEvent?>?

onTouchMoved

var onTouchMoved: EventHandler<in TouchEvent?>?

onTouchPressed

var onTouchPressed: EventHandler<in TouchEvent?>?

onTouchReleased

var onTouchReleased: EventHandler<in TouchEvent?>?

onTouchStationary

var onTouchStationary: EventHandler<in TouchEvent?>?

onZoom

var onZoom: EventHandler<in ZoomEvent?>?

onZoomFinished

var onZoomFinished: EventHandler<in ZoomEvent?>?

onZoomStarted

var onZoomStarted: EventHandler<in ZoomEvent?>?

opacity

var opacity: Double

opaqueInsets

var opaqueInsets: Insets?

padding

var padding: Insets?

parent

var parent: Parent?

prefHeight

var prefHeight: Double

prefWidth

var prefWidth: Double

properties

val properties: ObservableMap<Any?, Any?>?

pseudoClassStates

val pseudoClassStates: ObservableSet<PseudoClass?>?

query

lateinit var query: Label

rotate

var rotate: Double

rotationAxis

var rotationAxis: Point3D?

var scaleX: Double

var scaleY: Double

var scaleZ: Double

val scene: Scene?

var shape: Shape?

var spacing: Double

lateinit var status: Label

style

var style: String?

styleableNode

open val styleableNode: Node?

styleableParent

open val styleableParent: Styleable?

styleClass

val styleClass: ObservableList<String?>?

stylesheets

val stylesheets: ObservableList<String?>?

transforms

val transforms: ObservableList<Transform?>?

translateX

var translateX: Double

translateY

var translateY: Double

translateZ

var translateZ: Double

typeSelector

open val typeSelector: String?

userAgentStylesheet

open val userAgentStylesheet: String?

userData

open var userData: Any?

viewOrder

var viewOrder: Double

width

var width: Double

Functions

accessibleHelpProperty

fun accessibleHelpProperty(): ObjectProperty<String?>?

accessibleRoleDescriptionProperty

fun accessibleRoleDescriptionProperty(): ObjectProperty<String?>?

accessibleRoleProperty

fun accessibleRoleProperty(): ObjectProperty<AccessibleRole?>?

accessibleTextProperty

fun accessibleTextProperty(): ObjectProperty<String?>?

addEventFilter

fun <T : Event?> addEventFilter(p0: EventType<T?>?, p1: EventHandler<in T?>?)

addEventHandler

fun <T : Event?> addEventHandler(p0: EventType<T?>?, p1: EventHandler<in T?>?)

alignmentProperty

fun alignmentProperty(): ObjectProperty<Pos?>?

applyCss

fun applyCss()

autosize

fun autosize()

backgroundProperty

fun backgroundProperty(): ObjectProperty<Background?>?

blendModeProperty

fun blendModeProperty(): ObjectProperty<BlendMode?>?

borderProperty

fun borderProperty(): ObjectProperty<Border?>?

boundsInLocalProperty

fun boundsInLocalProperty(): ReadOnlyObjectProperty<Bounds?>?

boundsInParentProperty

fun boundsInParentProperty(): ReadOnlyObjectProperty<Bounds?>?

buildEventDispatchChain

open fun buildEventDispatchChain(p0: EventDispatchChain?): EventDispatchChain?

cacheHintProperty

fun cacheHintProperty(): ObjectProperty<CacheHint?>?

cacheProperty

fun cacheProperty(): BooleanProperty?

cacheShapeProperty

fun cacheShapeProperty(): BooleanProperty?

centerShapeProperty

fun centerShapeProperty(): BooleanProperty?

clipProperty

fun clipProperty(): ObjectProperty<Node?>?

computeAreaInScreen

open fun computeAreaInScreen(): Double

contains

open operator fun contains(p0: Point2D?): Boolean

open fun contains(p0: Double, p1: Double): Boolean

cursorProperty

fun cursorProperty(): ObjectProperty<Cursor?>?

depthTestProperty

fun depthTestProperty(): ObjectProperty<DepthTest?>?

disabledProperty

fun disabledProperty(): ReadOnlyBooleanProperty?

disableProperty

fun disableProperty(): BooleanProperty?

effectiveNodeOrientationProperty

fun effectiveNodeOrientationProperty(): ReadOnlyObjectProperty<NodeOrientation?>?

effectProperty

fun effectProperty(): ObjectProperty<Effect?>?

eventDispatcherProperty

fun eventDispatcherProperty(): ObjectProperty<EventDispatcher?>?

executeAccessibleAction

open fun executeAccessibleAction(p0: AccessibleAction?, vararg p1: Any?)

fillWidthProperty

fun fillWidthProperty(): BooleanProperty?

fireEvent

fun fireEvent(p0: Event?)

focusedProperty

fun focusedProperty(): ReadOnlyBooleanProperty?

focusTraversableProperty

fun focusTraversableProperty(): BooleanProperty?

focusVisibleProperty

fun focusVisibleProperty(): ReadOnlyBooleanProperty?

focusWithinProperty

fun focusWithinProperty(): ReadOnlyBooleanProperty?

hasProperties

open fun hasProperties(): Boolean

heightProperty

fun heightProperty(): ReadOnlyDoubleProperty?

hoverProperty

fun hoverProperty(): ReadOnlyBooleanProperty?

idProperty

fun idProperty(): StringProperty?

inputMethodRequestsProperty

fun inputMethodRequestsProperty(): ObjectProperty<InputMethodRequests?>?

insetsProperty

fun insetsProperty(): ReadOnlyObjectProperty<Insets?>?

intersects

open fun intersects(p0: Bounds?): Boolean

open fun intersects(p0: Double, p1: Double, p2: Double, p3: Double): Boolean

layout

fun layout()

layoutBoundsProperty

fun layoutBoundsProperty(): ReadOnlyObjectProperty<Bounds?>?

layoutXProperty

fun layoutXProperty(): DoubleProperty?

layoutYProperty

fun layoutYProperty(): DoubleProperty?

localToParent

open fun localToParent(p0: Bounds?): Bounds?

open fun localToParent(p0: Point2D?): Point2D?

open fun localToParent(p0: Point3D?): Point3D?

open fun localToParent(p0: Double, p1: Double): Point2D?

open fun localToParent(p0: Double, p1: Double, p2: Double): Point3D?

localToParentTransformProperty

fun localToParentTransformProperty(): ReadOnlyObjectProperty<Transform?>?

localToScene

open fun localToScene(p0: Bounds?): Bounds?

open fun localToScene(p0: Point2D?): Point2D?

open fun localToScene(p0: Point3D?): Point3D?

open fun localToScene(p0: Bounds?, p1: Boolean): Bounds?

open fun localToScene(p0: Point2D?, p1: Boolean): Point2D?

open fun localToScene(p0: Point3D?, p1: Boolean): Point3D?

open fun localToScene(p0: Double, p1: Double): Point2D?

open fun localToScene(p0: Double, p1: Double, p2: Boolean): Point2D?

open fun localToScene(p0: Double, p1: Double, p2: Double): Point3D?

open fun localToScene(p0: Double, p1: Double, p2: Double, p3: Boolean): Point3D?

localToSceneTransformProperty

fun localToSceneTransformProperty(): ReadOnlyObjectProperty<Transform?>?

localToScreen

open fun localToScreen(p0: Bounds?): Bounds?

open fun localToScreen(p0: Point2D?): Point2D?

open fun localToScreen(p0: Point3D?): Point2D?

open fun localToScreen(p0: Double, p1: Double): Point2D?

open fun localToScreen(p0: Double, p1: Double, p2: Double): Point2D?

lookup

open fun lookup(p0: String?): Node?

lookupAll

open fun lookupAll(p0: String?): Set<Node?>?

managedProperty

fun managedProperty(): BooleanProperty?

maxHeight

fun maxHeight(p0: Double): Double

maxHeightProperty

fun maxHeightProperty(): DoubleProperty?

maxWidth

fun maxWidth(p0: Double): Double

maxWidthProperty

fun maxWidthProperty(): DoubleProperty?

minHeight

fun minHeight(p0: Double): Double

minHeightProperty

fun minHeightProperty(): DoubleProperty?

minWidth

fun minWidth(p0: Double): Double

minWidthProperty

fun minWidthProperty(): DoubleProperty?

mouseTransparentProperty

fun mouseTransparentProperty(): BooleanProperty?

needsLayoutProperty

fun needsLayoutProperty(): ReadOnlyBooleanProperty?

nodeOrientationProperty

fun nodeOrientationProperty(): ObjectProperty<NodeOrientation?>?

notifyAccessibleAttributeChanged

fun notifyAccessibleAttributeChanged(p0: AccessibleAttribute?)

onContextMenuRequestedProperty

fun onContextMenuRequestedProperty(): ObjectProperty<EventHandler<in ContextMenuEvent?>?>?

onDragDetectedProperty

fun onDragDetectedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onDragDoneProperty

fun onDragDoneProperty(): ObjectProperty<EventHandler<in DragEvent?>?>?

onDragDroppedProperty

fun onDragDroppedProperty(): ObjectProperty<EventHandler<in DragEvent?>?>?

onDragEnteredProperty

fun onDragEnteredProperty(): ObjectProperty<EventHandler<in DragEvent?>?>?

onDragExitedProperty

fun onDragExitedProperty(): ObjectProperty<EventHandler<in DragEvent?>?>?

onDragOverProperty

fun onDragOverProperty(): ObjectProperty<EventHandler<in DragEvent?>?>?

onInputMethodTextChangedProperty

fun onInputMethodTextChangedProperty(): ObjectProperty<EventHandler<in InputMethodEvent?>?>?

onKeyPressedProperty

fun onKeyPressedProperty(): ObjectProperty<EventHandler<in KeyEvent?>?>?

onKeyReleasedProperty

fun onKeyReleasedProperty(): ObjectProperty<EventHandler<in KeyEvent?>?>?

onKeyTypedProperty

fun onKeyTypedProperty(): ObjectProperty<EventHandler<in KeyEvent?>?>?

onMouseClickedProperty

fun onMouseClickedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMouseDragEnteredProperty

fun onMouseDragEnteredProperty(): ObjectProperty<EventHandler<in MouseDragEvent?>?>?

onMouseDragExitedProperty

fun onMouseDragExitedProperty(): ObjectProperty<EventHandler<in MouseDragEvent?>?>?

onMouseDraggedProperty

fun onMouseDraggedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMouseDragOverProperty

fun onMouseDragOverProperty(): ObjectProperty<EventHandler<in MouseDragEvent?>?>?

onMouseDragReleasedProperty

fun onMouseDragReleasedProperty(): ObjectProperty<EventHandler<in MouseDragEvent?>?>?

onMouseEnteredProperty

fun onMouseEnteredProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMouseExitedProperty

fun onMouseExitedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMouseMovedProperty

fun onMouseMovedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMousePressedProperty

fun onMousePressedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onMouseReleasedProperty

fun onMouseReleasedProperty(): ObjectProperty<EventHandler<in MouseEvent?>?>?

onRotateProperty

fun onRotateProperty(): ObjectProperty<EventHandler<in RotateEvent?>?>?

onRotationFinishedProperty

fun onRotationFinishedProperty(): ObjectProperty<EventHandler<in RotateEvent?>?>?

onRotationStartedProperty

fun onRotationStartedProperty(): ObjectProperty<EventHandler<in RotateEvent?>?>?

onScrollFinishedProperty

fun onScrollFinishedProperty(): ObjectProperty<EventHandler<in ScrollEvent?>?>?

onScrollProperty

fun onScrollProperty(): ObjectProperty<EventHandler<in ScrollEvent?>?>?

onScrollStartedProperty

fun onScrollStartedProperty(): ObjectProperty<EventHandler<in ScrollEvent?>?>?

onSwipeDownProperty

fun onSwipeDownProperty(): ObjectProperty<EventHandler<in SwipeEvent?>?>?

onSwipeLeftProperty

fun onSwipeLeftProperty(): ObjectProperty<EventHandler<in SwipeEvent?>?>?

onSwipeRightProperty

fun onSwipeRightProperty(): ObjectProperty<EventHandler<in SwipeEvent?>?>?

onSwipeUpProperty

fun onSwipeUpProperty(): ObjectProperty<EventHandler<in SwipeEvent?>?>?

onTouchMovedProperty

fun onTouchMovedProperty(): ObjectProperty<EventHandler<in TouchEvent?>?>?

onTouchPressedProperty

fun onTouchPressedProperty(): ObjectProperty<EventHandler<in TouchEvent?>?>?

onTouchReleasedProperty

fun onTouchReleasedProperty(): ObjectProperty<EventHandler<in TouchEvent?>?>?

onTouchStationaryProperty

fun onTouchStationaryProperty(): ObjectProperty<EventHandler<in TouchEvent?>?>?

onZoomFinishedProperty

fun onZoomFinishedProperty(): ObjectProperty<EventHandler<in ZoomEvent?>?>?

onZoomProperty

fun onZoomProperty(): ObjectProperty<EventHandler<in ZoomEvent?>?>?

onZoomStartedProperty

fun onZoomStartedProperty(): ObjectProperty<EventHandler<in ZoomEvent?>?>?

opacityProperty

fun opacityProperty(): DoubleProperty?

opaqueInsetsProperty

fun opaqueInsetsProperty(): ObjectProperty<Insets?>?

paddingProperty

fun paddingProperty(): ObjectProperty<Insets?>?

parentProperty

fun parentProperty(): ReadOnlyObjectProperty<Parent?>?

parentToLocal

open fun parentToLocal(p0: Bounds?): Bounds?

open fun parentToLocal(p0: Point2D?): Point2D?

open fun parentToLocal(p0: Point3D?): Point3D?

open fun parentToLocal(p0: Double, p1: Double): Point2D?

open fun parentToLocal(p0: Double, p1: Double, p2: Double): Point3D?

pickOnBoundsProperty

fun pickOnBoundsProperty(): BooleanProperty?

prefHeight

fun prefHeight(p0: Double): Double

prefHeightProperty

fun prefHeightProperty(): DoubleProperty?

prefWidth

fun prefWidth(p0: Double): Double

prefWidthProperty

fun prefWidthProperty(): DoubleProperty?

pressedProperty

fun pressedProperty(): ReadOnlyBooleanProperty?

pseudoClassStateChanged

fun pseudoClassStateChanged(p0: PseudoClass?, p1: Boolean)

queryAccessibleAttribute

open fun queryAccessibleAttribute(p0: AccessibleAttribute?, vararg p1: Any?): Any?

relocate

open fun relocate(p0: Double, p1: Double)

removeEventFilter

fun <T : Event?> removeEventFilter(p0: EventType<T?>?, p1: EventHandler<in T?>?)

removeEventHandler

fun <T : Event?> removeEventHandler(p0: EventType<T?>?, p1: EventHandler<in T?>?)

requestFocus

open fun requestFocus()

requestLayout

open fun requestLayout()

resize

open fun resize(p0: Double, p1: Double)

resizeRelocate

open fun resizeRelocate(p0: Double, p1: Double, p2: Double, p3: Double)

rotateProperty

fun rotateProperty(): DoubleProperty?

rotationAxisProperty

fun rotationAxisProperty(): ObjectProperty<Point3D?>?

scaleShapeProperty

fun scaleShapeProperty(): BooleanProperty?

scaleXProperty

fun scaleXProperty(): DoubleProperty?

scaleYProperty

fun scaleYProperty(): DoubleProperty?

scaleZProperty

fun scaleZProperty(): DoubleProperty?

sceneProperty

fun sceneProperty(): ReadOnlyObjectProperty<Scene?>?

sceneToLocal

open fun sceneToLocal(p0: Bounds?): Bounds?

open fun sceneToLocal(p0: Point2D?): Point2D?

open fun sceneToLocal(p0: Point3D?): Point3D?

open fun sceneToLocal(p0: Bounds?, p1: Boolean): Bounds?

open fun sceneToLocal(p0: Point2D?, p1: Boolean): Point2D?

open fun sceneToLocal(p0: Double, p1: Double): Point2D?

open fun sceneToLocal(p0: Double, p1: Double, p2: Boolean): Point2D?

open fun sceneToLocal(p0: Double, p1: Double, p2: Double): Point3D?

screenToLocal

open fun screenToLocal(p0: Bounds?): Bounds?

open fun screenToLocal(p0: Point2D?): Point2D?

open fun screenToLocal(p0: Double, p1: Double): Point2D?

setMaxSize

open fun setMaxSize(p0: Double, p1: Double)

setMinSize

open fun setMinSize(p0: Double, p1: Double)

setPrefSize

open fun setPrefSize(p0: Double, p1: Double)

shapeProperty

fun shapeProperty(): ObjectProperty<Shape?>?

snappedBottomInset

fun snappedBottomInset(): Double

snappedLeftInset

fun snappedLeftInset(): Double

snappedRightInset

fun snappedRightInset(): Double

snappedTopInset

fun snappedTopInset(): Double

snapPositionX

open fun snapPositionX(p0: Double): Double

snapPositionY

open fun snapPositionY(p0: Double): Double

snapshot

open fun snapshot(p0: SnapshotParameters?, p1: WritableImage?): WritableImage?

open fun snapshot(p0: Callback<SnapshotResult?, Void?>?, p1: SnapshotParameters?, p2: WritableImage?)

snapSizeX

open fun snapSizeX(p0: Double): Double

snapSizeY

open fun snapSizeY(p0: Double): Double

snapSpaceX

open fun snapSpaceX(p0: Double): Double

snapSpaceY

open fun snapSpaceY(p0: Double): Double

snapToPixelProperty

fun snapToPixelProperty(): BooleanProperty?

spacingProperty

fun spacingProperty(): DoubleProperty?

startDragAndDrop

open fun startDragAndDrop(vararg p0: TransferMode?): Dragboard?

startFullDrag

open fun startFullDrag()

styleProperty

fun styleProperty(): StringProperty?

toBack

open fun toBack()

toFront

open fun toFront()

translateXProperty

fun translateXProperty(): DoubleProperty?

translateYProperty

fun translateYProperty(): DoubleProperty?

translateZProperty

fun translateZProperty(): DoubleProperty?

usesMirroring

open fun usesMirroring(): Boolean

viewOrderProperty

fun viewOrderProperty(): DoubleProperty?

visibleProperty

fun visibleProperty(): BooleanProperty?

widthProperty

fun widthProperty(): ReadOnlyDoubleProperty?