interface TuPrologIDEModel: Any
Fields
| Name | Description |
|---|---|
abstract var solveOptions: SolveOptions
|
|
abstract state: State
|
|
abstract executor: ExecutorService
|
|
abstract currentFile: File?
|
|
abstract var query: String
|
|
abstract onReset: EventStream
|
|
abstract onQuit: EventStream
|
|
abstract onSolveOptionsChanged: EventStream
|
|
abstract onFileSelected: EventStream
|
|
abstract onFileCreated: EventStream
|
|
abstract onFileLoaded: EventStream
|
|
abstract onFileClosed: EventStream
|
|
abstract onQueryChanged: EventStream
|
|
abstract onNewSolver: EventStream
|
|
abstract onNewStaticKb: EventStream
|
|
abstract onNewQuery: EventStream
|
|
abstract onResolutionStarted: EventStream
|
|
abstract onNewSolution: EventStream
|
|
abstract onResolutionOver: EventStream
|
|
abstract onQueryOver: EventStream
|
|
abstract onStdoutPrinted: EventStream
|
|
abstract onStderrPrinted: EventStream
|
|
abstract onWarning: EventStream
|
|
abstract onError: EventStream
|
Methods
customizeSolver
abstract fun customizeSolver(customizer: (MutableSolver)->MutableSolver)
Parameters
| Name | Description |
|---|---|
customizer: (MutableSolver)->MutableSolver
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
newFile
abstract fun newFile(): File
ReturnValue
| Name | Description |
|---|---|
File
|
loadFile
abstract fun loadFile(file: File)
Parameters
| Name | Description |
|---|---|
file: File
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
saveFile
abstract fun saveFile(file: File)
Parameters
| Name | Description |
|---|---|
file: File
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
selectFile
abstract fun selectFile(file: File)
Parameters
| Name | Description |
|---|---|
file: File
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
closeFile
abstract fun closeFile(file: File)
Parameters
| Name | Description |
|---|---|
file: File
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
getFile
abstract fun getFile(file: File): String
Parameters
| Name | Description |
|---|---|
file: File
|
ReturnValue
| Name | Description |
|---|---|
String
|
setFile
abstract fun setFile(file: File, theory: String)
Parameters
| Name | Description |
|---|---|
file: File
|
|
theory: String
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
renameFile
abstract fun renameFile(file: File, newFile: File)
Parameters
| Name | Description |
|---|---|
file: File
|
|
newFile: File
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
setCurrentFile
abstract fun setCurrentFile(theory: String)
Parameters
| Name | Description |
|---|---|
theory: String
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
setStdin
abstract fun setStdin(content: String)
Parameters
| Name | Description |
|---|---|
content: String
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
quit
abstract fun quit()
ReturnValue
| Name | Description |
|---|---|
Unit
|
solve
abstract fun solve()
ReturnValue
| Name | Description |
|---|---|
Unit
|
solveAll
abstract fun solveAll()
ReturnValue
| Name | Description |
|---|---|
Unit
|
next
abstract fun next()
ReturnValue
| Name | Description |
|---|---|
Unit
|
nextAll
abstract fun nextAll()
ReturnValue
| Name | Description |
|---|---|
Unit
|
stop
abstract fun stop()
ReturnValue
| Name | Description |
|---|---|
Unit
|
reset
abstract fun reset()
ReturnValue
| Name | Description |
|---|---|
Unit
|
CompanionObject
TuPrologIDEModel
interface TuPrologIDEModel: Any
Methods
of
fun of(executor: ExecutorService): TuPrologIDEModel
Parameters
| Name | Description |
|---|---|
executor: ExecutorService
|
ReturnValue
| Name | Description |
|---|---|
TuPrologIDEModel
|