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)