avail/avail.anvil.views/PhraseView

PhraseView

class PhraseView(val workbench: AvailWorkbench, onClose: () -> Unit) : WorkbenchFrame

The panel for examining a module's phrase structures.

Author

Mark van Gulik

Richard Arriaga

Todd L Smith

Constructors

constructor(workbench: AvailWorkbench, onClose: () -> Unit)

Types

PhraseExplanation

data class PhraseExplanation(val phraseNode: PhrasePathRecord.PhraseNode, val childIndex: Int, val siblingsCount: Int, val htmlTagRuns: RunTree<List<String>>)

An entry in the phraseStructureList that shows a send phrase's bundle name and an indication of where within that name the subphrase below it occurs.

Properties

var alwaysOnTop: Boolean

autoRequestFocus

var autoRequestFocus: Boolean

var background: Color

val bufferStrategy: BufferStrategy

componentOrientation

var componentOrientation: ComponentOrientation

var cursor: Cursor

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.")

var defaultCloseOperation: Int

var dropTarget: DropTarget

var enabled: Boolean

var focusable: Boolean

focusableWindowState

var focusableWindowState: Boolean

var focusCycleRoot: Boolean

focusTraversalKeysEnabled

var focusTraversalKeysEnabled: Boolean

focusTraversalPolicy

var focusTraversalPolicy: FocusTraversalPolicy

focusTraversalPolicyProvider

var focusTraversalPolicyProvider: Boolean

var foreground: Color

val height: Int

var ignoreRepaint: Boolean

val inputContext: InputContext

var locale: Locale

locationByPlatform

var locationByPlatform: Boolean

maximizedBounds

var maximizedBounds: Rectangle

var menuBar: MenuBar

modalExclusionType

var modalExclusionType: Dialog.ModalExclusionType

var name: String

var opacity: Float

val parent: Container

var resizable: Boolean

var shape: Shape

override var state: Int

var title: String

transferHandler

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

var transferHandler: TransferHandler

var type: Window.Type

var undecorated: Boolean

val valid: Boolean

var visible: Boolean

val warningString: String

open override val workbench: AvailWorkbench

The associated workbench.

val x: Int

val y: Int

Functions

open fun ~~action~~(p0: Event, p1: Any): Boolean

open fun add(p0: PopupMenu)

open fun add(p0: Component): Component

open fun add(p0: Component, p1: Any)

open fun add(p0: Component, p1: Int): Component

open fun add(p0: String, p1: Component): Component

open fun add(p0: Component, p1: Any, p2: Int)

addComponentListener

open fun addComponentListener(p0: ComponentListener)

addContainerListener

open fun addContainerListener(p0: ContainerListener)

addFocusListener

open fun addFocusListener(p0: FocusListener)

addHierarchyBoundsListener

open fun addHierarchyBoundsListener(p0: HierarchyBoundsListener)

addHierarchyListener

open fun addHierarchyListener(p0: HierarchyListener)

addInputMethodListener

open fun addInputMethodListener(p0: InputMethodListener)

open fun addKeyListener(p0: KeyListener)

addMouseListener

open fun addMouseListener(p0: MouseListener)

addMouseMotionListener

open fun addMouseMotionListener(p0: MouseMotionListener)

addMouseWheelListener

open fun addMouseWheelListener(p0: MouseWheelListener)

open override fun addNotify()

addPropertyChangeListener

open override fun addPropertyChangeListener(p0: PropertyChangeListener)

open override fun addPropertyChangeListener(p0: String, p1: PropertyChangeListener)

addWindowFocusListener

open fun addWindowFocusListener(p0: WindowFocusListener)

addWindowListener

open fun addWindowListener(p0: WindowListener)

addWindowStateListener

open fun addWindowStateListener(p0: WindowStateListener)

applyComponentOrientation

open override fun applyComponentOrientation(p0: ComponentOrientation)

applyResourceBundle

open fun ~~applyResourceBundle~~(p0: ResourceBundle)

open fun ~~applyResourceBundle~~(p0: String)

areFocusTraversalKeysSet

open override fun areFocusTraversalKeysSet(p0: Int): Boolean

open fun ~~bounds~~(): Rectangle

open fun checkImage(p0: Image, p1: ImageObserver): Int

open fun checkImage(p0: Image, p1: Int, p2: Int, p3: ImageObserver): Int

open operator fun contains(p0: Point): Boolean

open fun contains(p0: Int, p1: Int): Boolean

countComponents

open fun ~~countComponents~~(): Int

createBufferStrategy

open override fun createBufferStrategy(p0: Int)

open override fun createBufferStrategy(p0: Int, p1: BufferCapabilities)

open fun createImage(p0: ImageProducer): Image

open fun createImage(p0: Int, p1: Int): Image

createVolatileImage

open fun createVolatileImage(p0: Int, p1: Int): VolatileImage

open fun createVolatileImage(p0: Int, p1: Int, p2: ImageCapabilities): VolatileImage

open override fun ~~deliverEvent~~(p0: Event)

open fun ~~disable~~()

fun dispatchEvent(p0: AWTEvent)

open fun dispose()

open override fun doLayout()

open fun ~~enable~~()

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

enableInputMethods

open fun enableInputMethods(p0: Boolean)

findComponentAt

open fun findComponentAt(p0: Point): Component

open fun findComponentAt(p0: Int, p1: Int): Component

firePropertyChange

open fun firePropertyChange(p0: String, p1: Byte, p2: Byte)

open fun firePropertyChange(p0: String, p1: Char, p2: Char)

open fun firePropertyChange(p0: String, p1: Double, p2: Double)

open fun firePropertyChange(p0: String, p1: Float, p2: Float)

open fun firePropertyChange(p0: String, p1: Long, p2: Long)

open fun firePropertyChange(p0: String, p1: Short, p2: Short)

getAccessibleContext

open override fun getAccessibleContext(): AccessibleContext

open override fun getAlignmentX(): Float

open override fun getAlignmentY(): Float

open fun getBaseline(p0: Int, p1: Int): Int

getBaselineResizeBehavior

open fun getBaselineResizeBehavior(): Component.BaselineResizeBehavior

open fun getBounds(): Rectangle

open fun getBounds(p0: Rectangle): Rectangle

open fun getColorModel(): ColorModel

open fun getComponent(p0: Int): Component

open override fun getComponentAt(p0: Point): Component

open override fun getComponentAt(p0: Int, p1: Int): Component

getComponentCount

open fun getComponentCount(): Int

getComponentListeners

open fun getComponentListeners(): Array<ComponentListener>

open fun getComponents(): Array<Component>

getComponentZOrder

open fun getComponentZOrder(p0: Component): Int

getContainerListeners

open fun getContainerListeners(): Array<ContainerListener>

open override fun getContentPane(): Container

open fun ~~getCursorType~~(): Int

getExtendedState

open fun getExtendedState(): Int

getFocusCycleRootAncestor

override fun getFocusCycleRootAncestor(): Container

getFocusListeners

open fun getFocusListeners(): Array<FocusListener>

open fun getFocusOwner(): Component

getFocusTraversalKeys

open override fun getFocusTraversalKeys(p0: Int): MutableSet<AWTKeyStroke>

open fun getFontMetrics(p0: Font): FontMetrics

open override fun getGlassPane(): Component

@BeanProperty(bound = false)

open override fun getGraphics(): Graphics

getGraphicsConfiguration

open fun getGraphicsConfiguration(): GraphicsConfiguration

getHierarchyBoundsListeners

open fun getHierarchyBoundsListeners(): Array<HierarchyBoundsListener>

getHierarchyListeners

open fun getHierarchyListeners(): Array<HierarchyListener>

open fun getIconImage(): Image

open fun getIconImages(): MutableList<Image>

getInputMethodListeners

open fun getInputMethodListeners(): Array<InputMethodListener>

getInputMethodRequests

open fun getInputMethodRequests(): InputMethodRequests

open fun getInsets(): Insets

open fun getJMenuBar(): JMenuBar

getKeyListeners

open fun getKeyListeners(): Array<KeyListener>

open override fun getLayeredPane(): JLayeredPane

open fun getLayout(): LayoutManager

open override fun <T : EventListener> getListeners(p0: Class<T>): Array<T>

open fun getLocation(): Point

open fun getLocation(p0: Point): Point

getLocationOnScreen

open fun getLocationOnScreen(): Point

open override fun getMaximumSize(): Dimension

open override fun getMinimumSize(): Dimension

getMostRecentFocusOwner

open fun getMostRecentFocusOwner(): Component

getMouseListeners

open fun getMouseListeners(): Array<MouseListener>

getMouseMotionListeners

open fun getMouseMotionListeners(): Array<MouseMotionListener>

getMousePosition

open fun getMousePosition(): Point

open fun getMousePosition(p0: Boolean): Point

getMouseWheelListeners

open fun getMouseWheelListeners(): Array<MouseWheelListener>

getOwnedWindows

open fun getOwnedWindows(): Array<Window>

open fun getOwner(): Window

getPreferredSize

open override fun getPreferredSize(): Dimension

getPropertyChangeListeners

open fun getPropertyChangeListeners(): Array<PropertyChangeListener>

open fun getPropertyChangeListeners(p0: String): Array<PropertyChangeListener>

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

open override fun getRootPane(): JRootPane

open fun getSize(): Dimension

open fun getSize(p0: Dimension): Dimension

open override fun getToolkit(): Toolkit

fun getTreeLock(): Any

getWindowFocusListeners

open fun getWindowFocusListeners(): Array<WindowFocusListener>

getWindowListeners

open fun getWindowListeners(): Array<WindowListener>

getWindowStateListeners

open fun getWindowStateListeners(): Array<WindowStateListener>

open fun ~~gotFocus~~(p0: Event, p1: Any): Boolean

open fun ~~handleEvent~~(p0: Event): Boolean

open fun hasFocus(): Boolean

open override fun ~~hide~~()

open override fun imageUpdate(p0: Image, p1: Int, p2: Int, p3: Int, p4: Int, p5: Int): Boolean

open fun ~~insets~~(): Insets

open fun ~~inside~~(p0: Int, p1: Int): Boolean

open override fun invalidate()

open fun isActive(): Boolean

isAlwaysOnTopSupported

open fun isAlwaysOnTopSupported(): Boolean

open fun isAncestorOf(p0: Component): Boolean

isBackgroundSet

open fun isBackgroundSet(): Boolean

open fun isCursorSet(): Boolean

open fun isDisplayable(): Boolean

isDoubleBuffered

open fun isDoubleBuffered(): Boolean

isFocusableWindow

fun isFocusableWindow(): Boolean

isFocusCycleRoot

open override fun isFocusCycleRoot(p0: Container): Boolean

open fun isFocused(): Boolean

open fun isFocusOwner(): Boolean

isFocusTraversable

open fun ~~isFocusTraversable~~(): Boolean

isFocusTraversalPolicySet

open fun isFocusTraversalPolicySet(): Boolean

open fun isFontSet(): Boolean

isForegroundSet

open fun isForegroundSet(): Boolean

open fun isLightweight(): Boolean

isMaximumSizeSet

open fun isMaximumSizeSet(): Boolean

isMinimumSizeSet

open fun isMinimumSizeSet(): Boolean

open override fun isOpaque(): Boolean

isPreferredSizeSet

open fun isPreferredSizeSet(): Boolean

open override fun isShowing(): Boolean

open override fun isValidateRoot(): Boolean

open fun ~~keyDown~~(p0: Event, p1: Int): Boolean

open fun ~~keyUp~~(p0: Event, p1: Int): Boolean

open override fun ~~layout~~()

open fun list()

open fun list(p0: PrintStream)

open fun list(p0: PrintWriter)

open override fun list(p0: PrintStream, p1: Int)

open override fun list(p0: PrintWriter, p1: Int)

open override fun ~~locate~~(p0: Int, p1: Int): Component

open fun ~~location~~(): Point

open fun ~~lostFocus~~(p0: Event, p1: Any): Boolean

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

open fun ~~mouseDown~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~mouseDrag~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~mouseEnter~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~mouseExit~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~mouseMove~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~mouseUp~~(p0: Event, p1: Int, p2: Int): Boolean

open fun ~~move~~(p0: Int, p1: Int)

open fun ~~nextFocus~~()

open fun pack()

open override fun paint(p0: Graphics)

open fun paintAll(p0: Graphics)

paintComponents

open fun paintComponents(p0: Graphics)

open override fun ~~postEvent~~(p0: Event): Boolean

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

open fun prepareImage(p0: Image, p1: ImageObserver): Boolean

open fun prepareImage(p0: Image, p1: Int, p2: Int, p3: ImageObserver): Boolean

open override fun print(p0: Graphics)

open fun printAll(p0: Graphics)

printComponents

open fun printComponents(p0: Graphics)

open fun remove(p0: Int)

open override fun remove(p0: MenuComponent)

open override fun remove(p0: Component)

open fun removeAll()

removeComponentListener

open fun removeComponentListener(p0: ComponentListener)

removeContainerListener

open fun removeContainerListener(p0: ContainerListener)

removeFocusListener

open fun removeFocusListener(p0: FocusListener)

removeHierarchyBoundsListener

open fun removeHierarchyBoundsListener(p0: HierarchyBoundsListener)

removeHierarchyListener

open fun removeHierarchyListener(p0: HierarchyListener)

removeInputMethodListener

open fun removeInputMethodListener(p0: InputMethodListener)

removeKeyListener

open fun removeKeyListener(p0: KeyListener)

removeMouseListener

open fun removeMouseListener(p0: MouseListener)

removeMouseMotionListener

open fun removeMouseMotionListener(p0: MouseMotionListener)

removeMouseWheelListener

open fun removeMouseWheelListener(p0: MouseWheelListener)

open override fun removeNotify()

removePropertyChangeListener

open fun removePropertyChangeListener(p0: PropertyChangeListener)

open fun removePropertyChangeListener(p0: String, p1: PropertyChangeListener)

removeWindowFocusListener

open fun removeWindowFocusListener(p0: WindowFocusListener)

removeWindowListener

open fun removeWindowListener(p0: WindowListener)

removeWindowStateListener

open fun removeWindowStateListener(p0: WindowStateListener)

open fun repaint()

open fun repaint(p0: Long)

open fun repaint(p0: Int, p1: Int, p2: Int, p3: Int)

open override fun repaint(p0: Long, p1: Int, p2: Int, p3: Int, p4: Int)

open fun requestFocus()

open fun requestFocus(p0: FocusEvent.Cause)

requestFocusInWindow

open fun requestFocusInWindow(): Boolean

open fun requestFocusInWindow(p0: FocusEvent.Cause): Boolean

open override fun ~~reshape~~(p0: Int, p1: Int, p2: Int, p3: Int)

open fun ~~resize~~(p0: Dimension)

open fun ~~resize~~(p0: Int, p1: Int)

open fun revalidate()

fun Component.scroll(): JScrollPane

Either places the given component inside a JScrollPane or answers the JScrollPane that it's already inside.

open override fun setBounds(p0: Rectangle)

open override fun setBounds(p0: Int, p1: Int, p2: Int, p3: Int)

setComponentZOrder

open fun setComponentZOrder(p0: Component, p1: Int)

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

open override fun setContentPane(p0: Container)

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

setExtendedState

open fun setExtendedState(p0: Int)

setFocusTraversalKeys

open override fun setFocusTraversalKeys(p0: Int, p1: MutableSet<out AWTKeyStroke>)

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

open override fun setGlassPane(p0: Component)

open override fun setIconImage(p0: Image)

open fun setIconImages(p0: MutableList<out Image>)

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

open fun setJMenuBar(p0: JMenuBar)

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

open override fun setLayeredPane(p0: JLayeredPane)

open override fun setLayout(p0: LayoutManager)

open override fun setLocation(p0: Point)

open override fun setLocation(p0: Int, p1: Int)

setLocationRelativeTo

open fun setLocationRelativeTo(p0: Component)

open fun setMaximumSize(p0: Dimension)

open override fun setMinimumSize(p0: Dimension)

setMixingCutoutShape

open fun setMixingCutoutShape(p0: Shape)

setPreferredSize

open fun setPreferredSize(p0: Dimension)

open override fun setSize(p0: Dimension)

open override fun setSize(p0: Int, p1: Int)

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

open override fun ~~show~~()

open fun ~~size~~(): Dimension

open fun toBack()

open fun toFront()

open override fun toString(): String

open fun transferFocus()

transferFocusBackward

open fun transferFocusBackward()

transferFocusDownCycle

open fun transferFocusDownCycle()

transferFocusUpCycle

open fun transferFocusUpCycle()

open override fun update(p0: Graphics)

fun updateView(targetEditor: AvailEditor? = editor, tokenStyle: PhrasePathStyleApplicator.TokenStyle?)

Update the phraseStructureList.

open override fun validate()