📄 console.java
字号:
import java.io.*;
public class Console
{
/**读入一个double型的数
* @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 + -