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
Parameters
| Name | Description |
|---|---|
regexps: Sequence
|
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
|