Class Console
- java.lang.Object
-
- org.matheclipse.parser.server.util.Console
-
public class Console extends java.lang.Object
A java console program to run the evaluator interactivly.
-
-
Constructor Summary
Constructors Constructor Description Console()
Instantiates a new console.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description java.io.File
getFile()
Gets the file.java.lang.String
interpreter(java.lang.String strEval)
Evaluates the given string-expression and returns the result inOutputForm
.static void
main(java.lang.String[] args)
The main method.void
printPrompt(java.io.PrintStream out, java.lang.String prompt)
prints a prompt on the console but doesn't print a newline.java.lang.String
readString(java.io.PrintStream out)
read a string from the console.java.lang.String
readString(java.io.PrintStream out, java.lang.String prompt)
read a string from the console.void
setFile(java.io.File file)
Sets the file.
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
The main method.- Parameters:
args
- the arguments
-
interpreter
public java.lang.String interpreter(java.lang.String strEval)
Evaluates the given string-expression and returns the result inOutputForm
.- Parameters:
strEval
- the str eval- Returns:
- the string
-
printPrompt
public void printPrompt(java.io.PrintStream out, java.lang.String prompt)
prints a prompt on the console but doesn't print a newline.- Parameters:
out
- the outprompt
- the prompt string to display
-
readString
public java.lang.String readString(java.io.PrintStream out)
read a string from the console. The string is terminated by a newline- Parameters:
out
- Description of Parameter- Returns:
- the input string (without the newline)
-
readString
public java.lang.String readString(java.io.PrintStream out, java.lang.String prompt)
read a string from the console. The string is terminated by a newline- Parameters:
out
- Description of Parameterprompt
- the prompt string to display- Returns:
- the input string (without the newline)
-
setFile
public void setFile(java.io.File file)
Sets the file.- Parameters:
file
- the new file
-
getFile
public java.io.File getFile()
Gets the file.- Returns:
- the file with which the program was started or
null
-
-