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

Class org.eclipse.imp.pdb.facts.IListWriter

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

org.eclipse.imp.pdb.facts.IListWriter.appendAll()

      RandomValueTypeVisitor visitor = descend();
      IValue element = visitor.generate(type.getElementType());
      if (element != null) {
        writer.append(element);
      }
      writer.appendAll((IList) visitor.generate(type));
      return writer.done();
    }
  }


  @Override

View Full Code Here

      RandomValueTypeVisitor visitor = descend();
      IValue element = visitor.generate(type.getElementType());
      if (element != null) {
        writer.append(element);
      }
      writer.appendAll((IList) visitor.generate(type));
      return writer.done();
    }
  }


  @Override

View Full Code Here

        List<IValue> elements = new ArrayList<IValue>(o.length());
        for (IValue e : o) {
          elements.add(e.accept(this));
        }
        IListWriter writer = vf.listWriter(calcLub(elements));
        writer.appendAll(elements);
        return writer.done();
      }


      @Override
      public IValue visitRelation(ISet o) throws RuntimeException {

View Full Code Here

        List<IValue> elements = new ArrayList<IValue>(o.length());
        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 {

View Full Code Here

      
      if (TreeAdapter.isList(tree) && ProductionAdapter.shouldFlatten(production, TreeAdapter.getProduction(tree))) {
        IList nestedArgs = TreeAdapter.getArgs(tree);
        if (nestedArgs.length() > 0) {
          appendPreviousSeparators(args, result, delta, i, previousWasEmpty);
          result.appendAll(nestedArgs);
        }
        else {
          previousWasEmpty = true;
        }
      }

View Full Code Here

      if (TreeAdapter.isList(tree) && TreeAdapter.isAppl(tree)) {
        if (ProductionAdapter.shouldFlatten(prod, TreeAdapter.getProduction(tree))) {
          IList nestedArgs = TreeAdapter.getArgs(tree);
          if (nestedArgs.length() > 0) {
            appendSeparators(args, result, delta, i);
            result.appendAll(nestedArgs);
          }
          else {
            // skip following separators
            i += delta;
          }

View Full Code Here

        results.add(results.size(), resultElem.getValue());
      }


      Type resultType = TF.listType(elementType);
      IListWriter w = __eval.__getVf().listWriter();
      w.appendAll(results);
      return org.rascalmpl.interpreter.result.ResultFactory.makeResult(resultType, w.done(), __eval);
    }


    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {

View Full Code Here

        IList z = getArgs(tree);
        for (IValue q : z) {
          if (!(q instanceof IConstructor))
            continue;
          IList p = searchCategory((IConstructor) q, category);
          writer.appendAll(p);
        }
      }
    }
    return writer.done();
  }

View Full Code Here

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.