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

TuPrologIDEApplication

class TuPrologIDEApplication : Application

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.

Constructors

TuPrologIDEApplication

constructor()

Types

object Companion

Properties

val hostServices: HostServices?

val parameters: Application.Parameters?

Functions

open fun init()

notifyPreloader

fun notifyPreloader(p0: Preloader.PreloaderNotification?)

open override fun start(stage: Stage)

Builds and shows the default TuPrologIDEBuilder on stage.

open override fun stop()

Terminates the JVM (with exit code 0) once the JavaFX application stops.