VariablesChooser

class VariablesChooser extends JDialog

Tapenade graphical user interface.

Constructors

VariablesChooser

protected VariablesChooser(JFrame owner)

Methods

getVariables

protected Iterable<String> getVariables()

showDialog

protected void showDialog(Iterable<String> vars)