it.unibo.tuprolog.argumentation.ui.gui.Arg2pIdeApplication.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ide Show documentation

A 2p-kt library for structured argumentation

The newest version!

package it.unibo.tuprolog.argumentation.ui.gui

import it.unibo.tuprolog.argumentation.actor.libs.ActorSolver
import it.unibo.tuprolog.argumentation.core.Arg2pSolver
import it.unibo.tuprolog.ui.gui.TuPrologIDEBuilder
import javafx.application.Application
import javafx.stage.Stage
import kotlin.system.exitProcess

class Arg2pIdeApplication : Application() {
    override fun start(stage: Stage) {
        try {
            val arg2p = Arg2pSolver.default(staticLibs = emptyList(), dynamicLibs = listOf(ActorSolver()))
            TuPrologIDEBuilder(stage)
                .title("Arg-tuProlog IDE")
                .customLibraries(arg2p.to2pLibraries().libraries)
                .customTabs(
                    listOf(
                        ArgumentationGraphFrame.customTab().also { it.tab.id = "arg-graph" },
                        FlagManagerFrame.customTab(arg2p.to2pLibraries().libraries.toList()).also { it.tab.id = "arg-flags" },
                    ),
                )
                .show()
        } catch (e: Throwable) {
            e.printStackTrace()
            throw Error(e)
        }
    }

    override fun stop() {
        exitProcess(0)
    }

    companion object {
        @JvmStatic
        fun main(args: Array) {
            launch(Arg2pIdeApplication::class.java)
        }
    }
}