src/ast/nodes/AtomNode.java


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

package ast.nodes;

import java.util.ArrayList;

import semanticanalysis.SemanticError;
import semanticanalysis.SymbolTable;
import ast.types.*;

/**
 * Node for the `atom` statement of the grammar.
 */
public class AtomNode implements Node {
    protected String val;

    public AtomNode(String val) {
        this.val = val;
    }

    public String getId() {
        return this.val;
    }

    @Override
    public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
        var errors = new ArrayList<SemanticError>();
        System.out.println(getId() + " " + _nesting + " " + ST.nslookup(getId()));
        if (!(this.typeCheck() instanceof IntType) && !ST.top_lookup(this.getId())) {
            System.out.println(!(this.typeCheck() instanceof IntType) + " " + !ST.top_lookup(this.getId()));
            errors.add(new SemanticError("Undefined name `" + this.getId() + "`"));
        }

        return errors;
    }

    // FIXME: this type for atom
    @Override
    public Type typeCheck() {
        try {
            Integer.parseInt(this.val);
            System.out.println(this.val + " is int");
            return new IntType();
        } catch (NumberFormatException e) {
            System.out.println(this.val + " is atom");
            return new AtomType();
        }
    }

    // TODO: add code generation for atom node
    @Override
    public String codeGeneration() {
        return "";
    }

    @Override
    public String toPrint(String prefix) {
        if (val != null) {
            return prefix + "Atom(" + val + ")\n";
        }

        return prefix + "Atom(null)\n";

    }
}