Package-level declarations

An HBox rendering a single variable/value binding (variable = value, formatted via formatter) as used by SolutionView.YesView to list a it.unibo.tuprolog.solve.Solution.Yes's substitution.

A user-defined tab to be added to the tuProlog IDE's side tab pane (see TuPrologIDEBuilder.customTab), paired with a modelConfigurator that is invoked once, when the IDE starts, to let the tab hook itself up to the IDE's TuPrologIDEModel (e.g. subscribing to solver events, or loading extra libraries).

A Tab hosting a RichTextFX CodeArea editor for a single Prolog file, as added to the IDE's file tab pane by TuPrologIDEController whenever TuPrologIDEModel.onFileLoaded fires. It keeps the model's in-memory copy of the file (see TuPrologIDEModel.setFile) in sync with the editor's text on every keystroke, applies SyntaxColoring to the editor, and forwards caret/keyboard events to ideController so the status bar can be updated.

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.

A ListCell that delegates rendering to viewGenerator, turning any ListView<T> into a view of arbitrary Nodes instead of plain text; used e.g. for the solutions list (rendered via SolutionView.of) and the warnings list.

A callback given a chance to configure a TuPrologIDEModel right after it is created, e.g. to load extra libraries via TuPrologIDEModel.customizeSolver or to pre-populate TuPrologIDEModel.query. Used by TuPrologIDEBuilder.customTab to let a CustomTab wire itself to the IDE's model, and by TuPrologIDEController.customizeModel.

A VBox rendering one it.unibo.tuprolog.solve.Solution as shown in the IDE's solutions list, colored by a "led" Circle (COLOR_YES/COLOR_NO/COLOR_HALT/COLOR_TIMEOUT): a substitution list for Solution.Yes (via AssignmentView), a plain "no" for Solution.No, and either a timeout notice or the exception message plus logic stack trace for Solution.Halt. Use of to build the right concrete subclass for a given solution.

The payload published by every onXxx org.reactfx.EventStream of TuPrologIDEModel: it couples a domain-specific event (e.g. a it.unibo.tuprolog.solve.Solution, a resolution counter, the current goal) with a snapshot of the solver's ExecutionContextAware state (unificator, operators, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) taken at the time the event fired.

Regex-based Prolog syntax highlighter for a RichTextFX CodeArea, as used by FileTabView for the editor pane.

Standalone JavaFX launcher for the tuProlog IDE: it shows the default TuPrologIDEBuilder configuration on the primary Stage and terminates the JVM when the window closes. Embed the IDE into a bigger application by using TuPrologIDEBuilder directly instead of this class.

Fluent entry point for embedding the tuProlog IDE window into a host JavaFX javafx.application.Application: build one (typically as TuPrologIDEBuilder(stage)), customize it via the title/icon/onClose/onAbout/ stylesheets/customLibrar(y|ies)/customTab(s) fluent setters, then call show to load the FXML view, wire it to a fresh TuPrologIDEModel (via TuPrologIDEController), and display stage.

The FXML controller (TuPrologIDEView.fxml) backing the main tuProlog IDE window: it owns a private TuPrologIDEModel (created via TuPrologIDEModel.of) and, in initialize, subscribes to every one of its onXxx event streams to keep the file tabs, solutions list, stdout/stderr panes, operators/flags/libraries tables, and static/dynamic knowledge base views up to date; conversely, every @FXML-annotated method reacts to a widget event by calling into the model (e.g. onNextButtonPressed calls TuPrologIDEModel.solve/ TuPrologIDEModel.next). It implements the model/view separation described in TuPrologIDEModel's KDoc.

The model layer of the tuProlog IDE: it owns the it.unibo.tuprolog.solve.Solver driving the GUI, the set of open in-memory files (a file is just an in-memory String associated to a File handle until saveFile is called), the currently selected query, and the resolution state machine (TuPrologIDEModel.State.IDLE ->TuPrologIDEModel.State.COMPUTING ->TuPrologIDEModel.State.SOLUTION -> ...).

External-form URL of the dark-theme code-editor stylesheet.

External-form URL of the dark-theme keyword/syntax-highlighting stylesheet.

External-form URL of the light-theme keyword/syntax-highlighting stylesheet (matches SyntaxColoring's style classes).

External-form URL of the light-theme code-editor stylesheet (fonts, background, line numbers, ...).

The tuProlog logo image, used as the default TuPrologIDEBuilder.icon and in the default "about" dialog.

The concatenation of the two patterns (this immediately followed by other).

See anyOf.

A regex matching whatever any of regexps matches (their patterns joined by |).

Wraps this pattern in a capturing group, named name if given (as a Java (?<name>...) named group), otherwise anonymous. Named groups are how SyntaxColoring tells which token kind matched.

Shorthand for wordOf(pattern).

Small regex-composition helpers used by SyntaxColoring to build its combined token-matching pattern out of smaller, independently readable regexes.

Wraps pattern so it only matches at word boundaries, e.g. so "is" does not match inside "this".

A regex matching pattern only when it occurs as a whole word (bounded by \b or string start/end); see wordify.