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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
package org.zwobble.couscous.interpreter;
import java.util.List;
import java.util.Optional;
import java.util.stream.Stream;
import org.zwobble.couscous.ast.*;
import org.zwobble.couscous.ast.visitors.StatementNodeMapper;
import org.zwobble.couscous.interpreter.values.BooleanInterpreterValue;
import org.zwobble.couscous.interpreter.values.InterpreterValue;
import org.zwobble.couscous.interpreter.values.UnitInterpreterValue;
import static org.zwobble.couscous.interpreter.Evaluator.eval;
public class Executor implements StatementNodeMapper<Optional<InterpreterValue>> {
public static InterpreterValue callMethod(Environment environment, CallableNode method, Optional<InterpreterValue> thisValue, PositionalArguments arguments) {
final org.zwobble.couscous.interpreter.Environment innerEnvironment = buildEnvironment(environment, method, thisValue, arguments);
for (final org.zwobble.couscous.ast.StatementNode statement : method.getBody()) {
final java.util.Optional<org.zwobble.couscous.interpreter.values.InterpreterValue> result = exec(innerEnvironment, statement);
if (result.isPresent()) {
return result.get();
}
}
return UnitInterpreterValue.UNIT;
}
private static Environment buildEnvironment(final Environment environment, final CallableNode method, Optional<InterpreterValue> thisValue, PositionalArguments arguments) {
final org.zwobble.couscous.interpreter.StackFrameBuilder stackFrame = new StackFrameBuilder();
for (int index = 0; index < method.getArguments().size(); index++) {
stackFrame.declare(method.getArguments().get(index), arguments.get(index));
}
findDeclarations(method.getBody()).forEach(declaration -> stackFrame.declare(declaration));
return environment.withStackFrame(thisValue, stackFrame.build());
}
private static Stream<VariableNode> findDeclarations(List<StatementNode> body) {
return body.stream().flatMap(statement -> statement.accept(new StatementNodeMapper<Stream<VariableNode>>(){
@Override
public Stream<VariableNode> visit(ReturnNode returnNode) {
return Stream.empty();
}
@Override
public Stream<VariableNode> visit(ExpressionStatementNode expressionStatement) {
return Stream.empty();
}
@Override
public Stream<VariableNode> visit(LocalVariableDeclarationNode localVariableDeclaration) {
return Stream.of(localVariableDeclaration);
}
@Override
public Stream<VariableNode> visit(IfStatementNode ifStatement) {
// TODO: Handle declarations in branches
return Stream.empty();
}
@Override
public Stream<VariableNode> visit(WhileNode whileLoop) {
// TODO: Handle declarations in branches
return Stream.empty();
}
}));
}
public static Optional<InterpreterValue> exec(Environment environment, StatementNode statement) {
return statement.accept(new Executor(environment));
}
private final Environment environment;
private Executor(Environment environment) {
this.environment = environment;
}
@Override
public Optional<InterpreterValue> visit(ReturnNode returnNode) {
return Optional.of(eval(environment, returnNode.getValue()));
}
@Override
public Optional<InterpreterValue> visit(ExpressionStatementNode expressionStatement) {
eval(environment, expressionStatement.getExpression());
return Optional.empty();
}
@Override
public Optional<InterpreterValue> visit(LocalVariableDeclarationNode localVariableDeclaration) {
final org.zwobble.couscous.interpreter.values.InterpreterValue value = eval(environment, localVariableDeclaration.getInitialValue());
environment.put(localVariableDeclaration, value);
return Optional.empty();
}
@Override
public Optional<InterpreterValue> visit(IfStatementNode ifStatement) {
BooleanInterpreterValue condition = (BooleanInterpreterValue) eval(environment, ifStatement.getCondition());
if (condition.getValue()) {
return exec(ifStatement.getTrueBranch());
}
return Optional.empty();
}
@Override
public Optional<InterpreterValue> visit(WhileNode whileLoop) {
throw new UnsupportedOperationException();
}
private Optional<InterpreterValue> exec(List<StatementNode> statements) {
for (StatementNode statement : statements) {
Optional<InterpreterValue> result = exec(environment, statement);
if (result.isPresent()) {
return result;
}
}
return Optional.empty();
}
}
|
