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