c

gapt.prooftool

SunburstTreeDialog

class SunburstTreeDialog[F, T <: SequentProof[F, T]] extends Frame

Source
SunburstTreeDialog.scala
Linear Supertypes
Frame, RichWindow, Window, RootPanel, Container, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SunburstTreeDialog
  2. Frame
  3. RichWindow
  4. Window
  5. RootPanel
  6. Container
  7. UIElement
  8. LazyPublisher
  9. Publisher
  10. Reactor
  11. Proxy
  12. AnyRef
  13. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SunburstTreeDialog(mainWindow: DagProofViewer[T], name: String, proof: DagProof[T], sequent_element_renderer: (F) ⇒ String)

Type Members

  1. trait InterfaceMixin extends scala.swing.RichWindow.InterfaceMixin
    Definition Classes
    RichWindow
  2. trait SuperMixin extends Window
    Attributes
    protected
    Definition Classes
    Window

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 SunburstTreeDialog[F, T] to any2stringadd[SunburstTreeDialog[F, T]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (SunburstTreeDialog[F, T], B)
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to ArrowAssoc[SunburstTreeDialog[F, T]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def background: Color
    Definition Classes
    UIElement
  8. def background_=(c: Color): Unit
    Definition Classes
    UIElement
  9. def bounds: Rectangle
    Definition Classes
    UIElement
  10. def bounds_=(rect: Rectangle): Unit
    Definition Classes
    Window
  11. def centerOnScreen(): Unit
    Definition Classes
    Window
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  13. def close(): Unit
    Definition Classes
    Window
  14. def closeOperation(): Unit
    Definition Classes
    Window
  15. def componentOrientation: ComponentOrientation
    Definition Classes
    UIElement
  16. def componentOrientation_=(x: ComponentOrientation): Unit
    Definition Classes
    UIElement
  17. def contents: Seq[Component]
    Definition Classes
    RootPanel → Container
  18. def contents_=(c: Component): Unit
    Definition Classes
    Window → RootPanel
  19. def cursor: Cursor
    Definition Classes
    UIElement
  20. def cursor_=(c: Cursor): Unit
    Definition Classes
    UIElement
  21. def deafTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  22. def defaultButton: Option[Button]
    Definition Classes
    Window
  23. def defaultButton_=(b: Option[Button]): Unit
    Definition Classes
    Window
  24. def defaultButton_=(b: Button): Unit
    Definition Classes
    Window
  25. def displayable: Boolean
    Definition Classes
    UIElement
  26. def dispose(): Unit
    Definition Classes
    Window
  27. def ensuring(cond: (SunburstTreeDialog[F, T]) ⇒ Boolean, msg: ⇒ Any): SunburstTreeDialog[F, T]
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to Ensuring[SunburstTreeDialog[F, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  28. def ensuring(cond: (SunburstTreeDialog[F, T]) ⇒ Boolean): SunburstTreeDialog[F, T]
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to Ensuring[SunburstTreeDialog[F, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  29. def ensuring(cond: Boolean, msg: ⇒ Any): SunburstTreeDialog[F, T]
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to Ensuring[SunburstTreeDialog[F, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  30. def ensuring(cond: Boolean): SunburstTreeDialog[F, T]
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to Ensuring[SunburstTreeDialog[F, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  31. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. def equals(that: Any): Boolean
    Definition Classes
    Proxy → Any
  33. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  34. def font: Font
    Definition Classes
    UIElement
  35. def font_=(f: Font): Unit
    Definition Classes
    UIElement
  36. def foreground: Color
    Definition Classes
    UIElement
  37. def foreground_=(c: Color): Unit
    Definition Classes
    UIElement
  38. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to StringFormat[SunburstTreeDialog[F, T]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  39. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  40. def hashCode(): Int
    Definition Classes
    Proxy → Any
  41. def iconImage: Image
    Definition Classes
    Frame
  42. def iconImage_=(i: Image): Unit
    Definition Classes
    Frame
  43. def iconified: Boolean
    Definition Classes
    Frame
  44. def iconify(): Unit
    Definition Classes
    Frame
  45. def ignoreRepaint: Boolean
    Definition Classes
    UIElement
  46. def ignoreRepaint_=(b: Boolean): Unit
    Definition Classes
    UIElement
  47. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  48. def listenTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  49. val listeners: RefSet[Reaction] { val underlying: scala.collection.mutable.HashSet[scala.ref.Reference[scala.swing.Reactions.Reaction]] }
    Attributes
    protected
    Definition Classes
    Publisher
  50. def locale: Locale
    Definition Classes
    UIElement
  51. def location: Point
    Definition Classes
    UIElement
  52. def locationOnScreen: Point
    Definition Classes
    UIElement
  53. def location_=(p: Point): Unit
    Definition Classes
    Window
  54. val main: SplitPane { ... /* 3 definitions in type refinement */ }
  55. val mainWindow: DagProofViewer[T]
  56. def maximize(): Unit
    Definition Classes
    Frame
  57. def maximized: Boolean
    Definition Classes
    Frame
  58. def maximumSize: Dimension
    Definition Classes
    UIElement
  59. def maximumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  60. def menuBar: MenuBar
    Definition Classes
    RichWindow
  61. def menuBar_=(m: MenuBar): Unit
    Definition Classes
    RichWindow
  62. def minimumSize: Dimension
    Definition Classes
    UIElement
  63. def minimumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  64. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  65. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  66. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  67. def onFirstSubscribe(): Unit
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  68. def onLastUnsubscribe(): Unit
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  69. def open(): Unit
    Definition Classes
    Window
  70. def owner: Window
    Definition Classes
    Window
  71. def pack(): SunburstTreeDialog.this.type
    Definition Classes
    Window
  72. lazy val peer: JFrame with InterfaceMixin
    Definition Classes
    Frame → RichWindow → Window → RootPanel → UIElement
  73. def preferredSize: Dimension
    Definition Classes
    UIElement
  74. def preferredSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  75. def publish(e: Event): Unit
    Definition Classes
    Publisher
  76. val reactions: Reactions
    Definition Classes
    Reactor
  77. def repaint(rect: Rectangle): Unit
    Definition Classes
    UIElement
  78. def repaint(): Unit
    Definition Classes
    UIElement
  79. def resizable: Boolean
    Definition Classes
    RichWindow
  80. def resizable_=(b: Boolean): Unit
    Definition Classes
    RichWindow
  81. def self: Component
    Definition Classes
    UIElement → Proxy
  82. def setLocationRelativeTo(c: UIElement): Unit
    Definition Classes
    Window
  83. def showing: Boolean
    Definition Classes
    UIElement
  84. def size: Dimension
    Definition Classes
    UIElement
  85. def size_=(size: Dimension): Unit
    Definition Classes
    Window
  86. def subscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  87. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  88. def title: String
    Definition Classes
    RichWindow
  89. def title_=(s: String): Unit
    Definition Classes
    RichWindow
  90. def toString(): String
    Definition Classes
    Proxy → Any
  91. def toolkit: Toolkit
    Definition Classes
    UIElement
  92. def uniconify(): Unit
    Definition Classes
    Frame
  93. def unmaximize(): Unit
    Definition Classes
    Frame
  94. def unsubscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  95. def validate(): Unit
    Definition Classes
    UIElement
  96. def visible: Boolean
    Definition Classes
    UIElement
  97. def visible_=(b: Boolean): Unit
    Definition Classes
    UIElement
  98. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  99. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  100. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  101. def [B](y: B): (SunburstTreeDialog[F, T], B)
    Implicit
    This member is added by an implicit conversion from SunburstTreeDialog[F, T] to ArrowAssoc[SunburstTreeDialog[F, T]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Frame

Inherited from RichWindow

Inherited from Window

Inherited from RootPanel

Inherited from Container

Inherited from UIElement

Inherited from LazyPublisher

Inherited from Publisher

Inherited from Reactor

Inherited from Proxy

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from SunburstTreeDialog[F, T] to any2stringadd[SunburstTreeDialog[F, T]]

Inherited by implicit conversion StringFormat from SunburstTreeDialog[F, T] to StringFormat[SunburstTreeDialog[F, T]]

Inherited by implicit conversion Ensuring from SunburstTreeDialog[F, T] to Ensuring[SunburstTreeDialog[F, T]]

Inherited by implicit conversion ArrowAssoc from SunburstTreeDialog[F, T] to ArrowAssoc[SunburstTreeDialog[F, T]]

Ungrouped