Package org.eclipse.imp.pdb.facts

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

91
92
93
94
95
96
97
98
99
100
101
    for (IValue i : imports) {
      URI uri = URIUtil.createRascalModule(((IString) i).getValue());
      mw.put(i, VF.sourceLocation(uri));
    }
   
    eval.getStdErr().println("locations: " + mw.done());
   
    return (IConstructor) eval.call(monitor, "linkImportedModules", moduleParseTree, mw.done());
  }
 
  public synchronized IConstructor checkModule(IRascalMonitor monitor, IConstructor moduleParseTree) {
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
      mw.put(i, VF.sourceLocation(uri));
    }
   
    eval.getStdErr().println("locations: " + mw.done());
   
    return (IConstructor) eval.call(monitor, "linkImportedModules", moduleParseTree, mw.done());
  }
 
  public synchronized IConstructor checkModule(IRascalMonitor monitor, IConstructor moduleParseTree) {
    IConstructor res = moduleParseTree;
//    res = resolveImports(monitor, res);
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
      private IMap makeMap(Map<String, String> headers) {
        IMapWriter writer = vf.mapWriter();
        for (Entry<String, String> entry : headers.entrySet()) {
          writer.put(vf.string(entry.getKey()), vf.string(entry.getValue()));
        }
        return writer.done();
      }

      private IConstructor makeMethod(Method method) {
        initMethodAndStatusValues(ctx);
        return methodValues.get(method);
View Full Code Here
267
268
269
270
271
272
273
274
275
276
277
  @Override
  public IValue visitMap(Type type) {
    IMapWriter writer = vf.mapWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {

      RandomValueTypeVisitor visitor = descend();
      IValue key = visitor.generate(type.getKeyType());
      IValue value = visitor.generate(type.getValueType());
View Full Code Here
279
280
281
282
283
284
285
286
287
288
289
      if (key != null && value != null) {
        writer.put(key, value);
      }

      writer.putAll((IMap) visitor.generate(type));
      return writer.done();
    }
  }

  @Override
  public IValue visitNode(Type type) {
View Full Code Here
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
      Type type = TF.mapType(keyType, valueType);
      IMapWriter w = __eval.__getVf().mapWriter();
      w.putAll(result);

      return org.rascalmpl.interpreter.result.ResultFactory.makeResult(
          type, w.done(), __eval);

    }

    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
View Full Code Here
298
299
300
301
302
303
304
305
306
307
308
          String[] keyValue = param.split("=");
          res.put(vf.string(keyValue[0]), vf.string(keyValue[1]));
        }
      }
     
      IMap map = res.done();
      return makeResult(map.getType(), map, ctx);
    }

    default:
      throw new UndeclaredField(name, getTypeFactory().sourceLocationType(), ctx.getCurrentAST());
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
      IMapWriter w = values.mapWriter(Node, Node);
      Map<Object, Object> m = (Map<Object,Object>)obj;
      for (Map.Entry<Object,Object> e: m.entrySet()) {
        w.put(loadRec(e.getKey(), anchors, visited, ctx), loadRec(e.getValue(), anchors, visited, ctx));
      }
      result = values.constructor(Node_mapping, w.done());
    }
    else {
      throw RuntimeExceptionFactory.illegalArgument(
          values.string(obj.toString() + " (class=" + obj.getClass() + ")"),
          ctx.getCurrentAST(), ctx.getStackTrace());
View Full Code Here
235
236
237
238
239
240
241
242
243
244
245
  @Override
  public IValue visitMap(Type type) {
    IMapWriter writer = vf.mapWriter(); // type.writer(vf);

    if (maxDepth <= 0 || (stRandom.nextInt(2) == 0)) {
      return writer.done();
    } else {

      RandomValueTypeVisitor visitor = descend();
      IValue key = visitor.generate(type.getKeyType());
      IValue value = visitor.generate(type.getValueType());
View Full Code Here
247
248
249
250
251
252
253
254
255
256
257
      if (key != null && value != null) {
        writer.put(key, value);
      }

      writer.putAll((IMap) visitor.generate(type));
      return writer.done();
    }
  }

  @Override
  public IValue visitNode(Type type) {
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.