ui
UI
Related Doc:
package ui
class
UI
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
UI
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
UI
()
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
CGFileFilter
extends
FileFilter
object
DOTFileFilter
extends
FileFilter
object
KCRFileFilter
extends
FileFilter
object
PythonFilter
extends
FileFilter
object
SMVFileFilter
extends
FileFilter
object
XMLFileFilter
extends
FileFilter
def
abortableCode
(
toDo: ⇒
Unit
)
:
Unit
def
addPathMenuItem
(
t:
ToolInterface
,
menu:
JMenu
,
isLabel:
Boolean
=
false
)
:
Unit
val
addsPanel
:
JPanel
val
analysisMenu
:
JMenu
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
buildAdds
:
JPanel
val
buildButton
:
JButton
val
checkCoherence
:
JMenuItem
val
checkMinCard
:
JMenuItem
val
checkR
:
JMenuItem
val
clear
:
JButton
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
computeMCS
:
JMenuItem
val
computeMinCard
:
JMenuItem
val
computeR
:
JMenuItem
val
config
:
Config
val
configField
:
JComboBox
[
ConfigIdent
]
val
configLabel
:
JLabel
val
consoleResult
:
ConsoleTextPane
val
consoleScrollPane
:
JScrollPane
val
container
:
Container
val
cutGenMethode
:
JMenuItem
val
cutSize
:
JCheckBoxMenuItem
val
cutTh
:
JTextField
val
displayArchitecture
:
JMenuItem
val
displayPhiBDD
:
JMenuItem
val
displaySTT
:
JMenuItem
val
editMenu
:
JMenu
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
explorationMethode
:
JMenuItem
val
exportCG
:
JMenuItem
val
exportHipHOPS
:
JMenuItem
val
exportMDDIn
:
JMenuItem
val
exportPhi
:
JMenuItem
val
exportPhiPSA
:
JMenuItem
val
exportSMV
:
JMenuItem
val
exportSage
:
JMenuItem
val
exportSolution
:
JCheckBoxMenuItem
val
fc
:
JFileChooser
val
fileMenu
:
JMenu
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
getCurrentConf
:
Option
[
ConfigIdent
]
def
getScreenSize
:
Dimension
def
getSelectedDrawer
:
Option
[
Drawer
]
def
getSelectedKCRPane
:
Option
[
CodeContainer
]
def
getToolPathOf
(
t:
ToolInterface
)
:
Option
[
Path
]
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
val
headerContainer
:
JPanel
val
highlight
:
JButton
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
jFrame
:
JFrame
val
menuBar
:
JMenuBar
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
newFile
:
JMenuItem
val
nextButton
:
JButton
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
openFile
:
JMenuItem
def
openTabFromFile
(
file:
File
)
:
Unit
val
optionMenu
:
JMenu
val
reformat
:
JMenuItem
def
refreshConfigList
(
comboBox:
JComboBox
[
ConfigIdent
]
)
:
Unit
val
reinit
:
JButton
val
resultScroll
:
JScrollPane
val
runExploration
:
JMenuItem
val
save
:
JMenuItem
val
saveAs
:
JMenuItem
val
simuAdds
:
JPanel
val
simulationMenu
:
JMenu
val
stopSim
:
JButton
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
val
tabbedPane
:
JTabbedPane
def
time
[
A
]
(
f: () ⇒
A
)
: (
A
,
Double
)
def
toString
()
:
String
Definition Classes
AnyRef → Any
val
toolPathMenu
:
JMenu
val
traceTreeWalker
:
JMenuItem
val
uiDim
:
Dimension
val
verbose
:
JCheckBoxMenuItem
val
viewMenu
:
JMenu
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped