/*
read a string from the console. The string is
terminated by a newline
*/
public static String readLine(String prompt)
/*
read an integer from the console. The input is
terminated by a newline
*/
public static int readInt(String prompt)
/*
read a floating point number from the console.
The
input is terminated by a newline
*/
public
static double readDouble(String prompt)