TapenadeFrame¶

public final class TapenadeFrame extends JFrame ¶: Tapenade graphical user interface.

Methods¶

buildExternalContext¶

protected void buildExternalContext(Unit unit)¶

center¶

protected static int[] center(Window window)¶

changeMode¶

protected void changeMode(boolean mode)¶

getAnalyseModePanel¶

protected AnalyseModePanel getAnalyseModePanel()¶

getCallGraph¶

protected CallGraph getCallGraph()¶

getControlPanel¶

protected ControlPanel getControlPanel()¶

getInputVariablesPanel¶

protected VariablesPanel getInputVariablesPanel()¶

getInstance¶

public static TapenadeFrame getInstance()¶

getOutputVariablesPanel¶

protected VariablesPanel getOutputVariablesPanel()¶

getTopUnitPanel¶

protected TopUnitPanel getTopUnitPanel()¶

getVariables¶

protected List<String> getVariables()¶

preprocess¶

protected void preprocess()¶

runTapenade¶

protected void runTapenade()¶

setBackground¶

protected static void setBackground(Component c)¶

setFont¶

protected static void setFont(Component c)¶

setTopUnitName¶

protected void setTopUnitName(String name)¶