Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.ISetWriter

2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
2801
2802
    for (IValue t : s) {
      ITuple tuple = (ITuple) t;
      IValue key = tuple.get(0);
      IValue value = tuple.get(1);
     
      ISetWriter writer = map.get(key);
      if (writer == null) {
        writer = values.setWriter();
        map.put(key, writer);
      }
      writer.insert(value);
    }
   
    IMapWriter mapWriter = values.mapWriter();
    for (IValue key : map.keySet()) {
      mapWriter.put(key, map.get(key).done());
View Full Code Here
2811
2812
2813
2814
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
    for (IValue t : s) {
      ITuple tuple = (ITuple) t;
      IValue key = tuple.get(0);
      IValue value = tuple.get(1);
     
      ISetWriter writer = map.get(key);
      if (writer == null) {
        writer = values.setWriter();
        map.put(key, writer);
      }
      writer.insert(value);
    }
   
    IMapWriter mapWriter = values.mapWriter();
    for (IValue key : map.keySet()) {
      mapWriter.put(key, map.get(key).done());
View Full Code Here
2837
2838
2839
2840
2841
2842
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
    if (n > 0) {
      int i = 0;
      int k = random.nextInt(n);
      IValue pick = null;
      ISetWriter w = values.setWriter();

      for (IValue v : st) {
        if (i == k) {
          pick = v;
        } else {
          w.insert(v);
        }
        i++;
      }
      return values.tuple(pick, w.done());
    }
    throw RuntimeExceptionFactory.emptySet(null, null);
  }
View Full Code Here
2873
2874
2875
2876
2877
2878
2879
2880
2881
2882
2883
2884
2885
2886
2887
2888
    for (IValue v : st) {
      ITuple t = (ITuple) v;
      IValueWrap key = new IValueWrap(t.get(0));
      IValue val = t.get(1);
      ISetWriter wValSet = hm.get(key);
      if(wValSet == null){
        wValSet = values.setWriter();
        hm.put(key, wValSet);
      }
      wValSet.insert(val);
    }
   
    IMapWriter w = values.mapWriter();
    for(IValueWrap v : hm.keySet()){
      w.put(v.getValue(), hm.get(v).done());
View Full Code Here
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
       * parsing in the IDE
       */
      ModuleEnvironment env = m.equals(getName()) ? this : heap.getModule(m);
     
      if(env != null){
        ISetWriter importWriter = VF.setWriter();
        for(String impname : env.getImports()){
          if(!done.contains(impname)) todo.add(impname);
         
          importWriter.insert(VF.string(impname));
        }
       
        ISetWriter extendWriter = VF.setWriter();
        for(String impname : env.getExtends()){
          if(!done.contains(impname)) todo.add(impname);
         
          extendWriter.insert(VF.string(impname));
        }
       
        ISetWriter defWriter = VF.setWriter();
        for(IValue def : env.productions){
          defWriter.insert(def);
        }
       
        ITuple t = VF.tuple(importWriter.done(), extendWriter.done(), defWriter.done());
        result.put(VF.string(m), t);
      }else if(m.equals(getName())) { // This is the root scope.
        ISetWriter importWriter = VF.setWriter();
        for(String impname : importedModules){
          if(!done.contains(impname)) todo.add(impname);
         
          importWriter.insert(VF.string(impname));
        }
       
        ISetWriter extendWriter = VF.setWriter();
        for(String impname : getExtends()){
          if(!done.contains(impname)) todo.add(impname);
         
          extendWriter.insert(VF.string(impname));
        }
       
        ISetWriter defWriter = VF.setWriter();
        for(IValue def : productions){
          defWriter.insert(def);
        }
       
        ITuple t = VF.tuple(importWriter.done(), extendWriter.done(), defWriter.done());
        result.put(VF.string(m), t);
      }
    }
   
   
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
68
    return buildAppl(children, production);
   
  }
 
  private static IConstructor buildAmbiguityNode(ArrayList<IConstructor> alternatives){
    ISetWriter ambSublist = VF.setWriter(Factory.Tree);
    for(int i = alternatives.size() - 1; i >= 0; --i){
      ambSublist.insert(alternatives.get(i));
    }
   
    return VF.constructor(Factory.Tree_Amb, ambSublist.done());
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.ISetWriter

  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.MapResult
  • org.rascalmpl.interpreter.result.RelationResult
  • org.rascalmpl.interpreter.result.SetResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.interpreter.TypeReifier
  • org.rascalmpl.interpreter.utils.Modules
  • org.rascalmpl.library.cobra.RandomValueTypeVisitor
    • Copyright © 2018 www.massapicom. 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.