Package kiss.lang.impl

Examples of kiss.lang.impl.KissException

76
77
78
79
80
81
82
    return Maybe.create(t);
  }
 
  @Override
  public void validate() {
    if (this!=Null.INSTANCE) throw new KissException(this+ " should be a singleton!");
  }
View Full Code Here
119
120
121
122
123
124
125
    return "(Value "+value.toString()+")";
  }
 
  @Override
  public void validate() {
    if (!(klass.isInstance(value))) throw new KissException(value+ " is of wrong type, should be "+klass);
  }
View Full Code Here
81
82
83
84
85
86
87
    return Reference.INSTANCE;
  }
 
  @Override
  public void validate() {
    if (this!=Something.INSTANCE) throw new KissException(this+ " should be a singleton!");
  }
View Full Code Here
61
62
63
64
65
66
67
    return this;
  }

  @Override
  public void validate() {
    if (this!=Anything.INSTANCE) throw new KissException(this+ " should be a singleton!");
  }
View Full Code Here
105
106
107
108
109
110
111
112
113
  }
 
  @Override
  public void validate() {
    if (type.checkInstance(null)) {
      throw new KissException("Maybe should not contain nullable type!");
    }
    type.validate();
  }
View Full Code Here
150
151
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
38
39
40
41
42
43
44
45
 
  public Object getValue() {
    if (unboundDeps==null) {
      return value;
    } else {
      throw new KissException("Free symbols cannot be resolved: "+unboundDeps.toString());
    }
  }
View Full Code Here
55
56
57
58
59
60
61
62
  public Expression getExpression() {
    return exp;
  }

  public IMapEntry toMapEntry(Object key) {
    if (!isBound()) throw new KissException("Free symbols cannot be resolved: "+unboundDeps.toString());
    return new MapEntry((Symbol)key,value);
  }
View Full Code Here
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
50
51
52
53
54
55
56
57
58
59
      Var v=RT.var(sym.getNamespace(),sym.getName());
      if (v!=null) return e.withResult(v.deref());
    } catch (Throwable t) {
      String err="Error trying to lookp var "+sym+" ";
      err+=" with Environment "+e.toString();
      throw new KissException(err,t);
    }
   
    throw new KissException("Cannot find Clojure symbol "+sym+" in environment");
  }
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.