class TuPrologIDEController: Any
Constructors
| Name | Description |
|---|---|
constructor()
|
Methods
initialize
fun initialize(location: URL, resources: ResourceBundle?)
Parameters
| Name | Description |
|---|---|
location: URL
|
|
resources: ResourceBundle?
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onKeyTypedOnCurrentFile
fun onKeyTypedOnCurrentFile(e: KeyEvent)
Parameters
| Name | Description |
|---|---|
e: KeyEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onKeyTypedOnQuery
fun onKeyTypedOnQuery(e: KeyEvent)
Parameters
| Name | Description |
|---|---|
e: KeyEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onNextButtonPressed
fun onNextButtonPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onStdinChanged
fun onStdinChanged(e: KeyEvent)
Parameters
| Name | Description |
|---|---|
e: KeyEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onNextAllButtonPressed
fun onNextAllButtonPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onStopButtonPressed
fun onStopButtonPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onResetButtonPressed
fun onResetButtonPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onQuitRequested
fun onQuitRequested(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onMouseClickedOnCurrentFile
fun onMouseClickedOnCurrentFile(e: MouseEvent)
Parameters
| Name | Description |
|---|---|
e: MouseEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onKeyPressedOnCurrentFile
fun onKeyPressedOnCurrentFile(e: KeyEvent)
Parameters
| Name | Description |
|---|---|
e: KeyEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onActionPerformedOnQuery
fun onActionPerformedOnQuery(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onTabSelectionChanged
fun onTabSelectionChanged(e: Event)
Parameters
| Name | Description |
|---|---|
e: Event
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onNewFilePressed
fun onNewFilePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onOpenFilePressed
fun onOpenFilePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onCloseFilePressed
fun onCloseFilePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onSaveFilePressed
fun onSaveFilePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onSaveFileAsPressed
fun onSaveFileAsPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onReloadFilePressed
fun onReloadFilePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onUndoPressed
fun onUndoPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onRedoPressed
fun onRedoPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onCutPressed
fun onCutPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onCopyPressed
fun onCopyPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onPastePressed
fun onPastePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onDeletePressed
fun onDeletePressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onSelectAllPressed
fun onSelectAllPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onUnselectAllPressed
fun onUnselectAllPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onSettingsPressed
fun onSettingsPressed(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onAbout
fun onAbout(e: ActionEvent)
Parameters
| Name | Description |
|---|---|
e: ActionEvent
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
customizeModel
fun customizeModel(setup: ModelConfigurator)
Parameters
| Name | Description |
|---|---|
setup: ModelConfigurator
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
addTab
fun addTab(tab: Tab)
Parameters
| Name | Description |
|---|---|
tab: Tab
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
setOnClose
fun setOnClose(onClose: ()->Unit)
Parameters
| Name | Description |
|---|---|
onClose: ()->Unit
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
setOnAbout
fun setOnAbout(onAbout: ()->Unit)
Parameters
| Name | Description |
|---|---|
onAbout: ()->Unit
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
Adds a Tab to the UI. If a Tab with the same Tab.id as tab is already present, it gets substituted.