Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IInteger.toReal()

135
136
137
138
139
140
141
142
143
144
145
  }
 
  public IValue precision(INumber x){
    if(x.getType().isInteger()){
      IInteger k = (IInteger) x;
      return values.integer(k.toReal().precision());
    }
    if(x.getType().isRational()){
      IRational k = (IRational) x;
      return values.integer(k.toReal().precision());
    }
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
      IInteger k = (IInteger) x;
      return values.integer(k.toReal().precision());
    }
    if(x.getType().isRational()){
      IRational k = (IRational) x;
      return values.integer(k.toReal().precision());
    }
    return values.integer(((IReal) x).precision());
  }
 
  public IValue unscaled(IReal x) {
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
 
  public IValue scale(INumber x){
    try {
      if(x.getType().isInteger()){
        IInteger k = (IInteger) x;
        return values.integer(k.toReal().scale());
      }
      if(x.getType().isRational()){
        IRational k = (IRational) x;
        return values.integer(k.toReal().scale());
      }
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
        IInteger k = (IInteger) x;
        return values.integer(k.toReal().scale());
      }
      if(x.getType().isRational()){
        IRational k = (IRational) x;
        return values.integer(k.toReal().scale());
      }
      return values.integer(((IReal) x).scale());
    } catch (ArithmeticException ae) {
      throw RuntimeExceptionFactory.arithmeticException(ae.getMessage(), null, null);
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.