Class

at.logic.gapt.prooftool

SunburstTreeDialog

Related Doc: package prooftool

Permalink

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
Type Hierarchy
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)

    Permalink

Type Members

  1. trait InterfaceMixin extends scala.swing.RichWindow.InterfaceMixin

    Permalink
    Definition Classes
    RichWindow
  2. trait SuperMixin extends Window

    Permalink
    Attributes
    protected
    Definition Classes
    Window

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

    Permalink
    Implicit information
    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)

    Permalink
    Implicit information
    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

    Permalink
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def background: Color

    Permalink
    Definition Classes
    UIElement
  8. def background_=(c: Color): Unit

    Permalink
    Definition Classes
    UIElement
  9. def bounds: Rectangle

    Permalink
    Definition Classes
    UIElement
  10. def bounds_=(rect: Rectangle): Unit

    Permalink
    Definition Classes
    Window
  11. def centerOnScreen(): Unit

    Permalink
    Definition Classes
    Window
  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. def close(): Unit

    Permalink
    Definition Classes
    Window
  14. def closeOperation(): Unit

    Permalink
    Definition Classes
    Window
  15. def componentOrientation: ComponentOrientation

    Permalink
    Definition Classes
    UIElement
  16. def componentOrientation_=(x: ComponentOrientation): Unit

    Permalink
    Definition Classes
    UIElement
  17. def contents: Seq[Component]

    Permalink
    Definition Classes
    RootPanel → Container
  18. def contents_=(c: Component): Unit

    Permalink
    Definition Classes
    Window → RootPanel
  19. def cursor: Cursor

    Permalink
    Definition Classes
    UIElement
  20. def cursor_=(c: Cursor): Unit

    Permalink
    Definition Classes
    UIElement
  21. def deafTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  22. def defaultButton: Option[Button]

    Permalink
    Definition Classes
    Window
  23. def defaultButton_=(b: Option[Button]): Unit

    Permalink
    Definition Classes
    Window
  24. def defaultButton_=(b: Button): Unit

    Permalink
    Definition Classes
    Window
  25. def displayable: Boolean

    Permalink
    Definition Classes
    UIElement
  26. def dispose(): Unit

    Permalink
    Definition Classes
    Window
  27. def ensuring(cond: (SunburstTreeDialog[F, T]) ⇒ Boolean, msg: ⇒ Any): SunburstTreeDialog[F, T]

    Permalink
    Implicit information
    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]

    Permalink
    Implicit information
    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]

    Permalink
    Implicit information
    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]

    Permalink
    Implicit information
    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

    Permalink
    Definition Classes
    AnyRef
  32. def equals(that: Any): Boolean

    Permalink
    Definition Classes
    Proxy → Any
  33. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  34. def font: Font

    Permalink
    Definition Classes
    UIElement
  35. def font_=(f: Font): Unit

    Permalink
    Definition Classes
    UIElement
  36. def foreground: Color

    Permalink
    Definition Classes
    UIElement
  37. def foreground_=(c: Color): Unit

    Permalink
    Definition Classes
    UIElement
  38. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    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[_]

    Permalink
    Definition Classes
    AnyRef → Any
  40. def hashCode(): Int

    Permalink
    Definition Classes
    Proxy → Any
  41. def iconImage: Image

    Permalink
    Definition Classes
    Frame
  42. def iconImage_=(i: Image): Unit

    Permalink
    Definition Classes
    Frame
  43. def iconified: Boolean

    Permalink
    Definition Classes
    Frame
  44. def iconify(): Unit

    Permalink
    Definition Classes
    Frame
  45. def ignoreRepaint: Boolean

    Permalink
    Definition Classes
    UIElement
  46. def ignoreRepaint_=(b: Boolean): Unit

    Permalink
    Definition Classes
    UIElement
  47. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  48. def listenTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  49. val listeners: RefSet[Reaction] { val underlying: scala.collection.mutable.HashSet[scala.ref.Reference[scala.swing.Reactions.Reaction]] }

    Permalink
    Attributes
    protected
    Definition Classes
    Publisher
  50. def locale: Locale

    Permalink
    Definition Classes
    UIElement
  51. def location: Point

    Permalink
    Definition Classes
    UIElement
  52. def locationOnScreen: Point

    Permalink
    Definition Classes
    UIElement
  53. def location_=(p: Point): Unit

    Permalink
    Definition Classes
    Window
  54. val main: SplitPane { ... /* 3 definitions in type refinement */ }

    Permalink
  55. val mainWindow: DagProofViewer[T]

    Permalink
  56. def maximize(): Unit

    Permalink
    Definition Classes
    Frame
  57. def maximized: Boolean

    Permalink
    Definition Classes
    Frame
  58. def maximumSize: Dimension

    Permalink
    Definition Classes
    UIElement
  59. def maximumSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  60. def menuBar: MenuBar

    Permalink
    Definition Classes
    RichWindow
  61. def menuBar_=(m: MenuBar): Unit

    Permalink
    Definition Classes
    RichWindow
  62. def minimumSize: Dimension

    Permalink
    Definition Classes
    UIElement
  63. def minimumSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  64. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  65. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  66. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  67. def onFirstSubscribe(): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  68. def onLastUnsubscribe(): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  69. def open(): Unit

    Permalink
    Definition Classes
    Window
  70. def owner: Window

    Permalink
    Definition Classes
    Window
  71. def pack(): SunburstTreeDialog.this.type

    Permalink
    Definition Classes
    Window
  72. lazy val peer: JFrame with InterfaceMixin

    Permalink
    Definition Classes
    Frame → RichWindow → Window → RootPanel → UIElement
  73. def preferredSize: Dimension

    Permalink
    Definition Classes
    UIElement
  74. def preferredSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  75. def publish(e: Event): Unit

    Permalink
    Definition Classes
    Publisher
  76. val reactions: Reactions

    Permalink
    Definition Classes
    Reactor
  77. def repaint(rect: Rectangle): Unit

    Permalink
    Definition Classes
    UIElement
  78. def repaint(): Unit

    Permalink
    Definition Classes
    UIElement
  79. def resizable: Boolean

    Permalink
    Definition Classes
    RichWindow
  80. def resizable_=(b: Boolean): Unit

    Permalink
    Definition Classes
    RichWindow
  81. def self: Component

    Permalink
    Definition Classes
    UIElement → Proxy
  82. def setLocationRelativeTo(c: UIElement): Unit

    Permalink
    Definition Classes
    Window
  83. def showing: Boolean

    Permalink
    Definition Classes
    UIElement
  84. def size: Dimension

    Permalink
    Definition Classes
    UIElement
  85. def size_=(size: Dimension): Unit

    Permalink
    Definition Classes
    Window
  86. def subscribe(listener: Reaction): Unit

    Permalink
    Definition Classes
    LazyPublisher → Publisher
  87. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  88. def title: String

    Permalink
    Definition Classes
    RichWindow
  89. def title_=(s: String): Unit

    Permalink
    Definition Classes
    RichWindow
  90. def toString(): String

    Permalink
    Definition Classes
    Proxy → Any
  91. def toolkit: Toolkit

    Permalink
    Definition Classes
    UIElement
  92. def uniconify(): Unit

    Permalink
    Definition Classes
    Frame
  93. def unmaximize(): Unit

    Permalink
    Definition Classes
    Frame
  94. def unsubscribe(listener: Reaction): Unit

    Permalink
    Definition Classes
    LazyPublisher → Publisher
  95. def validate(): Unit

    Permalink
    Definition Classes
    UIElement
  96. def visible: Boolean

    Permalink
    Definition Classes
    UIElement
  97. def visible_=(b: Boolean): Unit

    Permalink
    Definition Classes
    UIElement
  98. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  99. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  100. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  101. def [B](y: B): (SunburstTreeDialog[F, T], B)

    Permalink
    Implicit information
    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