Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.ISetWriter.done()

381
382
383
384
385
386
387
388
389
390
391
        for (IValue e : o) {
          elements.add(e.accept(this));
        }
        ISetWriter writer = vf.setWriter(calcLub(elements));
        writer.insertAll(elements);
        return writer.done();
      }
      @Override
      public IValue visitTuple(ITuple o) throws RuntimeException {
        IValue[] elements = new IValue[o.arity()];
        Type[] types = new Type[o.arity()];
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
          newEntries.put(ent.getKey().accept(this), ent.getValue().accept(this));
        }

        IMapWriter writer = vf.mapWriter(calcLub(newEntries.keySet()), calcLub(newEntries.values()));
        writer.putAll(newEntries);
        return writer.done();
      }

      @Override
      public IValue visitConstructor(IConstructor o)
          throws RuntimeException {
View Full Code Here
22
23
24
25
26
27
28
29
30
31
32
  public ITuple getGraph() {
    ISetWriter sw = vf.setWriter(tf.tupleType(tf.stringType(),
        tf.stringType(), tf.stringType(), tf.integerType()));
    sw.insertAll(ids.values());
    return vf.tuple(sw.done(), edges);
  }

  public IString addFact(IFact<?> fact, String name, int status) {
    if (!ids.containsKey(fact)) {
      String id = "fact" + idNum++;
View Full Code Here
357
358
359
360
361
362
363
364
365
366
367
    // TODO: add filtering semantics, function calling
    ISetWriter w = eval.getValueFactory().setWriter(Factory.Tree);
    for (org.rascalmpl.ast.Expression a : alts) {
      w.insert(a.interpret(eval).getValue());
    }
    return makeResult(type, eval.getValueFactory().constructor(Factory.Tree_Amb, (IValue) w.done()), eval);
  }
 
  @Override
  public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
    return type;
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
      if (cons.equals(type)) {
        set.insert(imp);
      }
    }
   
    return set.done();
  }
 
  public static String getName(IConstructor tree) {
    IConstructor name = TreeAdapter.getArg(TreeAdapter.getArg(tree, "header"),"name");
    IConstructor parts = TreeAdapter.getArg(name, "names");
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
    } catch (IOException e) {
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }
   
    return rw.done();
  }
 
  private boolean isEOL(int c) {
    return c == '\n' || c == '\r';
  }
View Full Code Here
369
370
371
372
373
374
375
376
377
378
379
          }
          writer.insert(getValueFactory().tuple(fieldValues));
        }
      }
      Type resultType = getTypeFactory().relTypeFromTuple(resultTupleType);
      return makeResult(resultType, writer.done(), ctx);
    }
   
    @Override
    public Result<IValue> fieldSelect(int[] selectedFields) {
      if (!getType().getElementType().isBottom()) {
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
  @Override
  public <U extends IValue> Result<U> fieldAccess(String name, TypeStore store) {
    if (name.equals(type.getKeyLabel())) {
      ISetWriter w = getValueFactory().setWriter();
      w.insertAll(value);
      return makeResult(getTypeFactory().setType(type.getKeyType()), w.done(), ctx);
    }
    else if (name.equals(type.getValueLabel())) {
      ISetWriter w = getValueFactory().setWriter();
      Iterator<IValue> it = value.valueIterator();
      while (it.hasNext()) {
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
      ISetWriter w = getValueFactory().setWriter();
      Iterator<IValue> it = value.valueIterator();
      while (it.hasNext()) {
        w.insert(it.next());
      }
      return makeResult(getTypeFactory().setType(type.getValueType()), w.done(), ctx);
    }

    throw new UndeclaredField(name, type, ctx.getCurrentAST());
  }
 
View Full Code Here
263
264
265
266
267
268
269
270
271
272
273
    while (it.hasNext()) {
      Entry<IValue,IValue> entry = it.next();
      w.insert(getValueFactory().tuple(entry.getKey(), entry.getValue()));
    }
   
    return makeResult(getTypeFactory().setType(type.getFieldTypes()), w.done(), ctx).fieldSelect(selectedFields);
  }
 
  @Override
  public Result<IValue> fieldSelect(Field[] selectedFields) {
    int nFields = selectedFields.length;
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.