ide/it.unibo.tuprolog.ui.gui/LibraryView

LibraryView

class LibraryView(library: Library) : TreeItem<String>

A TreeItem rooted at Library.alias with three children ("Functions", "Predicates", "Operators") listing the indicators of library's primitives/rules, functions, and operators, respectively. Used to populate the IDE's "loaded libraries" tree whenever the solver's it.unibo.tuprolog.solve.library.Runtime changes.

Constructors

constructor(library: Library)

Properties

open override val children: ObservableList<TreeItem<String?>?>?

override var graphic: Node?

override var isExpanded: Boolean

open override var isLeaf: Boolean

override val parent: TreeItem<String?>?

override var value: String?

Functions

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

addEventHandler

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

buildEventDispatchChain

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

expandedProperty

fun expandedProperty(): BooleanProperty?

open fun getChildren(): ObservableList<TreeItem<String?>?>?

fun getParent(): TreeItem<String?>?

fun getValue(): String?

graphicProperty

fun graphicProperty(): ObjectProperty<Node?>?

fun leafProperty(): ReadOnlyBooleanProperty?

open fun nextSibling(): TreeItem<String?>?

open fun nextSibling(p0: TreeItem<String?>?): TreeItem<String?>?

fun parentProperty(): ReadOnlyObjectProperty<TreeItem<String?>?>?

previousSibling

open fun previousSibling(): TreeItem<String?>?

open fun previousSibling(p0: TreeItem<String?>?): TreeItem<String?>?

removeEventFilter

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

removeEventHandler

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

fun setValue(p0: String?)

fun valueProperty(): ObjectProperty<String?>?