/** * Reads a parameter value from the input display. * * @param par * @return double the value of of the parameter */ public double getDouble(String par) { return table.getDouble(par); }