Package org.yinwang.yin.value

Examples of org.yinwang.yin.value.RecordType

34
35
36
37
38
39
40
41
42
            for (Node p : parents) {
                Value pv = p.interp(s);
                properties.putAll(((RecordType) pv).properties);
            }
        }
        Value r = new RecordType(name.id, this, properties);
        s.putValue(name.id, r);
        return r;
    }
View Full Code Here
68
69
70
71
72
73
74
75
76
                // add all properties or all fields in parent
                properties.putAll(parentProps);
            }
        }

        Value r = new RecordType(name.id, this, properties);
        s.putValue(name.id, r);
        return r;
    }
View Full Code Here
42
43
44
45
46
47
48
    public Value interp(Scope s) {
        Scope properties = new Scope();
        for (Map.Entry<String, Node> e : map.entrySet()) {
            properties.putValue(e.getKey(), e.getValue().interp(s));
        }
        return new RecordType(null, this, properties);
    }
View Full Code Here
52
53
54
55
56
57
58
    public Value typecheck(Scope s) {
        Scope properties = new Scope();
        for (Map.Entry<String, Node> e : map.entrySet()) {
            properties.putValue(e.getKey(), e.getValue().typecheck(s));
        }
        return new RecordType(null, this, properties);
    }
View Full Code Here
TOP

Related Classes of org.yinwang.yin.value.RecordType

  • org.yinwang.yin.ast.RecordDef
  • org.yinwang.yin.ast.RecordLiteral
    • 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.