ide-swing/it.unibo.tuprolog.ui.swing.app/SwingIdeFrame

SwingIdeFrame

class SwingIdeFrame(controller: GuiController, scope: CoroutineScope, featureRenderers: SwingFeatureRendererRegistry = SwingFeatureRendererRegistry(), templates: List<TheoryTemplate> = emptyList(), initialFontSize: Int = 14, initialPageFontSizes: List<Int> = emptyList(), onDeletePersistedState: () -> Unit = {}) : JFrame

Swing view/adapter. It never creates or mutates solver objects: all behaviour goes through GuiController. The fixed query row is rebound atomically to the selected page and therefore remains semantically page-specific.

This is the single Swing binding for the whole IDE window: one menu bar, one query row, and every inspector tab, each wired to a handful of fields and a handful of listener callbacks. Splitting that wiring across several classes would trade a class that is large but easy to follow top-to-bottom for several smaller classes passing the same dozen fields back and forth, which is not a real improvement -- hence the suppression below.

Constructors

constructor(controller: GuiController, scope: CoroutineScope, featureRenderers: SwingFeatureRendererRegistry = SwingFeatureRendererRegistry(), templates: List<TheoryTemplate> = emptyList(), initialFontSize: Int = 14, initialPageFontSizes: List<Int> = emptyList(), onDeletePersistedState: () -> Unit = {})

Properties

accessibleContext

open val accessibleContext: AccessibleContext?

open val alignmentX: Float

open val alignmentY: Float

open var background: Color?

baselineResizeBehavior

open val baselineResizeBehavior: Component.BaselineResizeBehavior?

open var bounds: Rectangle?

open val bufferStrategy: BufferStrategy?

open val colorModel: ColorModel?

open val componentCount: Int

componentListeners

open val componentListeners: Array<out ComponentListener?>?

componentOrientation

open var componentOrientation: ComponentOrientation?

open val components: Array<out Component?>?

containerListeners

open val containerListeners: Array<out ContainerListener?>?

@set:BeanProperty(bound = false, hidden = true, description = "The client area of the frame where child components are normally inserted.")

open var contentPane: Container?

open var cursor: Cursor?

open val cursorType: Int

defaultCloseOperation

@set:BeanProperty(preferred = true, enumerationValues = ["WindowConstants.DO_NOTHING_ON_CLOSE", "WindowConstants.HIDE_ON_CLOSE", "WindowConstants.DISPOSE_ON_CLOSE", "WindowConstants.EXIT_ON_CLOSE"], description = "The frame's default close operation.")

open var defaultCloseOperation: Int

open var dropTarget: DropTarget?

open var extendedState: Int

focusableWindowState

open var focusableWindowState: Boolean

focusCycleRootAncestor

val focusCycleRootAncestor: Container?

open val focusListeners: Array<out FocusListener?>?

open val focusOwner: Component?

focusTraversalKeysEnabled

open var focusTraversalKeysEnabled: Boolean

focusTraversalPolicy

open var focusTraversalPolicy: FocusTraversalPolicy?

open override var font: Font?

open var foreground: Color?

@set:BeanProperty(bound = false, hidden = true, description = "A transparent pane used for menu rendering.")

open var glassPane: Component?

@get:BeanProperty(bound = false)

open val graphics: Graphics?

graphicsConfiguration

open var graphicsConfiguration: GraphicsConfiguration?

open val height: Int

hierarchyBoundsListeners

open val hierarchyBoundsListeners: Array<out HierarchyBoundsListener?>?

hierarchyListeners

open val hierarchyListeners: Array<out HierarchyListener?>?

open var iconImage: Image?

open var iconImages: List<Image?>?

open var ignoreRepaint: Boolean

open val inputContext: InputContext?

inputMethodListeners

open val inputMethodListeners: Array<out InputMethodListener?>?

inputMethodRequests

open val inputMethodRequests: InputMethodRequests?

open val insets: Insets?

open val isActive: Boolean

var isAlwaysOnTop: Boolean

isAlwaysOnTopSupported

open val isAlwaysOnTopSupported: Boolean

isAutoRequestFocus

open var isAutoRequestFocus: Boolean

isBackgroundSet

open val isBackgroundSet: Boolean

open val isCursorSet: Boolean

open val isDisplayable: Boolean

isDoubleBuffered

open val isDoubleBuffered: Boolean

open var isEnabled: Boolean

open var isFocusable: Boolean

isFocusableWindow

val isFocusableWindow: Boolean

isFocusCycleRoot

var isFocusCycleRoot: Boolean

open val isFocused: Boolean

open val isFocusOwner: Boolean

isFocusTraversable

open val isFocusTraversable: Boolean

isFocusTraversalPolicyProvider

var isFocusTraversalPolicyProvider: Boolean

isFocusTraversalPolicySet

open val isFocusTraversalPolicySet: Boolean

open val isFontSet: Boolean

isForegroundSet

open val isForegroundSet: Boolean

open val isLightweight: Boolean

isLocationByPlatform

open var isLocationByPlatform: Boolean

isMaximumSizeSet

open val isMaximumSizeSet: Boolean

isMinimumSizeSet

open val isMinimumSizeSet: Boolean

open val isOpaque: Boolean

isPreferredSizeSet

open val isPreferredSizeSet: Boolean

open var isResizable: Boolean

open val isShowing: Boolean

open var isUndecorated: Boolean

open val isValid: Boolean

open val isValidateRoot: Boolean

open var isVisible: Boolean

@set:BeanProperty(bound = false, hidden = true, description = "The menubar for accessing pulldown menus from this frame.")

open var jMenuBar: JMenuBar?

open val keyListeners: Array<out KeyListener?>?

@set:BeanProperty(bound = false, hidden = true, description = "The pane that holds the various frame layers.")

open var layeredPane: JLayeredPane?

open var layout: LayoutManager?

open var locale: Locale?

open var location: Point?

locationOnScreen

open val locationOnScreen: Point?

maximizedBounds

open var maximizedBounds: Rectangle?

open var maximumSize: Dimension?

open var menuBar: MenuBar?

open var minimumSize: Dimension?

modalExclusionType

open var modalExclusionType: Dialog.ModalExclusionType?

mostRecentFocusOwner

open val mostRecentFocusOwner: Component?

open val mouseListeners: Array<out MouseListener?>?

mouseMotionListeners

open val mouseMotionListeners: Array<out MouseMotionListener?>?

open val mousePosition: Point?

mouseWheelListeners

open val mouseWheelListeners: Array<out MouseWheelListener?>?

open var name: String?

open var opacity: Float

open val ownedWindows: Array<out Window?>?

open val owner: Window?

open val parent: Container?

open var preferredSize: Dimension?

propertyChangeListeners

open val propertyChangeListeners: Array<out PropertyChangeListener?>?

@get:BeanProperty(bound = false, hidden = true, description = "the RootPane object for this frame.")

open var rootPane: JRootPane?

open var shape: Shape?

open var size: Dimension?

open var state: Int

open var title: String?

open val toolkit: Toolkit?

transferHandler

@set:BeanProperty(hidden = true, description = "Mechanism for transfer of data into the component")

open var transferHandler: TransferHandler?

val treeLock: Any?

open var type: Window.Type?

val warningString: String?

open val width: Int

windowFocusListeners

open val windowFocusListeners: Array<out WindowFocusListener?>?

windowListeners

open val windowListeners: Array<out WindowListener?>?

windowStateListeners

open val windowStateListeners: Array<out WindowStateListener?>?

open val x: Int

open val y: Int

Functions

open fun ~~action~~(evt: Event?, what: Any?): Boolean

open fun add(popup: PopupMenu?)

open fun add(comp: Component?): Component?

open fun add(comp: Component?, constraints: Any?)

open fun add(comp: Component?, index: Int): Component?

open fun add(name: String?, comp: Component?): Component?

open fun add(comp: Component?, constraints: Any?, index: Int)

addComponentListener

open fun addComponentListener(l: ComponentListener?)

addContainerListener

open fun addContainerListener(l: ContainerListener?)

addFocusListener

open fun addFocusListener(l: FocusListener?)

addHierarchyBoundsListener

open fun addHierarchyBoundsListener(l: HierarchyBoundsListener?)

addHierarchyListener

open fun addHierarchyListener(l: HierarchyListener?)

addInputMethodListener

open fun addInputMethodListener(l: InputMethodListener?)

open fun addKeyListener(l: KeyListener?)

addMouseListener

open fun addMouseListener(l: MouseListener?)

addMouseMotionListener

open fun addMouseMotionListener(l: MouseMotionListener?)

addMouseWheelListener

open fun addMouseWheelListener(l: MouseWheelListener?)

open fun addNotify()

addPropertyChangeListener

open fun addPropertyChangeListener(listener: PropertyChangeListener?)

open fun addPropertyChangeListener(propertyName: String?, listener: PropertyChangeListener?)

addWindowFocusListener

open fun addWindowFocusListener(l: WindowFocusListener?)

addWindowListener

open fun addWindowListener(l: WindowListener?)

addWindowStateListener

open fun addWindowStateListener(l: WindowStateListener?)

applyComponentOrientation

open fun applyComponentOrientation(o: ComponentOrientation?)

applyResourceBundle

open fun ~~applyResourceBundle~~(rb: ResourceBundle?)

open fun ~~applyResourceBundle~~(rbName: String?)

areFocusTraversalKeysSet

open fun areFocusTraversalKeysSet(id: Int): Boolean

open fun ~~bounds~~(): Rectangle?

open fun checkImage(image: Image?, observer: ImageObserver?): Int

open fun checkImage(image: Image?, width: Int, height: Int, observer: ImageObserver?): Int

open operator fun contains(p: Point?): Boolean

open fun contains(x: Int, y: Int): Boolean

countComponents

open fun ~~countComponents~~(): Int

createBufferStrategy

open fun createBufferStrategy(numBuffers: Int)

open fun createBufferStrategy(numBuffers: Int, caps: BufferCapabilities?)

open fun createImage(producer: ImageProducer?): Image?

open fun createImage(width: Int, height: Int): Image?

createVolatileImage

open fun createVolatileImage(width: Int, height: Int): VolatileImage?

open fun createVolatileImage(width: Int, height: Int, caps: ImageCapabilities?): VolatileImage?

open fun ~~deliverEvent~~(e: Event?)

open fun ~~disable~~()

fun dispatchEvent(e: AWTEvent?)

open fun dispose()

open fun doLayout()

open fun ~~enable~~()

open fun ~~enable~~(b: Boolean)

enableInputMethods

open fun enableInputMethods(enable: Boolean)

findComponentAt

open fun findComponentAt(p: Point?): Component?

open fun findComponentAt(x: Int, y: Int): Component?

firePropertyChange

open fun firePropertyChange(propertyName: String?, oldValue: Byte, newValue: Byte)

open fun firePropertyChange(propertyName: String?, oldValue: Char, newValue: Char)

open fun firePropertyChange(propertyName: String?, oldValue: Double, newValue: Double)

open fun firePropertyChange(propertyName: String?, oldValue: Float, newValue: Float)

open fun firePropertyChange(propertyName: String?, oldValue: Long, newValue: Long)

open fun firePropertyChange(propertyName: String?, oldValue: Short, newValue: Short)

open fun getBaseline(width: Int, height: Int): Int

open fun getComponent(n: Int): Component?

open fun getComponentAt(p: Point?): Component?

open fun getComponentAt(x: Int, y: Int): Component?

getComponentZOrder

open fun getComponentZOrder(comp: Component?): Int

getFocusTraversalKeys

open fun getFocusTraversalKeys(id: Int): Set<AWTKeyStroke?>?

open fun getFont(): Font?

open fun getFontMetrics(font: Font?): FontMetrics?

open fun <T : EventListener?> getListeners(listenerType: Class<T?>?): Array<out T?>?

getMousePosition

open fun getMousePosition(allowChildren: Boolean): Point?

open fun ~~gotFocus~~(evt: Event?, what: Any?): Boolean

open fun ~~handleEvent~~(evt: Event?): Boolean

open fun hasFocus(): Boolean

open fun ~~hide~~()

open fun imageUpdate(img: Image?, infoflags: Int, x: Int, y: Int, w: Int, h: Int): Boolean

open fun ~~insets~~(): Insets?

open fun ~~inside~~(x: Int, y: Int): Boolean

open fun invalidate()

open fun isAncestorOf(c: Component?): Boolean

isFocusCycleRoot

open fun isFocusCycleRoot(container: Container?): Boolean

open fun ~~keyDown~~(evt: Event?, key: Int): Boolean

open fun ~~keyUp~~(evt: Event?, key: Int): Boolean

open fun ~~layout~~()

open fun list()

open fun list(out: PrintStream?)

open fun list(out: PrintWriter?)

open fun list(out: PrintStream?, indent: Int)

open fun list(out: PrintWriter?, indent: Int)

open fun ~~locate~~(x: Int, y: Int): Component?

open fun ~~location~~(): Point?

open fun ~~lostFocus~~(evt: Event?, what: Any?): Boolean

open fun ~~minimumSize~~(): Dimension?

open fun ~~mouseDown~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~mouseDrag~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~mouseEnter~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~mouseExit~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~mouseMove~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~mouseUp~~(evt: Event?, x: Int, y: Int): Boolean

open fun ~~move~~(x: Int, y: Int)

open fun ~~nextFocus~~()

open fun pack()

open fun paint(g: Graphics?)

open fun paintAll(g: Graphics?)

paintComponents

open fun paintComponents(g: Graphics?)

open fun ~~postEvent~~(e: Event?): Boolean

open fun ~~preferredSize~~(): Dimension?

open fun prepareImage(image: Image?, observer: ImageObserver?): Boolean

open fun prepareImage(image: Image?, width: Int, height: Int, observer: ImageObserver?): Boolean

open fun print(g: Graphics?)

open fun printAll(g: Graphics?)

printComponents

open fun printComponents(g: Graphics?)

open fun remove(comp: Component?)

open fun remove(index: Int)

open fun remove(m: MenuComponent?)

open fun removeAll()

removeComponentListener

open fun removeComponentListener(l: ComponentListener?)

removeContainerListener

open fun removeContainerListener(l: ContainerListener?)

removeFocusListener

open fun removeFocusListener(l: FocusListener?)

removeHierarchyBoundsListener

open fun removeHierarchyBoundsListener(l: HierarchyBoundsListener?)

removeHierarchyListener

open fun removeHierarchyListener(l: HierarchyListener?)

removeInputMethodListener

open fun removeInputMethodListener(l: InputMethodListener?)

removeKeyListener

open fun removeKeyListener(l: KeyListener?)

removeMouseListener

open fun removeMouseListener(l: MouseListener?)

removeMouseMotionListener

open fun removeMouseMotionListener(l: MouseMotionListener?)

removeMouseWheelListener

open fun removeMouseWheelListener(l: MouseWheelListener?)

open fun removeNotify()

removePropertyChangeListener

open fun removePropertyChangeListener(listener: PropertyChangeListener?)

open fun removePropertyChangeListener(propertyName: String?, listener: PropertyChangeListener?)

removeWindowFocusListener

open fun removeWindowFocusListener(l: WindowFocusListener?)

removeWindowListener

open fun removeWindowListener(l: WindowListener?)

removeWindowStateListener

open fun removeWindowStateListener(l: WindowStateListener?)

fun render(state: GuiState)

open fun repaint()

open fun repaint(tm: Long)

open fun repaint(x: Int, y: Int, width: Int, height: Int)

open fun repaint(time: Long, x: Int, y: Int, width: Int, height: Int)

open fun requestFocus()

open fun requestFocus(cause: FocusEvent.Cause?)

requestFocusInWindow

open fun requestFocusInWindow(): Boolean

open fun requestFocusInWindow(cause: FocusEvent.Cause?): Boolean

open fun ~~reshape~~(x: Int, y: Int, width: Int, height: Int)

open fun ~~resize~~(d: Dimension?)

open fun ~~resize~~(width: Int, height: Int)

open fun revalidate()

setComponentZOrder

open fun setComponentZOrder(comp: Component?, index: Int)

open fun ~~setCursor~~(cursorType: Int)

setFocusTraversalKeys

open fun setFocusTraversalKeys(id: Int, keystrokes: Set<out AWTKeyStroke?>?)

setLocationRelativeTo

open fun setLocationRelativeTo(c: Component?)

setMixingCutoutShape

open fun setMixingCutoutShape(shape: Shape?)

open fun ~~show~~()

open fun ~~show~~(b: Boolean)

open fun ~~size~~(): Dimension?

open fun toBack()

open fun toFront()

open fun transferFocus()

transferFocusBackward

open fun transferFocusBackward()

transferFocusDownCycle

open fun transferFocusDownCycle()

transferFocusUpCycle

open fun transferFocusUpCycle()

open fun update(g: Graphics?)

open fun validate()