blob: a0ea25b55035ba74f04246329a6fff64590b42e5 (
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
72
73
74
75
76
77
78
79
|
package ast.nodes;
import ast.types.*;
import java.util.ArrayList;
import java.util.Arrays;
import semanticanalysis.SemanticError;
import semanticanalysis.SymbolTable;
/**
* Node for the `arglist` statement of the grammar.
*/
public class ArglistNode implements Node {
protected ArrayList<Node> arguments;
public ArglistNode(ArrayList<Node> arguments) {
this.arguments = arguments;
}
@Override
public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
ArrayList<SemanticError> errors = new ArrayList<>();
for (var arg : arguments) {
if (arg instanceof ExprNode) {
ExprNode argExpr = (ExprNode) arg;
String argName = argExpr.getId();
// TODO: check fucking IntType for params
// TODO: remove fucking comments
if (argName != null) {
if (Arrays.asList(bif).contains(argName)) {
continue;
}
if (ST.lookup(argName) != null && ST.lookup(argName).getType() instanceof ImportType) {
continue;
}
if (ST.nslookup(argName) < 0 && argExpr.typeCheck() instanceof AtomType) {
errors.add(new SemanticError("name '" + argName + "' is not defined."));
}
} else {
errors.addAll(arg.checkSemantics(ST, _nesting));
}
}
}
return errors;
}
public int getArgumentNumber() {
return arguments.size();
}
@Override
public Type typeCheck() {
return new VoidType();
}
// TODO: add code generation for arglist node
@Override
public String codeGeneration() {
return "";
}
@Override
public String toPrint(String prefix) {
String str = prefix + "ArglistNode\n";
prefix += " ";
for (Node arg : arguments) {
str += arg.toPrint(prefix);
}
return str;
}
}
|
