source: trunk/autoquest-plugin-jfc/data/guimappings/guimapping-swing.txt @ 2080

Last change on this file since 2080 was 2022, checked in by pharms, 9 years ago
  • extended GUI mapping for Borg case study
  • Property svn:mime-type set to text/plain
File size: 4.4 KB
RevLine 
[1737]1javax.swing.Box = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[1052]2javax.swing.Box$Filler = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
3javax.swing.CellRendererPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[1566]4javax.swing.JFrame = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCFrame
[922]5javax.swing.JButton = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCButton
[1052]6javax.swing.JCheckBox = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCCheckBox
[922]7javax.swing.JComboBox = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCComboBox
8javax.swing.JDialog = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCDialog
9javax.swing.JEditorPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextArea
10javax.swing.JFileChooser = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCDialog
[1052]11javax.swing.JLabel = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCText
[1841]12javax.swing.JLayer = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[922]13javax.swing.JLayeredPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
14javax.swing.JMenu = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
15javax.swing.JMenu$1 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
[1737]16javax.swing.JMenuBar = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
[1124]17javax.swing.JMenuItem = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenuButton
[922]18javax.swing.JOptionPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCDialog
19javax.swing.JPanel = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
20javax.swing.JPopupMenu = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
21javax.swing.JPopupMenu$1 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
[1052]22javax.swing.JProgressBar = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCProgressBar
[922]23javax.swing.JRadioButton = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCRadioButton
24javax.swing.JRootPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
25javax.swing.JScrollPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCScrollPane
26javax.swing.JScrollPane$ScrollBar = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCScrollBar
[1737]27javax.swing.JScrollBar = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCScrollBar
[1052]28javax.swing.JSeparator = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCShape
[1841]29javax.swing.JSpinner = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextField
[922]30javax.swing.JSplitPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCSplitPane
31javax.swing.JTabbedPane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTabbedPane
32javax.swing.JTable = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTable
[2022]33javax.swing.JTree = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTree
[922]34javax.swing.JTextArea = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextArea
35javax.swing.JTextField = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextField
[1097]36javax.swing.JToggleButton = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCButton
[1052]37javax.swing.JToolBar = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCToolBar
[922]38javax.swing.JToolBar$1 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCToolBar
[1052]39javax.swing.JToolBar$Separator = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCShape
40javax.swing.JToolTip = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[922]41javax.swing.JViewport = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[1737]42javax.swing.JWindow = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCFrame
[922]43javax.swing.Popup$HeavyWeightWindow = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCDialog
[1857]44javax.swing.PopupFactory$MediumWeightPopup$MediumWeightComponent = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCDialog
[922]45javax.swing.plaf.basic.BasicComboBoxEditor$BorderlessTextField = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextField
46javax.swing.plaf.basic.BasicComboPopup$1 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCMenu
47javax.swing.plaf.metal.MetalComboBoxButton = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCButton
48javax.swing.plaf.metal.MetalFileChooserUI$1 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
49javax.swing.plaf.metal.MetalFileChooserUI$3 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCTextField
50javax.swing.plaf.metal.MetalScrollButton = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCScrollBar
[1052]51javax.swing.plaf.metal.MetalSplitPaneDivider = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCShape
[1097]52javax.swing.plaf.synth.SynthSplitPaneDivider = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCShape
[1052]53javax.swing.table.JTableHeader = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
[922]54sun.swing.FilePane = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
55sun.swing.FilePane$3 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
56sun.swing.FilePane$4 = de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCPanel
Note: See TracBrowser for help on using the repository browser.