ide-plp/it.unibo.tuprolog.ui.gui/PLPSolutionView/HaltViewPLP

HaltViewPLP

class HaltViewPLP(solution: Solution.Halt) : PLPSolutionView<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; either way the probability label is left blank and the BDD button hidden, since a halted computation carries neither a probability nor a diagram.

Constructors

HaltViewPLP

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?

btnShowBinaryDecisionDiagram

lateinit var btnShowBinaryDecisionDiagram: Button

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

probability

lateinit var probability: Label

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?>?

substitutions

lateinit var substitutions: VBox

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?>?>?

onShowBinaryDecisionDiagramPressed

fun onShowBinaryDecisionDiagramPressed()

Opens a modal Alert dialog showing this solution's it.unibo.tuprolog.solve.binaryDecisionDiagram, rendered as Graphviz DOT source inside a GraphRenderView; a no-op if the solution has no diagram attached. Invoked when btnShowBinaryDecisionDiagram is pressed on a YesViewPLP.