Package kiss.lang

Examples of kiss.lang.Expression

89
90
91
92
93
94
95
96
    }   
  }
 
  @Override
  public Expression specialise(Type type) {
    Expression newBody=body.specialise(type);
    return update(syms,initials,newBody);
  }
View Full Code Here
100
101
102
103
104
105
106
107
108
109
    Expression[] nis=initials.clone();
    for (int i=0; i<initials.length; i++) {
      nis[i]=initials[i].substitute(bindings);
      bindings=bindings.without(syms[i]);
    }
    Expression nbody=body.substitute(bindings);
    if (nbody==null) return null;
   
    return update(syms,nis,nbody);
  }
View Full Code Here
41
42
43
44
45
46
47
48
49
    return body.getType();
  }

  @Override
  public Expression specialise(Type type) {
    Expression b=body.specialise(type);
    if ((b==body)||(b==null)) return this;
    return update(sym,b);
  }
View Full Code Here
59
60
61
62
63
64
65
66
67
    return s;
  }
 
  @Override
  public Expression substitute(IPersistentMap bindings) {
    Expression nBody=body.substitute(bindings);
    if (nBody==null) return null;
    return update(sym,nBody);
  }
View Full Code Here
45
46
47
48
49
50
51
52
53
54
    return new If(cond,doThen,doElse);
  }
 
  @Override
  public Expression optimise() {
    Expression cond=this.cond.optimise();
    Expression doThen=this.doThen.optimise();
    Expression doElse=this.doElse.optimise();
    return update(cond,doThen,doElse);
  }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
    return type;
  }

  @Override
  public Expression specialise(Type type) {
    Expression newThen=doThen.specialise(type);
    Expression newElse=doElse.specialise(type);
    if ((newThen==null)&&(newElse==null)) return null;
    return update(cond,newThen,newElse);
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
83
84
    return update(cond,newThen,newElse);
  }
 
  @Override
  public Expression substitute(IPersistentMap bindings) {
    Expression ncond=cond.substitute(bindings);
    if (ncond==null) return null;
    Expression nthen=doThen.substitute(bindings);
    if (nthen==null) return null;
    Expression nelse=doElse.substitute(bindings);
    if (nelse==null) return null;
   
    return update(ncond,nthen,nelse);
  }
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
68
69
70
    return ev;
  }
 
  @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;
View Full Code Here
TOP

Related Classes of kiss.lang.Expression

  • kiss.lang.expression.Application
  • kiss.lang.expression.Cast
  • kiss.lang.expression.Def
  • kiss.lang.expression.Do
  • kiss.lang.expression.If
  • kiss.lang.expression.InstanceOf
  • kiss.lang.expression.Lambda
  • kiss.lang.expression.Let
  • kiss.lang.expression.Loop
  • kiss.lang.expression.Map
    • 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.