Class

ui

UI

Related Doc: package ui

Permalink

class UI extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UI
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UI()

    Permalink

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object CGFileFilter extends FileFilter

    Permalink
  5. object DOTFileFilter extends FileFilter

    Permalink
  6. object KCRFileFilter extends FileFilter

    Permalink
  7. object PythonFilter extends FileFilter

    Permalink
  8. object SMVFileFilter extends FileFilter

    Permalink
  9. object XMLFileFilter extends FileFilter

    Permalink
  10. def abortableCode(toDo: ⇒ Unit): Unit

    Permalink
  11. def addPathMenuItem(t: ToolInterface, menu: JMenu, isLabel: Boolean = false): Unit

    Permalink
  12. val addsPanel: JPanel

    Permalink
  13. val analysisMenu: JMenu

    Permalink
  14. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  15. val buildAdds: JPanel

    Permalink
  16. val buildButton: JButton

    Permalink
  17. val checkCoherence: JMenuItem

    Permalink
  18. val checkMinCard: JMenuItem

    Permalink
  19. val checkR: JMenuItem

    Permalink
  20. val clear: JButton

    Permalink
  21. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. val computeMCS: JMenuItem

    Permalink
  23. val computeMinCard: JMenuItem

    Permalink
  24. val computeR: JMenuItem

    Permalink
  25. val config: Config

    Permalink
  26. val configField: JComboBox[ConfigIdent]

    Permalink
  27. val configLabel: JLabel

    Permalink
  28. val consoleResult: ConsoleTextPane

    Permalink
  29. val consoleScrollPane: JScrollPane

    Permalink
  30. val container: Container

    Permalink
  31. val cutGenMethode: JMenuItem

    Permalink
  32. val cutSize: JCheckBoxMenuItem

    Permalink
  33. val cutTh: JTextField

    Permalink
  34. val displayArchitecture: JMenuItem

    Permalink
  35. val displayPhiBDD: JMenuItem

    Permalink
  36. val displaySTT: JMenuItem

    Permalink
  37. val editMenu: JMenu

    Permalink
  38. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  39. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  40. val explorationMethode: JMenuItem

    Permalink
  41. val exportCG: JMenuItem

    Permalink
  42. val exportHipHOPS: JMenuItem

    Permalink
  43. val exportMDDIn: JMenuItem

    Permalink
  44. val exportPhi: JMenuItem

    Permalink
  45. val exportPhiPSA: JMenuItem

    Permalink
  46. val exportSMV: JMenuItem

    Permalink
  47. val exportSage: JMenuItem

    Permalink
  48. val exportSolution: JCheckBoxMenuItem

    Permalink
  49. val fc: JFileChooser

    Permalink
  50. val fileMenu: JMenu

    Permalink
  51. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  52. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  53. def getCurrentConf: Option[ConfigIdent]

    Permalink
  54. def getScreenSize: Dimension

    Permalink
  55. def getSelectedDrawer: Option[Drawer]

    Permalink
  56. def getSelectedKCRPane: Option[CodeContainer]

    Permalink
  57. def getToolPathOf(t: ToolInterface): Option[Path]

    Permalink
  58. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  59. val headerContainer: JPanel

    Permalink
  60. val highlight: JButton

    Permalink
  61. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  62. val jFrame: JFrame

    Permalink
  63. val menuBar: JMenuBar

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

    Permalink
    Definition Classes
    AnyRef
  65. val newFile: JMenuItem

    Permalink
  66. val nextButton: JButton

    Permalink
  67. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  69. val openFile: JMenuItem

    Permalink
  70. def openTabFromFile(file: File): Unit

    Permalink
  71. val optionMenu: JMenu

    Permalink
  72. val reformat: JMenuItem

    Permalink
  73. def refreshConfigList(comboBox: JComboBox[ConfigIdent]): Unit

    Permalink
  74. val reinit: JButton

    Permalink
  75. val resultScroll: JScrollPane

    Permalink
  76. val runExploration: JMenuItem

    Permalink
  77. val save: JMenuItem

    Permalink
  78. val saveAs: JMenuItem

    Permalink
  79. val simuAdds: JPanel

    Permalink
  80. val simulationMenu: JMenu

    Permalink
  81. val stopSim: JButton

    Permalink
  82. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  83. val tabbedPane: JTabbedPane

    Permalink
  84. def time[A](f: () ⇒ A): (A, Double)

    Permalink
  85. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  86. val toolPathMenu: JMenu

    Permalink
  87. val traceTreeWalker: JMenuItem

    Permalink
  88. val uiDim: Dimension

    Permalink
  89. val verbose: JCheckBoxMenuItem

    Permalink
  90. val viewMenu: JMenu

    Permalink
  91. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped