Package org.eclipse.imp.pdb.facts

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

2895
2896
2897
2898
2899
2900
2901
2902
2903
2904
2905
2906
2907
  {
    IMapWriter w = values.mapWriter();
    HashSet<IValueWrap> seenKeys = new HashSet<IValueWrap>();

    for (IValue v : st) {
      ITuple t = (ITuple) v;
      IValueWrap key = new IValueWrap(t.get(0));
      IValue val = t.get(1);
      if(seenKeys.contains(key)) {
        throw RuntimeExceptionFactory.MultipleKey(key.getValue(), null, null);
      }
      seenKeys.add(key);
      w.put(key.getValue(), val);
View Full Code Here
3378
3379
3380
3381
3382
3383
3384
3385
3386
3387
3388
3389
   */
 
  public IList fieldsOf(IValue v){
    if(!v.getType().isTuple())
      throw RuntimeExceptionFactory.illegalArgument(v, null, null, "argument of type tuple is required");
    ITuple tp = (ITuple) v;
    Type tt = tp.getType();
    int a = tt.getArity();
    IListWriter w = values.listWriter();
    for(int i = 0; i < a; i++){
      String fname = tt.getFieldName(i);
      if(fname == null)
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
        wrel = this.getValueFactory().relationWriter();
      }

     
      for (IValue v : getValue()) {
        ITuple tup = (ITuple)v;
        boolean allEqual = true;
        for(int k = 0; k < nSubs; k++){
          if(subscriptIsSet[k] && ((subscripts[k] == null) ||
                               ((ISet) subscripts[k].getValue()).contains(tup.get(k)))){
            /* ok */
          } else if (subscripts[k] == null || tup.get(k).isEqual(subscripts[k].getValue())){
            /* ok */
          } else {
            allEqual = false;
          }
        }
       
        if (allEqual) {
          IValue args[] = new IValue[relArity - nSubs];
          for (int i = nSubs; i < relArity; i++) {
            args[i - nSubs] = tup.get(i);
          }
          if(yieldSet){
            wset.insert(args[0]);
          } else {
            wrel.insert(getValueFactory().tuple(args));
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
  }

  private IValue traverseTupleOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    IValue result;
    ITuple tuple = (ITuple) subject;
    int arity = tuple.arity();
    IValue args[] = new IValue[arity];
    boolean hasMatched = false;
    boolean hasChanged = false;
   
   
    for (int i = 0; i < arity; i++){
      tr.changed = false;
      tr.matched = false;
      args[i] = traverseOnce(tuple.get(i), casesOrRules, direction, progress, fixedpoint, tr);
      hasMatched |= tr.matched;
      hasChanged |= tr.changed;
    }
   
    result = eval.getValueFactory().tuple(args);
View Full Code Here
779
780
781
782
783
784
785
786
787
788
789
790
791
  private void buildAdjacencyListAndDistance(ISet G){
    adjacencyList = new HashMap<IValue, LinkedList<IValue>> ();
    distance = new HashMap<IValue, Distance>();
   
    for(IValue v : G){
      ITuple tup = (ITuple) v;
      IValue from = tup.get(0);
      IValue to = tup.get(1);
     
      if(distance.get(from) == null)
        distance.put(from, new Distance(MAXDISTANCE));
      if(distance.get(to) == null)
        distance.put(to, new Distance(MAXDISTANCE));
View Full Code Here
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
  // @doc{toMap -- convert a list of tuples to a map; first value in old tuples is associated with a set of second values}
  {
    Map<IValueWrap,ISetWriter> hm = new HashMap<IValueWrap,ISetWriter>();

    for (IValue v : lst) {
      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);
      }
View Full Code Here
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
     }
   
     IMapWriter w = values.mapWriter();
     Set<IValueWrap> seenKeys = new HashSet<IValueWrap>();
     for(IValue v : lst){
       ITuple t = (ITuple) v;
       IValueWrap key = new IValueWrap(t.get(0));
       if(seenKeys.contains(key))
        throw RuntimeExceptionFactory.MultipleKey(key.getValue(), null, null);
       seenKeys.add(key);
       w.put(key.getValue(), t.get(1));
     }
     return w.done();
  }
View Full Code Here
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
 
  public IMap index(ISet s) {
    Map<IValue, ISetWriter> map = new HashMap<IValue, ISetWriter>(s.size());
   
    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);
View Full Code Here
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
        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
TOP

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

  • org.rascalmpl.interpreter.cursors.TupleSelectByFieldNamesContext
  • org.rascalmpl.interpreter.cursors.TupleSelectContext
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.RelationResult
  • org.rascalmpl.interpreter.result.TupleResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.library.analysis.statistics.Correlations
  • org.rascalmpl.library.analysis.statistics.Inferences
  • org.rascalmpl.library.analysis.statistics.SimpleRegressions
    • 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.