Examples of IInteger

org.eclipse.imp.pdb.facts.IInteger

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

   //@doc{slice -- sublist from start of length len}
   {
    try {
      return lst.sublist(start.intValue(), len.intValue());
    } catch (IndexOutOfBoundsException e){
      IInteger end = values.integer(start.intValue() + len.intValue());
      throw RuntimeExceptionFactory.indexOutOfBounds(end, null, null);
    }
   }

View Full Code Here

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

     int lstLen = lst.length();
   
     try {
       return lst.sublist(lstLen - lenVal, lenVal);
     } catch (IndexOutOfBoundsException e){
       IInteger end = values.integer(lenVal - lstLen);
       throw RuntimeExceptionFactory.indexOutOfBounds(end, null, null);
     }
   }

View Full Code Here

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

  public IValue substring(IString s, IInteger begin, IInteger end) {
    try {
      return s.substring(begin.intValue(),end.intValue());
    } catch (IndexOutOfBoundsException e) {
      int bval = begin.intValue();
      IInteger culprit = (bval < 0 || bval >= s.length()) ? begin : end;
        throw RuntimeExceptionFactory.indexOutOfBounds(culprit, null, null);
    }
  
  }

View Full Code Here

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

      return vf.constructor(Factory.Symbol_CharClass, ranges);
    }
    
    if (name.equals("single")) {
      org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg1 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(0).getLiteral().getIntegerLiteral().getDecimal();
      IInteger num = vf.integer(java.lang.Integer.parseInt(arg1.getString())); 
      return vf.constructor(Factory.CharRange_Single, num);
    }
    
    if (name.equals("range")) {
      org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg1 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(0).getLiteral().getIntegerLiteral().getDecimal();
      IInteger num1 = vf.integer(java.lang.Integer.parseInt(arg1.getString())); 
      org.rascalmpl.ast.DecimalIntegerLiteral.Lexical arg2 = (org.rascalmpl.ast.DecimalIntegerLiteral.Lexical) x.getArguments().get(1).getLiteral().getIntegerLiteral().getDecimal();
      IInteger num2 = vf.integer(java.lang.Integer.parseInt(arg2.getString())); 
      return vf.constructor(Factory.CharRange_Range, num1, num2);
    }


    throw new ImplementationError("Non-IUPTR AST expression: " + name + ", " + x);
  }

View Full Code Here

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

    return vf.integer(figureColor(r.intValue(), g.intValue(), b.intValue(),
        alpha.floatValue()));
  }


  public IInteger color(IString colorName, IEvaluatorContext ctx) {
    IInteger c = colorNames.get(colorName.getValue().toLowerCase());
    if (c != null)
      return c;
    throw RuntimeExceptionFactory.illegalArgument(colorName, ctx.getCurrentAST(),
        ctx.getStackTrace());
  }

View Full Code Here

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

    throw RuntimeExceptionFactory.illegalArgument(colorName, ctx.getCurrentAST(),
        ctx.getStackTrace());
  }


  public IInteger color(IString colorName, IReal alpha, IEvaluatorContext ctx) {
    IInteger c = colorNames.get(colorName.getValue().toLowerCase());
    if (c != null) {
      int ci = c.intValue();
      return vf.integer(figureColor(ci, alpha.floatValue()));
    }
    throw RuntimeExceptionFactory.illegalArgument(colorName, ctx.getCurrentAST(),
        ctx.getStackTrace());
  }

View Full Code Here

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

    }
  }
  
  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());
    }
    return values.integer(((IReal) x).precision());
  }

View Full Code Here

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

  }
  
  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());
      }
      return values.integer(((IReal) x).scale());
    } catch (ArithmeticException ae) {
      throw RuntimeExceptionFactory.arithmeticException(ae.getMessage(), null, null);
    }

View Full Code Here

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

      // When there is one integer subscript, we just index the list relation as a list
      if(nSubs == 1 && subscripts[0].getType().isInteger()){
        if (getValue().length() == 0) {
          throw RuntimeExceptionFactory.emptyList(ctx.getCurrentAST(), ctx.getStackTrace());
        }
        IInteger index = (IInteger) subscripts[0].getValue();
        
        int idx = index.intValue();
        if(idx < 0){
          idx = idx + getValue().length();
        }
        if ( (idx >= getValue().length()) || (idx < 0) ) {
          throw RuntimeExceptionFactory.indexOutOfBounds(index, ctx.getCurrentAST(), ctx.getStackTrace());

View Full Code Here

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

    }
    if (!((Result<IValue>)subscripts[0]).getType().isInteger()) {
      throw new UnexpectedType(getTypeFactory().integerType(), 
          ((Result<IValue>)subscripts[0]).getType(), ctx.getCurrentAST());
    }
    IInteger index = ((IntegerResult)subscripts[0]).getValue();
    int idx = index.intValue();
    if (idx < 0){
      idx = idx + getValue().arity();
    }
    if ( (idx >= getValue().arity()) || (idx < 0)) {
      throw RuntimeExceptionFactory.indexOutOfBounds(index, ctx.getCurrentAST(), ctx.getStackTrace());

View Full Code Here

0 1 2 3

TOP

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.