forked from antamayo1/propositional-logic-project
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSentence.java
More file actions
86 lines (68 loc) · 2.02 KB
/
Sentence.java
File metadata and controls
86 lines (68 loc) · 2.02 KB
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
public abstract class Sentence {
public interface Visitor<R> {
R visitAtomicSentence(AtomicSentence sentence);
R visitUnarySentence(Unary sentence);
R visitBinarySentence(Binary sentence);
R visitGroupingSentence(Grouping sentence);
}
public abstract String getString();
public abstract <R> R accept(Visitor<R> visitor);
public static class AtomicSentence extends Sentence {
public final String value;
public AtomicSentence(String value) {
this.value = value;
}
public String getString() {
return value;
}
@Override
public <R> R accept(Visitor<R> visitor) {
return visitor.visitAtomicSentence(this);
}
}
public static class Unary extends Sentence {
public final Token operator;
public final Sentence right;
public Unary(Token operator, Sentence right) {
this.operator = operator;
this.right = right;
}
public String getString() {
return operator.getLexeme() + " " + right.getString();
}
@Override
public <R> R accept(Visitor<R> visitor) {
return visitor.visitUnarySentence(this);
}
}
public static class Binary extends Sentence {
public final Sentence left;
public final Token operator;
public final Sentence right;
public Binary(Sentence left, Token operator, Sentence right) {
this.left = left;
this.operator = operator;
this.right = right;
}
public String getString() {
return left.getString() + " " + operator.getLexeme() + " " + right.getString();
}
@Override
public <R> R accept(Visitor<R> visitor) {
return visitor.visitBinarySentence(this);
}
}
public static class Grouping extends Sentence {
public final Sentence expression;
public Grouping(Sentence expression) {
this.expression = expression;
}
public String getString() {
return "(" + expression.getString() + ")";
}
@Override
public <R> R accept(Visitor<R> visitor) {
return visitor.visitGroupingSentence(this);
}
}
}