Package kiss.lang

Examples of kiss.lang.Type

91
92
93
94
95
96
97
98
99
100
101
102
103
  @Override
  public Type union(Type t) {
    // handle optimisable Null cases
    if (t instanceof Null) return this;
    if (t instanceof Maybe) {
      Type ot=((Maybe)t).type;
      if (ot==type) return this;
      if (ot.contains(type)) return t;
      if (type.contains(ot)) return this;
      t=ot; // fall through, just consider the non-null case
    }
    if (type.contains(t)) return this;
   
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
    int n=types.length;
    int cc=0;
    int rep=-1;
    for (int i=0; i<n; i++) {
      Type ti=types[i];
      if (t==ti) return this;
      if (t.contains(ti)) return this;
      if (ti.contains(t)) {
        cc++;
        rep=i;
      }
    }
    if (cc==n) return t; // fully contained by all types
View Full Code Here
152
153
154
155
156
157
158
159
160
161
  @Override
  public void validate() {
    int n=types.length;
    if (n<2) throw new KissException("Intersection must have at least two members");
    for (int i=0; i<n; i++) {
      Type t=types[i];
      t.validate();
      if (t instanceof Anything) throw new KissException(this+ " should not contain Anything");
    }
  }
View Full Code Here
19
20
21
22
23
24
25
26
27
28
  public Predicate(KFn fn) {
    this.pred=fn;
  }

  public Type create(KFn fn) {
    Type rt=fn.getReturnType();
    if (rt.cannotBeFalsey()) return Anything.INSTANCE;
    if (rt.cannotBeTruthy()) return Nothing.INSTANCE;
    return new Predicate(fn);
  }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
74
 
  @Test public void testIntersections() {
    for (Type a:testTypes) {
      for (Type b: testTypes) {
        if (!(a.isWellBehaved()&&b.isWellBehaved())) continue;
        Type c=a.intersection(b);
        if (!c.equals(b.intersection(a))) throw new KissException(a+ " x "+b);
         assertEquals(c,b.intersection(a));
      }
    }
   
    for (Type a:testTypes) {
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
  }
 
  @Test public void testUnions() {
    for (Type a:testTypes) {
      for (Type b: testTypes) {
        Type c=a.union(b);
       
        for (Object o:testObjects) {
          if (a.checkInstance(o) || b.checkInstance(o)) {
            assertTrue("Union of "+a+" and "+b+" = "+c+ " should include "+o,c.checkInstance(o));
          }
        }
      }
    }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
  }
 
  @Test
  public void testSpecialise() {
    for (Expression e:testExprs) {
      Type ert=e.getType();
      Expression se=e.specialise(e.getType());
      assertTrue("Specialise has widened return type!! "+e, ert.contains(se.getType()));
    }
  }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
45
    if (cond.isConstant()) {
      return (KissUtils.truthy(cond.eval()))?doThen:doElse;
    }
    if (cond.isPure()) {
      // we can optimise away the test only if cond is pure (i.e. no side effects)
      Type t=cond.getType();
      if (t.cannotBeFalsey()) return doThen;
      if (t.cannotBeTruthy()) return doElse;
    }
   
    if ((cond==this.cond)&&(doThen==this.doThen)&&(doElse==this.doElse)) return this;

    return new If(cond,doThen,doElse);
View Full Code Here
TOP

Related Classes of kiss.lang.Type

  • kiss.lang.expression.Application
  • kiss.lang.expression.Cast
  • kiss.lang.expression.If
  • kiss.lang.expression.InstanceOf
  • kiss.lang.type.FunctionType
  • kiss.lang.type.Intersection
  • kiss.lang.type.Maybe
  • kiss.lang.type.Predicate
  • kiss.lang.type.Union
  • kiss.test.ExpressionTests
    • 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.