Package kiss.lang

Examples of kiss.lang.Type

27
28
29
30
31
32
33
34
35
36
37
    this.type=type;
    this.body=body;
  }
 
  public static Cast create(Type type, Expression body) {
    Type bt=body.getType();
    if (bt.intersection(type)==Nothing.INSTANCE) {
      throw new KissException("Can't cast type "+bt+" to "+type);
    }
    return new Cast(type,body.specialise(type));
  }
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
  }
 
  @Override
  public Expression optimise() {
    Expression b=body.optimise();
    Type bt=body.getType();
    if (b.isConstant()) {
      Object val=b.eval();
      if (type.checkInstance(val)) throw new KissException("Impossible to cast value "+val+" to type: "+type);
      // TODO: is this logic sound? what about interface casts?
      return b;
    }
    Type t=type;
    if (t.contains(bt)) t=bt;
    if ((b==body)&&(t==type)) return this;
    return create(t,b);
  }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
  @Override
  public Expression specialise(Type type) {
    if (type==this.type) return this;
    if (type.contains(this.type)) return this;
    Type it = type.intersection(this.type);
    if (it==Nothing.INSTANCE) return null;
   
    return create(it,body.specialise(it));
  }
View Full Code Here
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
   */
  private static Type[] compress(Type... types) {
    int n=types.length;
    int found=0;
    for (int i=0; i<n; i++) {
      Type t=types[i];
      if ((t==null)||(t instanceof Nothing)) {
        types[i]=null;
        continue;
      }
      found++;
      for (int j=0; j<i; j++) {
        // try to eliminate already contained types
        Type jt=types[j];
        if ((jt!=null)&&jt.contains(t)) {
          types[i]=null;
          found--;
          break;
        }
      }
    }
    if (found==n) return types; // no compression needed
   
    Type[] nts=new Type[found];
    found=0;
    for (int i=0; i<n; i++) {
      Type t=types[i];
      if (t==null) continue;
      nts[found++]=t;
    }
    if (found!=nts.length) throw new RuntimeException("This shouldn't happen! found="+found+ " nts.length="+nts.length);
    return nts;   
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
  }
 
  private Type include(Type t) {
    int n=types.length;
    for (int i=0; i<n; i++) {
      Type ct=types[i];
      if (ct.contains(t)) return this;
    }
    // TODO: smarter union, then t contains current union members
    Type[] nts=new Type[n+1];
    System.arraycopy(types, 0, nts, 0, n);
    nts[n]=t;
View Full Code Here
149
150
151
152
153
154
155
156
157
158
  @Override
  public void validate() {
    int n=types.length;
    if (n<2) throw new KissException("Union must have at least two members");
    for (int i=0; i<n; i++) {
      Type t=types[i];
      t.validate();
      if (t instanceof Nothing) throw new KissException(this+ " should not contain Nothing type");
    }
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
  }
 
  @Override
  public Expression optimise() {
    Expression body=this.body.optimise();
    Type bt=body.getType();
    if (type.contains(bt)) return Constant.TRUE;
    if (type.intersection(bt)==Nothing.INSTANCE) return Constant.FALSE;
    return update(type,body);
  }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
    return update(nFunc,nParams);
  }

  @Override
  public Type getType() {
    Type ft=func.getType();
    if (ft instanceof FunctionType) {
      return ((FunctionType)ft).getReturnType();
    }
    return Reference.INSTANCE;
  }
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
    if (t instanceof FunctionType) {
      FunctionType ft=(FunctionType)t;
      int n=getArity();
      if (ft.getArity()!=n) return Nothing.INSTANCE;
     
      Type rt=getReturnType().intersection(ft.returnType);
      if (rt instanceof Nothing) return Nothing.INSTANCE;
      boolean match=(rt==returnType);
     
      Type[] ips=new Type[n];
      for (int i=0; i<n ; i++) {
        Type it=paramTypes[i].intersection(ft.paramTypes[i]);
        ips[i]=it;
        match &= (it==paramTypes[i]);
      }
      if (match) return this;
      return create(rt,ips);
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
    if ((t==this)||(t instanceof Anything)||(t instanceof Reference)) return this;
   
    // handle possible null cases
    if (t instanceof Null) return t;
    if (t instanceof Maybe) {
      Type mt=((Maybe)t).type;
      Type it = type.intersection(mt);
      if (it==type) return this;
      if (it==mt) return t;
      return Maybe.create(it);
    }
   
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.