t

gapt.prooftool

ReactiveSunburstView

trait ReactiveSunburstView extends SunburstView with Publisher

This is a wrapper around the Sunburst Tree from the treeviz library. It provides a listener for the selection of a node in tree.

Source
ReactiveSunburstTree.scala
Linear Supertypes
Publisher, Reactor, SunburstView, TreeView, SunburstViewer, JPanel, Accessible, JComponent, HasGetTransferHandler, Container, Component, Serializable, MenuContainer, ImageObserver, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ReactiveSunburstView
  2. Publisher
  3. Reactor
  4. SunburstView
  5. TreeView
  6. SunburstViewer
  7. JPanel
  8. Accessible
  9. JComponent
  10. HasGetTransferHandler
  11. Container
  12. Component
  13. Serializable
  14. MenuContainer
  15. ImageObserver
  16. AnyRef
  17. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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

Deprecated Value Members

  1. def action(arg0: Event, arg1: AnyRef): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  2. def bounds(): Rectangle
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  3. def countComponents(): Int
    Definition Classes
    Container
    Annotations
    @Deprecated
    Deprecated
  4. def deliverEvent(arg0: Event): Unit
    Definition Classes
    Container → Component
    Annotations
    @Deprecated
    Deprecated
  5. def disable(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated
    Deprecated
  6. def enable(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated
    Deprecated
  7. def enable(arg0: Boolean): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated
  9. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from ReactiveSunburstView toStringFormat[ReactiveSunburstView] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

  10. def getNextFocusableComponent(): Component
    Definition Classes
    JComponent
    Annotations
    @Deprecated
    Deprecated
  11. def gotFocus(arg0: Event, arg1: AnyRef): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  12. def handleEvent(arg0: Event): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  13. def hide(): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated
    Deprecated
  14. def insets(): Insets
    Definition Classes
    Container
    Annotations
    @Deprecated
    Deprecated
  15. def inside(arg0: Int, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  16. def isFocusTraversable(): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  17. def isManagingFocus(): Boolean
    Definition Classes
    JComponent
    Annotations
    @Deprecated @BeanProperty()
    Deprecated
  18. def keyDown(arg0: Event, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  19. def keyUp(arg0: Event, arg1: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  20. def layout(): Unit
    Definition Classes
    Container → Component
    Annotations
    @Deprecated
    Deprecated
  21. def locate(arg0: Int, arg1: Int): Component
    Definition Classes
    Container → Component
    Annotations
    @Deprecated
    Deprecated
  22. def location(): Point
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  23. def lostFocus(arg0: Event, arg1: AnyRef): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  24. def minimumSize(): Dimension
    Definition Classes
    Container → Component
    Annotations
    @Deprecated
    Deprecated
  25. def mouseDown(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  26. def mouseDrag(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  27. def mouseEnter(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  28. def mouseExit(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  29. def mouseMove(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  30. def mouseUp(arg0: Event, arg1: Int, arg2: Int): Boolean
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  31. def move(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  32. def nextFocus(): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  33. def postEvent(arg0: Event): Boolean
    Definition Classes
    Component → MenuContainer
    Annotations
    @Deprecated
    Deprecated
  34. def preferredSize(): Dimension
    Definition Classes
    Container → Component
    Annotations
    @Deprecated
    Deprecated
  35. def requestDefaultFocus(): Boolean
    Definition Classes
    JComponent
    Annotations
    @Deprecated
    Deprecated
  36. def reshape(arg0: Int, arg1: Int, arg2: Int, arg3: Int): Unit
    Definition Classes
    JComponent → Component
    Annotations
    @Deprecated
    Deprecated
  37. def resize(arg0: Dimension): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  38. def resize(arg0: Int, arg1: Int): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  39. def setNextFocusableComponent(arg0: Component): Unit
    Definition Classes
    JComponent
    Annotations
    @Deprecated
    Deprecated
  40. def show(arg0: Boolean): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  41. def show(): Unit
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  42. def size(): Dimension
    Definition Classes
    Component
    Annotations
    @Deprecated
    Deprecated
  43. def →[B](y: B): (ReactiveSunburstView, B)
    Implicit
    This member is added by an implicit conversion from ReactiveSunburstView toArrowAssoc[ReactiveSunburstView] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from Publisher

Inherited from Reactor

Inherited from SunburstView

Inherited from TreeView

Inherited from SunburstViewer

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

Inherited by implicit conversion any2stringadd fromReactiveSunburstView to any2stringadd[ReactiveSunburstView]

Inherited by implicit conversion StringFormat fromReactiveSunburstView to StringFormat[ReactiveSunburstView]

Inherited by implicit conversion Ensuring fromReactiveSunburstView to Ensuring[ReactiveSunburstView]

Inherited by implicit conversion ArrowAssoc fromReactiveSunburstView to ArrowAssoc[ReactiveSunburstView]

Ungrouped