Packages

  • package root
    Definition Classes
    root
  • package info
    Definition Classes
    root
  • package kwarc
    Definition Classes
    info
  • package mmt
    Definition Classes
    kwarc
  • package api

    This is the main package of the MMT API.

    This is the main package of the MMT API.

    It holds subpackages for all data structures, data containers, and the central algorithms and services.

    Classes directly defined in the package

    Some minor classes that are used throughout MMT are defined in this package, in particular:

    • MMT URIs in the class Path and Namespace
    • processing and content errors in the class Error

    The package also contains root classes for certain types that are subclassed throughout the package. Most importantly:

    • StructuralElement: structure-level (= named) parts in the data structures for the MMT language: documents, theories, constants, ...
    • MMTTask: tasks for a single object: parsing, checking, ...
    • Rule: object-level part of the MMT language that is written in Scala

    Subpackages

    Data structures for the MMT language

    The data structures for the MMT languages are defined in 4 packages corresponding to the 4 levels: - documents: Documents and all other NarrativeElements - modules: Modules (= the toplevel declarations), in particular Theorys and Views - symbols: all Declarations inside modules, in particular Constants - objects: all anonymous Objects (e.g., formulas, functions, etc.), in particular Contexts and Terms

    The former 3 levels are jointly called 'structural' levels. All elements subclass StructuralElement, have an MMT URI, and carry an MMT URI referring to their parent in the MMT abstract syntax tree.

    Structural elements are extensible (via DerivedModules and DerivedDeclarations), and the package patterns defines declaration patterns as a built-in extension.

    All structural elements are mutable and implement the ContainerElement interface for changing their children. Objects, by contrast, are represented as immutable inductive types.(except for carrying metadata.Metadata and objects.ClientProperties). The boundary between structural elements and objects is mediated by ComponentContainers: these are mutable, owned by structural elements, and maintain objects.

    A few auxiliary data structures shifted to separate packages: - opaque: external (i.e., informal, computation) content - informal: partially outdated informal data structures - metadata: metadata annotations to all structural elements or objects

    The MMT main class and its internal state

    The package frontend contains the class Controller, which owns all state relevant for running MMT. Typically, each application creates a single instance of this class. The package also defines several other essential classes, most importantly MMT's extension (=plug-in, add-on) interfaces via the Extension class.

    The package libraries maintains the instances of MMT language data structures, in particular the Library class. Controller owns a Library, which stores all structural elements that have been loaded into memory.

    User interfaces

    The package frontend also contains the main executable classes, in particular the Shell class.

    The package gui collects all classes for building graphical user interfaces. This includes auxiliary classes for use in IDE plugins.

    The package web collects all classes for the HTTP interface of MMT.

    Physical storage of the MMT language files

    The package archives defines MMT Archives (= projects) as well as classes for building and working with archives. The latter include in particular the BuildManager and BuildTarget. Build targets include Importers and [Exporter]]s that translate between MMT and other formats.

    The package backend defines classes for maintaining archives and translating between the MMT URIs of structural elements and their physical storage locations.

    The central algorithms for processing MMT content

    The processing model of MMT consists of several major algorithms. - parser: read strings into MMT data structures - checking: check and refine MMT data structures - uom: pure computation on MMT data structures - proving: theorem proving on MMT data structures (in very early state)) - execution: imperative computation (in very, very early state) - presentation: rendering MMT data structures in user-facing formats (including HTML+presentation MathML)

    All algorithms are defined in Extensions coupled with default implementations. Moreover, all algorithms are split into two separate levels, one for structural elements and objects. See LeveledExtension.

    The package notations maintains the common code for parsing and presentation.

    The package valuebases maintains mathematical databases as a part of MMT.

    Other algorithms on the MMT data structures

    The package ontology contains a relational, semantic web-style ontology and query engine for it.

    The package moc contains change management.

    The package refactoring contains refactoring principles.

    General purpose utility functions

    The package utils defines general purpose APIs for files, URIs, HTML building, etc.

    Definition Classes
    mmt
  • package gui

    GUIPanel and [GUIFrame]] maintain a swing-based graphical interface to the frontend.Controller and its children.

    GUIPanel and [GUIFrame]] maintain a swing-based graphical interface to the frontend.Controller and its children.

    Definition Classes
    api
  • BackendPane
  • ConfigPane
  • ControllerNode
  • ExtManPane
  • GUIFrame
  • GUIPanel
  • Item
  • MMTAsset
  • MMTAuxAsset
  • MMTElemAsset
  • MMTNode
  • MMTNotAsset
  • MMTObjAsset
  • MMTTree
  • MMTTreeModel
  • MMTURIAsset
  • NavigationTree
  • NavigationTreeBuilder
  • NavigationTreeElement
  • NavigationTreeElementInfo
  • NavigationTreeElements
  • NavigationTreeImplementation
  • NavigationTreeInfo
  • ObjNode
  • PathNode
  • SearchPane
  • StructuralElementNode
  • Swing
  • TreePane
  • Window
  • WindowManager
  • WrapLayout
c

info.kwarc.mmt.api.gui

GUIPanel

class GUIPanel extends JPanel

Source
Browser.scala
Linear Supertypes
JPanel, Accessible, JComponent, HasGetTransferHandler, Container, Component, Serializable, MenuContainer, ImageObserver, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GUIPanel
  2. JPanel
  3. Accessible
  4. JComponent
  5. HasGetTransferHandler
  6. Container
  7. Component
  8. Serializable
  9. MenuContainer
  10. ImageObserver
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new GUIPanel(controller: Controller)

Type Members

  1. abstract class AccessibleAWTComponent extends AccessibleContext with Serializable with AccessibleComponent
    Attributes
    protected[awt]
    Definition Classes
    Component
  2. class AccessibleAWTContainer extends AccessibleAWTComponent
    Attributes
    protected[awt]
    Definition Classes
    Container
  3. abstract class AccessibleJComponent extends AccessibleAWTContainer with AccessibleExtendedComponent
    Definition Classes
    JComponent
  4. class AccessibleJPanel extends AccessibleJComponent
    Attributes
    protected[swing]
    Definition Classes
    JPanel
  5. final class ActionStandin extends Action
    Attributes
    private[swing]
    Definition Classes
    JComponent
  6. class BltBufferStrategy extends BufferStrategy
    Attributes
    protected[awt]
    Definition Classes
    Component
  7. class FlipBufferStrategy extends BufferStrategy
    Attributes
    protected[awt]
    Definition Classes
    Component

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def add(arg0: Component, arg1: Any, arg2: Int): Unit
    Definition Classes
    Container
  5. def add(arg0: Component, arg1: Any): Unit
    Definition Classes
    Container
  6. def add(arg0: Component, arg1: Int): Component
    Definition Classes
    Container
  7. def add(arg0: String, arg1: Component): Component
    Definition Classes
    Container
  8. def add(arg0: Component): Component
    Definition Classes
    Container
  9. def add(arg0: PopupMenu): Unit
    Definition Classes
    Component
  10. def addAncestorListener(arg0: AncestorListener): Unit
    Definition Classes
    JComponent
  11. def addComponentListener(arg0: ComponentListener): Unit
    Definition Classes
    Component
  12. def addContainerListener(arg0: ContainerListener): Unit
    Definition Classes
    Container
  13. def addFocusListener(arg0: FocusListener): Unit
    Definition Classes
    Component
  14. def addHierarchyBoundsListener(arg0: HierarchyBoundsListener): Unit
    Definition Classes
    Component
  15. def addHierarchyListener(arg0: HierarchyListener): Unit
    Definition Classes
    Component
  16. def addImpl(arg0: Component, arg1: Any, arg2: Int): Unit
    Attributes
    protected[awt]
    Definition Classes
    Container
  17. def addInputMethodListener(arg0: InputMethodListener): Unit
    Definition Classes
    Component
  18. def addKeyListener(arg0: KeyListener): Unit
    Definition Classes
    Component
  19. def addMouseListener(arg0: MouseListener): Unit
    Definition Classes
    Component
  20. def addMouseMotionListener(arg0: MouseMotionListener): Unit
    Definition Classes
    Component
  21. def addMouseWheelListener(arg0: MouseWheelListener): Unit
    Definition Classes
    Component
  22. def addNotify(): Unit
    Definition Classes
    JComponent → Container → Component
  23. def addPropertyChangeListener(arg0: String, arg1: PropertyChangeListener): Unit
    Definition Classes
    Container → Component
  24. def addPropertyChangeListener(arg0: PropertyChangeListener): Unit
    Definition Classes
    Container → Component
  25. def addVetoableChangeListener(arg0: VetoableChangeListener): Unit
    Definition Classes
    JComponent
  26. def applyComponentOrientation(arg0: ComponentOrientation): Unit
    Definition Classes
    Container → Component
  27. def areFocusTraversalKeysSet(arg0: Int): Boolean
    Definition Classes
    Container → Component
  28. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  29. def checkImage(arg0: Image, arg1: Int, arg2: Int, arg3: ImageObserver): Int
    Definition Classes
    Component
  30. def checkImage(arg0: Image, arg1: ImageObserver): Int
    Definition Classes
    Component
  31. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  32. def coalesceEvents(arg0: AWTEvent, arg1: AWTEvent): AWTEvent
    Attributes
    protected[awt]
    Definition Classes
    Component
  33. def computeVisibleRect(arg0: Rectangle): Unit
    Definition Classes
    JComponent
  34. def contains(arg0: Int, arg1: Int): Boolean
    Definition Classes
    JComponent → Component
  35. def contains(arg0: Point): Boolean
    Definition Classes
    Component
  36. def createImage(arg0: Int, arg1: Int): Image
    Definition Classes
    Component
  37. def createImage(arg0: ImageProducer): Image
    Definition Classes
    Component
  38. def createToolTip(): JToolTip
    Definition Classes
    JComponent
  39. def createVolatileImage(arg0: Int, arg1: Int, arg2: ImageCapabilities): VolatileImage
    Definition Classes
    Component
    Annotations
    @throws( classOf[java.awt.AWTException] )
  40. def createVolatileImage(arg0: Int, arg1: Int): VolatileImage
    Definition Classes
    Component
  41. final def disableEvents(arg0: Long): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  42. final def dispatchEvent(arg0: AWTEvent): Unit
    Definition Classes
    Component
  43. def doLayout(): Unit
    Definition Classes
    Container → Component
  44. final def enableEvents(arg0: Long): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  45. def enableInputMethods(arg0: Boolean): Unit
    Definition Classes
    Component
  46. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  48. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  49. def findComponentAt(arg0: Point): Component
    Definition Classes
    Container
  50. def findComponentAt(arg0: Int, arg1: Int): Component
    Definition Classes
    Container
  51. def firePropertyChange(arg0: String, arg1: Char, arg2: Char): Unit
    Definition Classes
    JComponent → Component
  52. def firePropertyChange(arg0: String, arg1: Int, arg2: Int): Unit
    Definition Classes
    JComponent → Component
  53. def firePropertyChange(arg0: String, arg1: Boolean, arg2: Boolean): Unit
    Definition Classes
    JComponent → Component
  54. def firePropertyChange(arg0: String, arg1: Double, arg2: Double): Unit
    Definition Classes
    Component
  55. def firePropertyChange(arg0: String, arg1: Float, arg2: Float): Unit
    Definition Classes
    Component
  56. def firePropertyChange(arg0: String, arg1: Long, arg2: Long): Unit
    Definition Classes
    Component
  57. def firePropertyChange(arg0: String, arg1: Short, arg2: Short): Unit
    Definition Classes
    Component
  58. def firePropertyChange(arg0: String, arg1: Byte, arg2: Byte): Unit
    Definition Classes
    Component
  59. def firePropertyChange(arg0: String, arg1: Any, arg2: Any): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  60. def fireVetoableChange(arg0: String, arg1: Any, arg2: Any): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
    Annotations
    @throws( ... )
  61. def getAccessibleContext(): AccessibleContext
    Definition Classes
    JPanel → Accessible → Component
  62. def getActionForKeyStroke(arg0: KeyStroke): ActionListener
    Definition Classes
    JComponent
  63. final def getActionMap(): ActionMap
    Definition Classes
    JComponent
  64. def getAlignmentX(): Float
    Definition Classes
    JComponent → Container → Component
  65. def getAlignmentY(): Float
    Definition Classes
    JComponent → Container → Component
  66. def getAncestorListeners(): Array[AncestorListener]
    Definition Classes
    JComponent
  67. def getAutoscrolls(): Boolean
    Definition Classes
    JComponent
  68. def getBackground(): Color
    Definition Classes
    Component
    Annotations
    @Transient()
  69. def getBaseline(arg0: Int, arg1: Int): Int
    Definition Classes
    JComponent → Component
  70. def getBaselineResizeBehavior(): BaselineResizeBehavior
    Definition Classes
    JComponent → Component
  71. def getBorder(): Border
    Definition Classes
    JComponent
  72. def getBounds(arg0: Rectangle): Rectangle
    Definition Classes
    JComponent → Component
  73. def getBounds(): Rectangle
    Definition Classes
    Component
  74. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  75. final def getClientProperty(arg0: Any): AnyRef
    Definition Classes
    JComponent
  76. def getColorModel(): ColorModel
    Definition Classes
    Component
  77. def getComponent(arg0: Int): Component
    Definition Classes
    Container
  78. def getComponentAt(arg0: Point): Component
    Definition Classes
    Container → Component
  79. def getComponentAt(arg0: Int, arg1: Int): Component
    Definition Classes
    Container → Component
  80. def getComponentCount(): Int
    Definition Classes
    Container
  81. def getComponentGraphics(arg0: Graphics): Graphics
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  82. def getComponentListeners(): Array[ComponentListener]
    Definition Classes
    Component
  83. def getComponentOrientation(): ComponentOrientation
    Definition Classes
    Component
  84. def getComponentPopupMenu(): JPopupMenu
    Definition Classes
    JComponent
  85. def getComponentZOrder(arg0: Component): Int
    Definition Classes
    Container
  86. def getComponents(): Array[Component]
    Definition Classes
    Container
  87. def getConditionForKeyStroke(arg0: KeyStroke): Int
    Definition Classes
    JComponent
  88. def getContainerListeners(): Array[ContainerListener]
    Definition Classes
    Container
  89. def getCursor(): Cursor
    Definition Classes
    Component
  90. def getDebugGraphicsOptions(): Int
    Definition Classes
    JComponent
  91. def getDropTarget(): DropTarget
    Definition Classes
    Component
  92. def getFocusCycleRootAncestor(): Container
    Definition Classes
    Component
  93. def getFocusListeners(): Array[FocusListener]
    Definition Classes
    Component
  94. def getFocusTraversalKeys(arg0: Int): Set[AWTKeyStroke]
    Definition Classes
    Container → Component
  95. def getFocusTraversalKeysEnabled(): Boolean
    Definition Classes
    Component
  96. def getFocusTraversalPolicy(): FocusTraversalPolicy
    Definition Classes
    Container
  97. def getFont(): Font
    Definition Classes
    Component → MenuContainer
    Annotations
    @Transient()
  98. def getFontMetrics(arg0: Font): FontMetrics
    Definition Classes
    JComponent → Component
  99. def getForeground(): Color
    Definition Classes
    Component
    Annotations
    @Transient()
  100. def getGraphics(): Graphics
    Definition Classes
    JComponent → Component
  101. def getGraphicsConfiguration(): GraphicsConfiguration
    Definition Classes
    Component
  102. def getHeight(): Int
    Definition Classes
    JComponent → Component
  103. def getHierarchyBoundsListeners(): Array[HierarchyBoundsListener]
    Definition Classes
    Component
  104. def getHierarchyListeners(): Array[HierarchyListener]
    Definition Classes
    Component
  105. def getIgnoreRepaint(): Boolean
    Definition Classes
    Component
  106. def getInheritsPopupMenu(): Boolean
    Definition Classes
    JComponent
  107. def getInputContext(): InputContext
    Definition Classes
    Component
  108. final def getInputMap(): InputMap
    Definition Classes
    JComponent
  109. final def getInputMap(arg0: Int): InputMap
    Definition Classes
    JComponent
  110. def getInputMethodListeners(): Array[InputMethodListener]
    Definition Classes
    Component
  111. def getInputMethodRequests(): InputMethodRequests
    Definition Classes
    Component
  112. def getInputVerifier(): InputVerifier
    Definition Classes
    JComponent
  113. def getInsets(arg0: Insets): Insets
    Definition Classes
    JComponent
  114. def getInsets(): Insets
    Definition Classes
    JComponent → Container
  115. def getKeyListeners(): Array[KeyListener]
    Definition Classes
    Component
  116. def getLayout(): LayoutManager
    Definition Classes
    Container
  117. def getListeners[T <: EventListener](arg0: Class[T]): Array[T]
    Definition Classes
    JComponent → Container → Component
  118. def getLocale(): Locale
    Definition Classes
    Component
  119. def getLocation(arg0: Point): Point
    Definition Classes
    JComponent → Component
  120. def getLocation(): Point
    Definition Classes
    Component
  121. def getLocationOnScreen(): Point
    Definition Classes
    Component
  122. def getMaximumSize(): Dimension
    Definition Classes
    JComponent → Container → Component
    Annotations
    @Transient()
  123. def getMinimumSize(): Dimension
    Definition Classes
    JComponent → Container → Component
    Annotations
    @Transient()
  124. def getMouseListeners(): Array[MouseListener]
    Definition Classes
    Component
  125. def getMouseMotionListeners(): Array[MouseMotionListener]
    Definition Classes
    Component
  126. def getMousePosition(arg0: Boolean): Point
    Definition Classes
    Container
    Annotations
    @throws( classOf[java.awt.HeadlessException] )
  127. def getMousePosition(): Point
    Definition Classes
    Component
    Annotations
    @throws( classOf[java.awt.HeadlessException] )
  128. def getMouseWheelListeners(): Array[MouseWheelListener]
    Definition Classes
    Component
  129. def getName(): String
    Definition Classes
    Component
  130. def getParent(): Container
    Definition Classes
    Component
  131. def getPopupLocation(arg0: MouseEvent): Point
    Definition Classes
    JComponent
  132. def getPreferredSize(): Dimension
    Definition Classes
    JComponent → Container → Component
    Annotations
    @Transient()
  133. def getPropertyChangeListeners(arg0: String): Array[PropertyChangeListener]
    Definition Classes
    Component
  134. def getPropertyChangeListeners(): Array[PropertyChangeListener]
    Definition Classes
    Component
  135. def getRegisteredKeyStrokes(): Array[KeyStroke]
    Definition Classes
    JComponent
  136. def getRootPane(): JRootPane
    Definition Classes
    JComponent
  137. def getSize(arg0: Dimension): Dimension
    Definition Classes
    JComponent → Component
  138. def getSize(): Dimension
    Definition Classes
    Component
  139. def getToolTipLocation(arg0: MouseEvent): Point
    Definition Classes
    JComponent
  140. def getToolTipText(arg0: MouseEvent): String
    Definition Classes
    JComponent
  141. def getToolTipText(): String
    Definition Classes
    JComponent
  142. def getToolkit(): Toolkit
    Definition Classes
    Component
  143. def getTopLevelAncestor(): Container
    Definition Classes
    JComponent
  144. def getTransferHandler(): TransferHandler
    Definition Classes
    JComponent → HasGetTransferHandler
  145. final def getTreeLock(): AnyRef
    Definition Classes
    Component
  146. def getUI(): PanelUI
    Definition Classes
    JPanel
  147. def getUIClassID(): String
    Definition Classes
    JPanel → JComponent
  148. def getVerifyInputWhenFocusTarget(): Boolean
    Definition Classes
    JComponent
  149. def getVetoableChangeListeners(): Array[VetoableChangeListener]
    Definition Classes
    JComponent
  150. def getVisibleRect(): Rectangle
    Definition Classes
    JComponent
  151. def getWidth(): Int
    Definition Classes
    JComponent → Component
  152. def getX(): Int
    Definition Classes
    JComponent → Component
  153. def getY(): Int
    Definition Classes
    JComponent → Component
  154. def grabFocus(): Unit
    Definition Classes
    JComponent
  155. def hasFocus(): Boolean
    Definition Classes
    Component
  156. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  157. def imageUpdate(arg0: Image, arg1: Int, arg2: Int, arg3: Int, arg4: Int, arg5: Int): Boolean
    Definition Classes
    Component → ImageObserver
  158. def invalidate(): Unit
    Definition Classes
    Container → Component
  159. def isAncestorOf(arg0: Component): Boolean
    Definition Classes
    Container
  160. def isBackgroundSet(): Boolean
    Definition Classes
    Component
  161. def isCursorSet(): Boolean
    Definition Classes
    Component
  162. def isDisplayable(): Boolean
    Definition Classes
    Component
  163. def isDoubleBuffered(): Boolean
    Definition Classes
    JComponent → Component
  164. def isEnabled(): Boolean
    Definition Classes
    Component
  165. def isFocusCycleRoot(): Boolean
    Definition Classes
    Container
  166. def isFocusCycleRoot(arg0: Container): Boolean
    Definition Classes
    Container → Component
  167. def isFocusOwner(): Boolean
    Definition Classes
    Component
  168. final def isFocusTraversalPolicyProvider(): Boolean
    Definition Classes
    Container
  169. def isFocusTraversalPolicySet(): Boolean
    Definition Classes
    Container
  170. def isFocusable(): Boolean
    Definition Classes
    Component
  171. def isFontSet(): Boolean
    Definition Classes
    Component
  172. def isForegroundSet(): Boolean
    Definition Classes
    Component
  173. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  174. def isLightweight(): Boolean
    Definition Classes
    Component
  175. def isMaximumSizeSet(): Boolean
    Definition Classes
    Component
  176. def isMinimumSizeSet(): Boolean
    Definition Classes
    Component
  177. def isOpaque(): Boolean
    Definition Classes
    JComponent → Component
  178. def isOptimizedDrawingEnabled(): Boolean
    Definition Classes
    JComponent
  179. final def isPaintingForPrint(): Boolean
    Definition Classes
    JComponent
  180. def isPaintingOrigin(): Boolean
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  181. def isPaintingTile(): Boolean
    Definition Classes
    JComponent
  182. def isPreferredSizeSet(): Boolean
    Definition Classes
    Component
  183. def isRequestFocusEnabled(): Boolean
    Definition Classes
    JComponent
  184. def isShowing(): Boolean
    Definition Classes
    Component
  185. def isValid(): Boolean
    Definition Classes
    Component
  186. def isValidateRoot(): Boolean
    Definition Classes
    JComponent → Container
  187. def isVisible(): Boolean
    Definition Classes
    Component
    Annotations
    @Transient()
  188. def list(arg0: PrintWriter, arg1: Int): Unit
    Definition Classes
    Container → Component
  189. def list(arg0: PrintStream, arg1: Int): Unit
    Definition Classes
    Container → Component
  190. def list(arg0: PrintWriter): Unit
    Definition Classes
    Component
  191. def list(arg0: PrintStream): Unit
    Definition Classes
    Component
  192. def list(): Unit
    Definition Classes
    Component
  193. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  194. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  195. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  196. def paint(arg0: Graphics): Unit
    Definition Classes
    JComponent → Container → Component
  197. def paintAll(arg0: Graphics): Unit
    Definition Classes
    Component
  198. def paintBorder(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  199. def paintChildren(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  200. def paintComponent(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  201. def paintComponents(arg0: Graphics): Unit
    Definition Classes
    Container
  202. def paintImmediately(arg0: Rectangle): Unit
    Definition Classes
    JComponent
  203. def paintImmediately(arg0: Int, arg1: Int, arg2: Int, arg3: Int): Unit
    Definition Classes
    JComponent
  204. def paramString(): String
    Attributes
    protected[swing]
    Definition Classes
    JPanel → JComponent → Container → Component
  205. def prepareImage(arg0: Image, arg1: Int, arg2: Int, arg3: ImageObserver): Boolean
    Definition Classes
    Component
  206. def prepareImage(arg0: Image, arg1: ImageObserver): Boolean
    Definition Classes
    Component
  207. def print(arg0: Graphics): Unit
    Definition Classes
    JComponent → Container → Component
  208. def printAll(arg0: Graphics): Unit
    Definition Classes
    JComponent → Component
  209. def printBorder(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  210. def printChildren(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  211. def printComponent(arg0: Graphics): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  212. def printComponents(arg0: Graphics): Unit
    Definition Classes
    Container
  213. def processComponentEvent(arg0: ComponentEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  214. def processComponentKeyEvent(arg0: KeyEvent): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  215. def processContainerEvent(arg0: ContainerEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Container
  216. def processEvent(arg0: AWTEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Container → Component
  217. def processFocusEvent(arg0: FocusEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  218. def processHierarchyBoundsEvent(arg0: HierarchyEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  219. def processHierarchyEvent(arg0: HierarchyEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  220. def processInputMethodEvent(arg0: InputMethodEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  221. def processKeyBinding(arg0: KeyStroke, arg1: KeyEvent, arg2: Int, arg3: Boolean): Boolean
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  222. def processKeyEvent(arg0: KeyEvent): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent → Component
  223. def processMouseEvent(arg0: MouseEvent): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent → Component
  224. def processMouseMotionEvent(arg0: MouseEvent): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent → Component
  225. def processMouseWheelEvent(arg0: MouseWheelEvent): Unit
    Attributes
    protected[awt]
    Definition Classes
    Component
  226. final def putClientProperty(arg0: Any, arg1: Any): Unit
    Definition Classes
    JComponent
  227. def registerKeyboardAction(arg0: ActionListener, arg1: KeyStroke, arg2: Int): Unit
    Definition Classes
    JComponent
  228. def registerKeyboardAction(arg0: ActionListener, arg1: String, arg2: KeyStroke, arg3: Int): Unit
    Definition Classes
    JComponent
  229. def remove(arg0: Component): Unit
    Definition Classes
    Container
  230. def remove(arg0: Int): Unit
    Definition Classes
    Container
  231. def remove(arg0: MenuComponent): Unit
    Definition Classes
    Component → MenuContainer
  232. def removeAll(): Unit
    Definition Classes
    Container
  233. def removeAncestorListener(arg0: AncestorListener): Unit
    Definition Classes
    JComponent
  234. def removeComponentListener(arg0: ComponentListener): Unit
    Definition Classes
    Component
  235. def removeContainerListener(arg0: ContainerListener): Unit
    Definition Classes
    Container
  236. def removeFocusListener(arg0: FocusListener): Unit
    Definition Classes
    Component
  237. def removeHierarchyBoundsListener(arg0: HierarchyBoundsListener): Unit
    Definition Classes
    Component
  238. def removeHierarchyListener(arg0: HierarchyListener): Unit
    Definition Classes
    Component
  239. def removeInputMethodListener(arg0: InputMethodListener): Unit
    Definition Classes
    Component
  240. def removeKeyListener(arg0: KeyListener): Unit
    Definition Classes
    Component
  241. def removeMouseListener(arg0: MouseListener): Unit
    Definition Classes
    Component
  242. def removeMouseMotionListener(arg0: MouseMotionListener): Unit
    Definition Classes
    Component
  243. def removeMouseWheelListener(arg0: MouseWheelListener): Unit
    Definition Classes
    Component
  244. def removeNotify(): Unit
    Definition Classes
    JComponent → Container → Component
  245. def removePropertyChangeListener(arg0: String, arg1: PropertyChangeListener): Unit
    Definition Classes
    Component
  246. def removePropertyChangeListener(arg0: PropertyChangeListener): Unit
    Definition Classes
    Component
  247. def removeVetoableChangeListener(arg0: VetoableChangeListener): Unit
    Definition Classes
    JComponent
  248. def repaint(arg0: Rectangle): Unit
    Definition Classes
    JComponent
  249. def repaint(arg0: Long, arg1: Int, arg2: Int, arg3: Int, arg4: Int): Unit
    Definition Classes
    JComponent → Component
  250. def repaint(arg0: Int, arg1: Int, arg2: Int, arg3: Int): Unit
    Definition Classes
    Component
  251. def repaint(arg0: Long): Unit
    Definition Classes
    Component
  252. def repaint(): Unit
    Definition Classes
    Component
  253. def requestFocus(arg0: Boolean): Boolean
    Definition Classes
    JComponent → Component
  254. def requestFocus(): Unit
    Definition Classes
    JComponent → Component
  255. def requestFocusInWindow(arg0: Boolean): Boolean
    Attributes
    protected[swing]
    Definition Classes
    JComponent → Component
  256. def requestFocusInWindow(): Boolean
    Definition Classes
    JComponent → Component
  257. def resetKeyboardActions(): Unit
    Definition Classes
    JComponent
  258. def revalidate(): Unit
    Definition Classes
    JComponent → Component
  259. def scrollRectToVisible(arg0: Rectangle): Unit
    Definition Classes
    JComponent
  260. final def setActionMap(arg0: ActionMap): Unit
    Definition Classes
    JComponent
  261. def setAlignmentX(arg0: Float): Unit
    Definition Classes
    JComponent
  262. def setAlignmentY(arg0: Float): Unit
    Definition Classes
    JComponent
  263. def setAutoscrolls(arg0: Boolean): Unit
    Definition Classes
    JComponent
  264. def setBackground(arg0: Color): Unit
    Definition Classes
    JComponent → Component
  265. def setBorder(arg0: Border): Unit
    Definition Classes
    JComponent
  266. def setBounds(arg0: Rectangle): Unit
    Definition Classes
    Component
  267. def setBounds(arg0: Int, arg1: Int, arg2: Int, arg3: Int): Unit
    Definition Classes
    Component
  268. def setComponentOrientation(arg0: ComponentOrientation): Unit
    Definition Classes
    Component
  269. def setComponentPopupMenu(arg0: JPopupMenu): Unit
    Definition Classes
    JComponent
  270. def setComponentZOrder(arg0: Component, arg1: Int): Unit
    Definition Classes
    Container
  271. def setCursor(arg0: Cursor): Unit
    Definition Classes
    Component
  272. def setDebugGraphicsOptions(arg0: Int): Unit
    Definition Classes
    JComponent
  273. def setDoubleBuffered(arg0: Boolean): Unit
    Definition Classes
    JComponent
  274. def setDropTarget(arg0: DropTarget): Unit
    Definition Classes
    Component
  275. def setEnabled(arg0: Boolean): Unit
    Definition Classes
    JComponent → Component
  276. def setFocusCycleRoot(arg0: Boolean): Unit
    Definition Classes
    Container
  277. def setFocusTraversalKeys(arg0: Int, arg1: Set[_ <: AWTKeyStroke]): Unit
    Definition Classes
    JComponent → Container → Component
  278. def setFocusTraversalKeysEnabled(arg0: Boolean): Unit
    Definition Classes
    Component
  279. def setFocusTraversalPolicy(arg0: FocusTraversalPolicy): Unit
    Definition Classes
    Container
  280. final def setFocusTraversalPolicyProvider(arg0: Boolean): Unit
    Definition Classes
    Container
  281. def setFocusable(arg0: Boolean): Unit
    Definition Classes
    Component
  282. def setFont(arg0: Font): Unit
    Definition Classes
    JComponent → Container → Component
  283. def setForeground(arg0: Color): Unit
    Definition Classes
    JComponent → Component
  284. def setIgnoreRepaint(arg0: Boolean): Unit
    Definition Classes
    Component
  285. def setInheritsPopupMenu(arg0: Boolean): Unit
    Definition Classes
    JComponent
  286. final def setInputMap(arg0: Int, arg1: InputMap): Unit
    Definition Classes
    JComponent
  287. def setInputVerifier(arg0: InputVerifier): Unit
    Definition Classes
    JComponent
  288. def setLayout(arg0: LayoutManager): Unit
    Definition Classes
    Container
  289. def setLocale(arg0: Locale): Unit
    Definition Classes
    Component
  290. def setLocation(arg0: Point): Unit
    Definition Classes
    Component
  291. def setLocation(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
  292. def setMaximumSize(arg0: Dimension): Unit
    Definition Classes
    JComponent → Component
  293. def setMinimumSize(arg0: Dimension): Unit
    Definition Classes
    JComponent → Component
  294. def setName(arg0: String): Unit
    Definition Classes
    Component
  295. def setOpaque(arg0: Boolean): Unit
    Definition Classes
    JComponent
  296. def setPreferredSize(arg0: Dimension): Unit
    Definition Classes
    JComponent → Component
  297. def setRequestFocusEnabled(arg0: Boolean): Unit
    Definition Classes
    JComponent
  298. def setSize(arg0: Dimension): Unit
    Definition Classes
    Component
  299. def setSize(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
  300. def setToolTipText(arg0: String): Unit
    Definition Classes
    JComponent
  301. def setTransferHandler(arg0: TransferHandler): Unit
    Definition Classes
    JComponent
  302. def setUI(arg0: PanelUI): Unit
    Definition Classes
    JPanel
  303. def setUI(arg0: ComponentUI): Unit
    Attributes
    protected[swing]
    Definition Classes
    JComponent
  304. def setVerifyInputWhenFocusTarget(arg0: Boolean): Unit
    Definition Classes
    JComponent
  305. def setVisible(arg0: Boolean): Unit
    Definition Classes
    JComponent → Component
  306. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  307. def toString(): String
    Definition Classes
    Component → AnyRef → Any
  308. def transferFocus(): Unit
    Definition Classes
    Component
  309. def transferFocusBackward(): Unit
    Definition Classes
    Component
  310. def transferFocusDownCycle(): Unit
    Definition Classes
    Container
  311. def transferFocusUpCycle(): Unit
    Definition Classes
    Component
  312. def unregisterKeyboardAction(arg0: KeyStroke): Unit
    Definition Classes
    JComponent
  313. def update(arg0: Graphics): Unit
    Definition Classes
    JComponent → Container → Component
  314. def updateUI(): Unit
    Definition Classes
    JPanel → JComponent
  315. def validate(): Unit
    Definition Classes
    Container → Component
  316. def validateTree(): Unit
    Attributes
    protected[awt]
    Definition Classes
    Container
  317. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  318. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  319. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def action(arg0: Event, arg1: Any): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  2. def bounds(): Rectangle
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  3. def countComponents(): Int
    Definition Classes
    Container
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  4. def deliverEvent(arg0: Event): Unit
    Definition Classes
    Container → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  5. def disable(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  6. def enable(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  7. def enable(arg0: Boolean): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  8. def getNextFocusableComponent(): Component
    Definition Classes
    JComponent
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  9. def getPeer(): ComponentPeer
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  10. def gotFocus(arg0: Event, arg1: Any): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  11. def handleEvent(arg0: Event): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  12. def hide(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  13. def insets(): Insets
    Definition Classes
    Container
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  14. def inside(arg0: Int, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  15. def isFocusTraversable(): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  16. def isManagingFocus(): Boolean
    Definition Classes
    JComponent
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  17. def keyDown(arg0: Event, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  18. def keyUp(arg0: Event, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  19. def layout(): Unit
    Definition Classes
    Container → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  20. def locate(arg0: Int, arg1: Int): Component
    Definition Classes
    Container → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  21. def location(): Point
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  22. def lostFocus(arg0: Event, arg1: Any): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  23. def minimumSize(): Dimension
    Definition Classes
    Container → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  24. def mouseDown(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  25. def mouseDrag(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  26. def mouseEnter(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  27. def mouseExit(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  28. def mouseMove(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  29. def mouseUp(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  30. def move(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  31. def nextFocus(): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  32. def postEvent(arg0: Event): Boolean
    Definition Classes
    Component → MenuContainer
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  33. def preferredSize(): Dimension
    Definition Classes
    Container → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  34. def requestDefaultFocus(): Boolean
    Definition Classes
    JComponent
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  35. def reshape(arg0: Int, arg1: Int, arg2: Int, arg3: Int): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  36. def resize(arg0: Dimension): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  37. def resize(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  38. def setNextFocusableComponent(arg0: Component): Unit
    Definition Classes
    JComponent
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  39. def show(arg0: Boolean): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  40. def show(): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  41. def size(): Dimension
    Definition Classes
    Component
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from JPanel

Inherited from Accessible

Inherited from JComponent

Inherited from HasGetTransferHandler

Inherited from Container

Inherited from Component

Inherited from Serializable

Inherited from MenuContainer

Inherited from ImageObserver

Inherited from AnyRef

Inherited from Any

Ungrouped