blob: 4b7b292a1704739028cc026bdf0ac60d2f508d0a (
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
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, FunctionType ft) {
ArrayList<SemanticError> errors = new ArrayList<>();
for (var arg : arguments) {
if (arg instanceof ExprNode) {
ExprNode argExpr = (ExprNode) arg;
String argName = argExpr.getId();
errors.addAll(arg.checkSemantics(ST, _nesting, ft));
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."));
}
}
}
}
return errors;
}
public int getArgumentNumber() {
return arguments.size();
}
@Override
public Type typeCheck() {
return new VoidType();
}
@Override
public String codeGeneration() {
String str = "";
for (Node arg : arguments) {
str += arg.codeGeneration() + "pushr A0\n";
}
return str;
}
@Override
public String printAST(String prefix) {
String str = prefix + "ArglistNode\n";
prefix += " ";
for (Node arg : arguments) {
str += arg.printAST(prefix);
}
return str;
}
@Override
public String toPrint(String prefix) {
String str = prefix;
str += arguments.get(0).toPrint("");
if (arguments.size() > 1) {
for (int i = 1; i < arguments.size(); i++) {
str += ", " + arguments.get(i).toPrint("");
}
}
return str;
}
}
|