1 24 25 package org.objectweb.clif.analyser.lib.gui; 26 27 import java.awt.event.ActionEvent ; 28 import java.awt.event.ActionListener ; 29 import java.awt.event.KeyEvent ; 30 import java.awt.*; 31 import java.util.Map ; 32 import java.util.HashMap ; 33 import java.util.Iterator ; 34 import java.util.Observer ; 35 import java.util.Observable ; 36 import java.math.BigInteger ; 37 import javax.swing.*; 38 import org.objectweb.clif.analyser.AutomaticAnalyser; 39 import org.objectweb.clif.analyser.Analyser; 40 import org.objectweb.clif.analyser.lib.gui.GraphAnalyser; 41 import org.objectweb.clif.analyser.lib.gui.GuiPanelAnalyser; 42 import org.objectweb.clif.analyser.lib.gui.GuiPanelAutomaticAnalyser; 43 import org.objectweb.clif.analyser.api.AnalyserControl; 44 import org.objectweb.clif.console.lib.gui.GuiPanelOutput; 45 46 47 48 52 53 public class GuiAnalyserImpl extends JInternalFrame 54 { 55 56 public GuiAnalyserImpl(Object ac,JFrame frame) 57 { 58 super("Analyzer tool", true, false, true, true); 59 JTabbedPane tabbedPane = new JTabbedPane(); 60 61 GuiPanelAnalyser guiPanelAnalyser = new GuiPanelAnalyser(); 62 tabbedPane.addTab("Manual Analysis", null,guiPanelAnalyser); 63 64 GuiPanelAutomaticAnalyser guiPanelAutomatic = new GuiPanelAutomaticAnalyser(); 65 tabbedPane.addTab("Automatic Analysis", null,guiPanelAutomatic,"Not yet available - Still in progress!"); 66 67 getContentPane().setLayout(new BorderLayout()); 68 getContentPane().add(BorderLayout.CENTER, tabbedPane); 69 } 70 71 72 73 } 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 | Popular Tags |