Package org.eclipse.imp.pdb.facts

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

83
84
85
86
87
88
89
90
91
92
93
    for(IValue v : st){
      ITuple t = (ITuple) v;
      IInteger from = (IInteger) t.get(0);
      IInteger to = (IInteger) t.get(2);
      if(from.intValue() > r) r = from.intValue();
      if(to.intValue() > r) r = to.intValue();
    }
    return r + 1;
  }
 
  private void printTransitions(PrintStream fos, ISet st){
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
    for(IValue v : st){
      ITuple t = (ITuple) v;
      IInteger from = (IInteger) t.get(0);
      IInteger to = (IInteger) t.get(2);
      if(from.intValue() > r) r = from.intValue();
      if(to.intValue() > r) r = to.intValue();
    }
    return r + 1;
  }
 
  private void printTransitions(PrintStream fos, ISet st){
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
      fos.print('(');
      fos.print(from.intValue());
      fos.print(',');
      fos.print("\"" + act.getValue() + "\"");
      fos.print(',');
      fos.print(to.intValue());
      fos.print(')');
      fos.println();
    }
  }
 
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
    IInteger maxDepth = (IInteger) actuals[0];

    RandomValueTypeVisitor v = new RandomValueTypeVisitor(
        getValueFactory(), (ModuleEnvironment) getEnv().getRoot(),
        maxDepth.intValue(), generators, ctx.getCurrentEnvt().getTypeBindings());

    IValue returnVal = instantiatedReturnType.accept(v);

    return makeResult(instantiatedReturnType, returnVal, eval);
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
      throw new UnsupportedSubscript(type, null, ctx.getCurrentAST());
    if (!subsBase.getType().isInteger()){
      throw new UnsupportedSubscript(getTypeFactory().integerType(), subsBase.getType(), ctx.getCurrentAST());
    }
    IInteger index = (IInteger)subsBase.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
193
194
195
196
197
198
199
200
201
202
203
          b.append(escapeChar(from.intValue()));
        }
        else {
          b.append(escapeChar(from.intValue()));
          b.append("-");
          b.append(escapeChar(to.intValue()));
        }
      }
      b.append("]");
      return b.toString();
    }
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
    }
    if (getValue().getValue().length() == 0) {
      throw RuntimeExceptionFactory.illegalArgument(ctx.getCurrentAST(), ctx.getStackTrace());
    }
    IInteger index = ((IInteger)key.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
345
346
347
348
349
350
351
352
353
354
355
  }

  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
135
136
137
138
139
140
141
142
143
144
145
        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
80
81
82
83
84
85
86
87
88
89
90
    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
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.