Package org.eclipse.imp.pdb.facts

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

78
79
80
81
82
83
84
85
86
87
88
  private IValue genSet(Type type) {
    ISetWriter writer = vf.setWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      ISet set = (ISet) visitor.generate(type);

      IValue element = null;
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
      writer.insertAll(set);

      if (element != null) {
        writer.insert(element);
      }
      return writer.done();
    }
  }

  @Override
  public IValue visitAbstractData(Type type) {
View Full Code Here
534
535
536
537
538
539
540
541
542
543
544
        public IConstructor visitTreeAmb(IConstructor arg)  {
          ISetWriter w = vf.setWriter();
          for (IValue elem : TreeAdapter.getAlternatives(arg)) {
            w.insert(elem.accept(this));
          }
          return arg.set("alternatives", w.done());
        }
      });
    }
  
//    private static boolean containsBackTick(char[] data, int offset) {
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
      if (elem != null) {
        w.insert(elem);
      }
    }

    result = w.done();
    return result;
  }

  private IValue readArray(Object[] o, Set<Class<?>> includes, Map<Object, IValue> cache, Stack<Object> stack) {
    IValue result;
View Full Code Here
812
813
814
815
816
817
818
819
820
821
822
      }
      return w.done();
    } else if (base.isRelation()) {
      ISetWriter w = vf.setWriter(expected.getElementType());
      w.insert(terms);
      return w.done();

    } else if (base.isSet()) {
      ISetWriter w = vf.setWriter(expected.getElementType());
      w.insert(terms);
      return w.done();
View Full Code Here
817
818
819
820
821
822
823
824
825
826
827
      return w.done();

    } else if (base.isSet()) {
      ISetWriter w = vf.setWriter(expected.getElementType());
      w.insert(terms);
      return w.done();
    } else if(base.isMap()){
      //Type tt = expected.getElementType();
      IMapWriter w = vf.mapWriter(expected); //tt.getFieldType(0), tt.getFieldType(1));
      for (int i = terms.length - 1; i >= 0; i--) {
        w.put(((ITuple) terms[i]).get(0), ((ITuple)terms[i]).get(1));
View Full Code Here
824
825
826
827
828
829
830
831
832
833
834
      //Type tt = expected.getElementType();
      IMapWriter w = vf.mapWriter(expected); //tt.getFieldType(0), tt.getFieldType(1));
      for (int i = terms.length - 1; i >= 0; i--) {
        w.put(((ITuple) terms[i]).get(0), ((ITuple)terms[i]).get(1));
      }
      return w.done();
    }
    throw new FactParseError("Unexpected type " + expected,
        reader.getPosition());
  }
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
    for (Object e: l) {
      stack.push(e);
      w.insert(read(elementType(type)));
      stack.pop();
    }
    return w.done();
  }

  @Override
  public IValue visitSourceLocation(Type type) throws IOException {
    String scheme = null;
View Full Code Here
359
360
361
362
363
364
365
366
367
368
369
        for (IValue e : o) {
          elements.add(e.accept(this));
        }
        ISetWriter writer = vf.relationWriter(calcLub(elements));
        writer.insertAll(elements);
        return writer.done();
      }

      @Override
      public IValue visitListRelation(IList o) throws RuntimeException {
        List<IValue> elements = new ArrayList<IValue>(o.length());
View Full Code Here
370
371
372
373
374
375
376
377
378
379
380
        for (IValue e : o) {
          elements.add(e.accept(this));
        }
        IListWriter writer = vf.listRelationWriter(calcLub(elements));
        writer.appendAll(elements);
        return writer.done();
      }

      @Override
      public IValue visitSet(ISet o) throws RuntimeException {
        List<IValue> elements = new ArrayList<IValue>(o.size());
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.