.. java:import:: fr.inria.tapenade.representation CallGraph .. java:import:: fr.inria.tapenade.representation TapList .. java:import:: fr.inria.tapenade.representation Unit .. java:import:: fr.inria.tapenade.representation ZoneInfo .. java:import:: fr.inria.tapenade.toplevel Tapenade .. java:import:: java.awt Color .. java:import:: java.awt Component .. java:import:: java.awt Dimension .. java:import:: java.awt FlowLayout .. java:import:: java.awt Font .. java:import:: java.awt GridBagLayout .. java:import:: java.awt Rectangle .. java:import:: java.awt Window .. java:import:: java.io File .. java:import:: java.io InputStream .. java:import:: java.util ArrayList .. java:import:: java.util Enumeration .. java:import:: java.util List .. java:import:: java.util Objects .. java:import:: javax.swing BorderFactory .. java:import:: javax.swing ButtonGroup .. java:import:: javax.swing DefaultComboBoxModel .. java:import:: javax.swing DefaultListModel .. java:import:: javax.swing ImageIcon .. java:import:: javax.swing JFrame .. java:import:: javax.swing JMenu .. java:import:: javax.swing JMenuBar .. java:import:: javax.swing JMenuItem .. java:import:: javax.swing JPanel .. java:import:: javax.swing JRadioButton .. java:import:: javax.swing JSplitPane .. java:import:: javax.swing JTabbedPane .. java:import:: javax.swing.border BevelBorder TapenadeFrame ============= .. java:package:: fr.inria.tapenade.gui :noindex: .. java:type:: public final class TapenadeFrame extends JFrame Tapenade graphical user interface. Methods ------- buildExternalContext ^^^^^^^^^^^^^^^^^^^^ .. java:method:: protected void buildExternalContext(Unit unit) :outertype: TapenadeFrame center ^^^^^^ .. java:method:: protected static int[] center(Window window) :outertype: TapenadeFrame changeMode ^^^^^^^^^^ .. java:method:: protected void changeMode(boolean mode) :outertype: TapenadeFrame getAnalyseModePanel ^^^^^^^^^^^^^^^^^^^ .. java:method:: protected AnalyseModePanel getAnalyseModePanel() :outertype: TapenadeFrame getCallGraph ^^^^^^^^^^^^ .. java:method:: protected CallGraph getCallGraph() :outertype: TapenadeFrame getControlPanel ^^^^^^^^^^^^^^^ .. java:method:: protected ControlPanel getControlPanel() :outertype: TapenadeFrame getInputVariablesPanel ^^^^^^^^^^^^^^^^^^^^^^ .. java:method:: protected VariablesPanel getInputVariablesPanel() :outertype: TapenadeFrame getInstance ^^^^^^^^^^^ .. java:method:: public static TapenadeFrame getInstance() :outertype: TapenadeFrame getOutputVariablesPanel ^^^^^^^^^^^^^^^^^^^^^^^ .. java:method:: protected VariablesPanel getOutputVariablesPanel() :outertype: TapenadeFrame getTopUnitPanel ^^^^^^^^^^^^^^^ .. java:method:: protected TopUnitPanel getTopUnitPanel() :outertype: TapenadeFrame getVariables ^^^^^^^^^^^^ .. java:method:: protected List getVariables() :outertype: TapenadeFrame preprocess ^^^^^^^^^^ .. java:method:: protected void preprocess() :outertype: TapenadeFrame runTapenade ^^^^^^^^^^^ .. java:method:: protected void runTapenade() :outertype: TapenadeFrame setBackground ^^^^^^^^^^^^^ .. java:method:: protected static void setBackground(Component c) :outertype: TapenadeFrame setFont ^^^^^^^ .. java:method:: protected static void setFont(Component c) :outertype: TapenadeFrame setTopUnitName ^^^^^^^^^^^^^^ .. java:method:: protected void setTopUnitName(String name) :outertype: TapenadeFrame