📄 console.java
字号:
import java.io.*;public class Console{ /** 从键盘读入一个小数。如果读入错误则停止执行。 * @return double */ public static double readDouble() { try { return Double.valueOf(readString().trim()).doubleValue(); } catch (NumberFormatException ne) { System.err.println("Console.readDouble: Not a double..."); System.exit( -1); return 0.0; } } /**从键盘读入一个整数。如果读入错误则停止执行。 @return int */ public static int readInt() { try { return Integer.valueOf(readString().trim()).intValue(); } catch (NumberFormatException ne) { System.err.println("Console.readInt: Not an integer..."); System.exit( -1); return -1; } } /** 从键盘读入一个字符串。如果读入错误则停止执行。 @return String */ public static String readString() { String string = new String(); BufferedReader in = new BufferedReader(new InputStreamReader(System.in)); try { string = in.readLine(); } catch (IOException e) { System.out.println("Console.readString: Unknown error..."); System.exit( -1); } return string; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -