Class Console
- java.lang.Object
-
- org.matheclipse.parser.server.util.Console
-
public class Console extends java.lang.ObjectA 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.FilegetFile()Gets the file.java.lang.Stringinterpreter(java.lang.String strEval)Evaluates the given string-expression and returns the result inOutputForm.static voidmain(java.lang.String[] args)The main method.voidprintPrompt(java.io.PrintStream out, java.lang.String prompt)prints a prompt on the console but doesn't print a newline.java.lang.StringreadString(java.io.PrintStream out)read a string from the console.java.lang.StringreadString(java.io.PrintStream out, java.lang.String prompt)read a string from the console.voidsetFile(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
-
-