Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IRational

138
139
140
141
142
143
144
145
146
147
    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());
    }
    return values.integer(((IReal) x).precision());
  }
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
174
      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());
      }
      return values.integer(((IReal) x).scale());
    } catch (ArithmeticException ae) {
      throw RuntimeExceptionFactory.arithmeticException(ae.getMessage(), null, null);
    }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.IRational

  • org.rascalmpl.library.util.Math
    • 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.