it.unibo.tuprolog.ui.gui

package it.unibo.tuprolog.ui.gui

Classes

Name Description
class AssignmentView: Any
data class CustomTab: Any
class FileTabView: Any
class LibraryView: Any
class ListCellView<T : Any> : Any
class ModelConfigurator
sealed class SolutionView<T, S : Solution> : Any
data class SolverEvent<T> : ExecutionContextAware, Any
class SyntaxColoring: Any
class TuPrologIDEApplication: Any
data class TuPrologIDEBuilder: Any

NOTE (customTabs: If a CustomTab.tab has a Tab.id that is already existing in the IDE, it substitutes the existing Tab instead of being added to the tab list.

class TuPrologIDEController: Any
interface TuPrologIDEModel: Any

Typealiases

Name Description
typealias ModelConfigurator = Function1

Fields

Name Description
val JAVA_KEYWORDS_LIGHT: String
val JAVA_KEYWORDS_DARK: String
val LIGHT_CODE_AREA: String
val DARK_CODE_AREA: String
val TUPROLOG_LOGO: Image

Methods

or

infix fun Regex.or(other: Regex): Regex

Receiver

Name Description
Regex

Parameters

Name Description
other: Regex

ReturnValue

Name Description
Regex

and

infix fun Regex.and(other: Regex): Regex

Receiver

Name Description
Regex

Parameters

Name Description
other: Regex

ReturnValue

Name Description
Regex

anyOf

fun anyOf(vararg regexps: Regex): Regex

Parameters

Name Description
vararg regexps: Regex

ReturnValue

Name Description
Regex

anyOf

fun anyOf(regexps: Iterable<Regex>): Regex

Parameters

Name Description
regexps: Iterable<Regex>

ReturnValue

Name Description
Regex

anyOf

fun anyOf(regexps: Sequence<Regex>): Regex

Parameters

Name Description
regexps: Sequence<Regex>

ReturnValue

Name Description
Regex

asGroup

fun Regex.asGroup(name: String?): Regex

Receiver

Name Description
Regex

Parameters

Name Description
name: String?

ReturnValue

Name Description
Regex

wordOf

fun wordOf(pattern: String): Regex

Parameters

Name Description
pattern: String

ReturnValue

Name Description
Regex

wordify

fun wordify(pattern: String): String

Parameters

Name Description
pattern: String

ReturnValue

Name Description
String

asWord

fun Regex.asWord(): Regex

Receiver

Name Description
Regex

ReturnValue

Name Description
Regex