Package kiss.lang.impl

Examples of kiss.lang.impl.KissException

29
30
31
32
33
34
35
36
37
  }
 
  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
49
50
51
52
53
54
55
56
57
58
  public Environment compute(Environment d, IPersistentMap bindings) {
    Environment ev= body.compute(d, bindings);
    if (ev.isExiting()) return ev;
    Object result=ev.getResult();
    if (type.checkInstance(result)) {
      throw new KissException("Can't cast value of class "+KissUtils.typeName(result)+" to "+type);
     
    }
    return ev;
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
  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;
View Full Code Here
147
148
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
95
96
97
98
99
100
101
    return this;
  }
 
  @Override
  public void validate() {
    if (!type.checkInstance(value)) throw new KissException("Mismatched type!");
  }
View Full Code Here
157
158
159
160
161
162
163
164
165
    return "(Values "+values.toString()+")";
  }
 
  @Override
  public void validate() {
    if (values.count()<=1) throw new KissException("Insufficient values in ValueSet!");
   
    // TODO: class tests?
  }
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
  @Override
  public Environment compute(Environment d, IPersistentMap bindings) {
    d=func.compute(d, bindings);
    Object o=d.getResult();
    if (!(o instanceof IFn)) throw new KissException("Not a function: "+o);
    IFn fn=(IFn)o;
   
    int n=params.length;
    Object[] args=new Object[n];
    for (int i=0; i<n; i++) {
View Full Code Here
137
138
139
140
141
142
143
    return update(nfunc,nParams);
  }

  @Override
  public void validate() {
    if (params.length!=arity) throw new KissException("Mismatched arity!");
  }
View Full Code Here
81
82
83
84
85
86
87
    return t;
  }
 
  @Override
  public void validate() {
    if (this!=Nothing.INSTANCE) throw new KissException(this+ " should be a singleton!");
  }
View Full Code Here
173
174
175
176
177
178
179
    return Union.create(this,t);
  }

  @Override
  public void validate() {
    if (arity!=paramTypes.length) throw new KissException("Mismatched arity count");
  }
View Full Code Here
TOP

Related Classes of kiss.lang.impl.KissException

  • kiss.lang.Analyser
  • kiss.lang.Environment
  • kiss.lang.expression.Application
  • kiss.lang.expression.Cast
  • kiss.lang.expression.ClojureLookup
  • kiss.lang.expression.Constant
  • kiss.lang.expression.Do
  • kiss.lang.expression.Lookup
  • kiss.lang.expression.Map
  • kiss.lang.expression.Recur
    • 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.