Package org.eclipse.imp.pdb.facts

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

831
832
833
834
835
836
837
838
839
840
841
        }
       
        rs.close();
        stmt.close();
       
        return lw.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, sqle.getMessage());
View Full Code Here
863
864
865
866
867
868
869
870
871
872
873
        }
       
        rs.close();
        stmt.close();
       
        return lw.done();
      } else {
        throw RuntimeExceptionFactory.illegalArgument(connection, null, null, "Connection does not exist.");
      }
    } catch (SQLException sqle) {
      throw RuntimeExceptionFactory.illegalArgument(connection, null, null, sqle.getMessage());
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
      } else {
        IListWriter writer = ValueFactoryFactory.getValueFactory().listWriter();
        for(int i = posArityMinusOne; i < arity - 1; i++) {
          writer.append((IValue) stack[start + i]);
        }
        this.stack[this.sp++] = writer.done();
      }
      this.stack[this.sp++] = stack[start + arity - 1]; // The keyword arguments
    }   
    this.sp = function.nlocals;
    return start;
View Full Code Here
245
246
247
248
249
250
251
252
253
254
255
 
  private IValue genList(Type type){
    IListWriter writer = vf.listWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {
      RandomValueTypeVisitor visitor = descend();
      IValue element = visitor.generate(type.getElementType());
      if (element != null) {
        writer.append(element);
View Full Code Here
253
254
255
256
257
258
259
260
261
262
263
      IValue element = visitor.generate(type.getElementType());
      if (element != null) {
        writer.append(element);
      }
      writer.appendAll((IList) visitor.generate(type));
      return writer.done();
    }
  }

  @Override
  public IValue visitList(Type type) {
View Full Code Here
473
474
475
476
477
478
479
480
481
482
483
           IListWriter w = vf.listWriter();
           IList args = TreeAdapter.getArgs(tree);
           for (IValue arg : args) {
             w.append(arg.accept(this));
           }
           args = w.done();
          
           return TreeAdapter.setArgs(tree, args);
         }
       }
View Full Code Here
641
642
643
644
645
646
647
648
649
650
651
            IListWriter w = eval.getValueFactory().listWriter();
            IList args = TreeAdapter.getArgs(tree);
            for (IValue elem : args) {
              w.append(elem.accept(this));
            }
            args = w.done();
           
            return TreeAdapter.setArgs(tree, args);
          }
         
          IConstructor type = retrieveHoleType(tree);
View Full Code Here
673
674
675
676
677
678
679
680
681
682
683
        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
202
203
204
205
206
207
208
209
210
211
212
        continue;
      }
    }
   
    IString name = vf.string(e.getName());
    return vf.constructor(Factory.Node_element, convertNamespace(e.getNamespace()), name, kids.done());
  }

  private IConstructor convertNamespace(Namespace ns) {
    if (ns == Namespace.NO_NAMESPACE) {
      return vf.constructor(Factory.Namespace_none);
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
    } else {
      for (int j = first; j >= 0 && j > end && j < getValue().length(); j += increment) {
        w.append(getValue().get(j));
      }
    }
    return makeResult(TypeFactory.getInstance().listType(getType().getElementType()), w.done(), ctx);
  }

  @Override
  protected <U extends IValue> Result<U> addList(ListResult s) {
    return makeResult(type.lub(s.type), s.getValue().concat(getValue()), ctx);
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.