blob: 3b63b6ebcb4c5347a0bcfa7220f1feb9d5877cbb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
package com.jantuomi.tunkki.repl;
import com.jantuomi.tunkki.Tunkki;
import com.jantuomi.tunkki.core.parser.datatype.IntegerDatatype;
import com.jantuomi.tunkki.exception.TunkkiError;
import jline.console.*;
import java.io.IOException;
import java.io.PrintWriter;
/**
* Created by jan on 31.7.2016.
*/
public class Repl {
private Tunkki tunkki;
public Repl(Tunkki tunkki) {
this.tunkki = tunkki;
}
public void run() throws IOException, InterruptedException {
showWelcomeText();
ConsoleReader reader = new ConsoleReader();
reader.setBellEnabled(false);
reader.setExpandEvents(false);
String line;
String command = "";
PrintWriter out = new PrintWriter(System.out);
boolean isMultilineInput = false;
while (true) {
if (isMultilineInput) {
line = readLine(reader, "... ");
} else {
line = readLine(reader, "tunkki> ");
}
if (line.endsWith("\\")) {
isMultilineInput = true;
command += line.substring(0, line.length() - 1) + " ";
} else {
try {
isMultilineInput = false;
command += line;
tunkki.run(command);
} catch (TunkkiError ex) {
ex.printStackTrace();
Thread.sleep(50);
} finally {
command = "";
}
}
out.flush();
}
}
private String readLine(ConsoleReader reader, String promptMessage)
throws IOException {
System.out.print(promptMessage);
String line = reader.readLine();
return line.trim();
}
private void showWelcomeText() {
System.out.println(String.format("tunkki REPL version %s", tunkki.versionString()));
System.out.println("Copyright: Jan Tuomi 2016");
}
}
|