Package litil.ast

Examples of litil.ast.Type

21
22
23
24
25
26
27
28
29
30
31
    }

    private List<Type> types() {
        List<Type> res = new ArrayList<Type>();
        Type t = type();
        res.add(t);
        while (found(Token.Type.NEWLINE)) {
            res.add(type());
        }
        return res;
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
            if (found(Token.Type.SYM, ")")) {
                return Type.UNIT;
            }
            depth++;

            Type res = type(1);
            depth--;
            expect(Token.Type.SYM, ")");
            return res;
        } else {
            throw new IllegalArgumentException("Invalid symbol found " + tk);
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
    public Type type(int rbp) {
        dbg("type " + rbp);
        Token tk = lexer.pop();
        dbg("pop0 " + tk);
        depth++;
        Type left = nud(tk);
        depth--;
        while (dbg(rbp, lexer.peek(1)) && rbp < lbp(lexer.peek(1))) {
            tk = lexer.pop();
            dbg("pop " + tk);
            depth++;
View Full Code Here
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
    }

    private List<Type> types() {
        List<Type> res = new ArrayList<Type>();
        Type t = type();
        res.add(t);
        System.err.println(t);
        while (found(Token.Type.NEWLINE)) {
            t = type();
            res.add(t);
            System.err.println(t + "::" + t.getClass());
        }

        return res;
    }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
    private Type type(Map<String, Type.Variable> mappings) {
        return funcType(mappings);
    }

    private Type funcType(Map<String, Type.Variable> mappings) {
        Type arg = prodType(mappings);
        if (found(Token.Type.SYM, "->")) {
            Type res = funcType(mappings);
            return Type.Function(arg, res);
        }
        return arg;
    }
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
    }

    private Type atomType(Map<String, Type.Variable> mappings) {
        if (found(Token.Type.SYM, "(")) {
            Type res = type(mappings);
            expect(Token.Type.SYM, ")");
            return res;
        } else if (found(Token.Type.SYM, "[")) {
            Type res = type(mappings);
            expect(Token.Type.SYM, "]");
            return Type.List(res);
        } else if (found(Token.Type.NAME)) {
            String name = token.text;
            if (Character.isLowerCase(name.charAt(0))) {
View Full Code Here
26
27
28
29
30
31
32
33
34
35
36
    public void define(String name, Type type) {
        scope.put(name, type);
    }

    public Type get(String name) {
        Type res = scope.get(name);
        if (res == null && parent != null) {
            res = parent.get(name);
        }
        return res;
    }
View Full Code Here
194
195
196
197
198
199
200
201
202
203
204
        res.define("int2str", Type.Function(Type.INT, Type.STR));
        res.define("print", Type.Function(Type.STR, Type.UNIT));
        res.define("error", Type.Function(Type.STR, new Type.Variable()));

        Type.Variable b = new Type.Variable();
        Type listType = Type.List(b);
        List<DataDecl.TypeConstructor> listConstructors = new ArrayList<DataDecl.TypeConstructor>();
        List<Type> listVars = Arrays.<Type>asList(b);
        listConstructors.add(new DataDecl.TypeConstructor("Cons", Arrays.asList(b, listType)));
        listConstructors.add(new DataDecl.TypeConstructor("Nil"));
        DataDecl list = new DataDecl("List", listType, Arrays.asList(b), listConstructors);
View Full Code Here
TOP

Related Classes of litil.ast.Type

  • litil.eval.Prelude
  • litil.parser.PrattTypeParser
  • litil.parser.TDTypeParser
  • litil.TypeScope
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.