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

Class org.eclipse.imp.pdb.facts.ISetWriter

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

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

          
          while (i + 1 < commandline.length && !commandline[i+1].startsWith("-")) {
            writer.insert(parseCommandlineOption(func, expected.getElementType(), commandline[++i]));
          }
          
          params.put(label, writer.done());
        }
        else {
          params.put(label, parseCommandlineOption(func, expected, commandline[++i]));
        }
      }

View Full Code Here

        fieldValues[arity1] = setValue;
        writer.insert(getValueFactory().tuple(fieldValues));
      }
    }
    Type resultType = getTypeFactory().relTypeFromTuple(resultTupleType);
    return makeResult(resultType, writer.done(), ctx);
  }


  @Override
  protected <U extends IValue> Result<U> joinSet(SetResult that) {
    // Note the reverse of arguments, we need "that join this"

View Full Code Here

        for (String key : type.getKeywordParameters()) {
          kwTypes.insert(vf.constructor(Factory.Symbol_Label, vf.string(key), type.getKeywordParameterType(key).accept(this)));
        }
        
        alts.insert(vf.constructor(Factory.Production_Cons, vf.constructor(Factory.Symbol_Label,  vf.string(type.getName()), adt), w.done(), kwTypes.done(), kwDefaults.done(), vf.set()));
        choice = vf.constructor(Factory.Production_Choice, adt, alts.done());
        definitions.put(adt, choice);
      }

View Full Code Here

          } else {
            wrel.insert(getValueFactory().tuple(args));
          }
        }
      }
      return makeResult(resultType, yieldSet ? wset.done() : wrel.done(), ctx);
    }


    ////

View Full Code Here

      try {
        ISetWriter w = getValueFactory().setWriter();
        for (IValue e : getValue()) {
          w.insert(((ITuple) e).get(tupleType.getFieldIndex(name)));
        }
        return makeResult(getTypeFactory().setType(tupleType.getFieldType(name)), w.done(), ctx);
      }
      // TODO: why catch this exception here?
      catch (UndeclaredFieldException e) {
        throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
      }

View Full Code Here

          }
          writer.insert(getValueFactory().tuple(fieldValues));
        }
      }
      Type resultType = getTypeFactory().relTypeFromTuple(tupleType);
      return makeResult(resultType, writer.done(), ctx);
    }


    @Override
    protected <U extends IValue> Result<U> joinSet(SetResult that) {
      // Note the reverse of arguments, we need "that join this"

View Full Code Here

          }
          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

        hasMatched |= tr.matched;
      }
      
      tr.changed = hasChanged;
      tr.matched = hasMatched;
      return w.done();
    } else {
      return subject;
    }
  }

View Full Code Here

  public ISet charsets() {
    ISetWriter w = values.setWriter();
    for (String s : Charset.availableCharsets().keySet()) {
      w.insert(values.string(s));
    }
    return w.done();
  } 
  
  // REFLECT -- copy in PreludeCompiled
  public IValue readFile(ISourceLocation sloc, IEvaluatorContext ctx){
    sloc = ctx.getHeap().resolveSourceLocation(sloc);

View Full Code Here

    ISetWriter w = values.setWriter();
    int len = lst.length();
    for (int i = 0; i < len; i++){
      w.insert(values.integer(i));
    }
    return w.done();
  }
  
  public IValue head(IList lst)
  // @doc{head -- get the first element of a list}
  {

View Full Code Here

0 1 2 3 4 5

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.