Package org.eclipse.imp.pdb.facts

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

601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
          int dn = ((IInteger) w[0]).intValue(), nm = ((IInteger) w[1])
              .intValue();
          b[i] = vf.rational(dn, nm);
        } else if (found.getFieldType(i).isMap()) {
          IValue[] g = toArray(v);
          IMapWriter w = vf.mapWriter();
          for (int j = 0; j < g.length; j++) {
            w.put(((IList) g[j]).get(0), ((IList) g[j]).get(1));
          }
          b[i] = w.done();
        } else if (found.getFieldType(i).isList())
          b[i] = computed[i];
        else
          break;
      } else if (computed[i].getType().isString()) {
View Full Code Here
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
    }
    if (funname.equals("#set")) {
      return a.length == 0 ? vf.set(tf.valueType()) : vf.set(a);
    }
    if (funname.equals("#map")) {
      IMapWriter w = vf.mapWriter();
      for (int i = 0; i < a.length; i++) {
        w.put(((ITuple) a[i]).get(0), ((ITuple) a[i]).get(1));
      }
      return w.done();
    }
    if (funname.equals("#datetime"))
      return dateTime(((IString) a[0]).getValue());

    Type computed = tf.tupleType(b);
View Full Code Here
820
821
822
823
824
825
826
827
828
829
830
831
832
833
      ISetWriter w = vf.setWriter(expected.getElementType());
      w.insert(terms);
      return w.done();
    } else if(base.isMap()){
      //Type tt = expected.getElementType();
      IMapWriter w = vf.mapWriter(expected); //tt.getFieldType(0), tt.getFieldType(1));
      for (int i = terms.length - 1; i >= 0; i--) {
        w.put(((ITuple) terms[i]).get(0), ((ITuple)terms[i]).get(1));
      }
      return w.done();
    }
    throw new FactParseError("Unexpected type " + expected,
        reader.getPosition());
  }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
    IValue[] args = new IValue[argValues.length + 1];
    int i = 0;
    for(IValue argValue : argValues) {
      args[i++] = argValue;
    }
    IMapWriter kwargs = rvm.vf.mapWriter();
    if(keyArgValues != null) {
      for(Entry<String, IValue> entry : keyArgValues.entrySet()) {
        kwargs.put(rvm.vf.string(entry.getKey()), keyArgValues.get(entry.getValue()));
      }
    }
    args[i] = kwargs.done();
    IValue rval = rvm.executeFunction(this, args);
    return ResultFactory.makeResult(rval.getType(), rval, rvm.getEvaluatorContext());  // TODO: remove CTX
  }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
  @SuppressWarnings("deprecation")
  @Override
  public IValue visitMap(Type type) throws IOException {
    // [ [k, v], ... ]
    IMapWriter w = vf.mapWriter(keyType(type), valueType(type));
    List l = (List)stack.peek();
    for (Object e: l) {
      List pair = (List)e;
      stack.push(pair.get(0));
      IValue k = read(keyType(type));
      stack.pop();
      stack.push(pair.get(1));
      IValue v = read(valueType(type));
      stack.pop();
      w.put(k, v);
    }
    return w.done();
  }
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
435
436
        while (entries.hasNext()) {
          Entry<IValue, IValue> ent = entries.next();
          newEntries.put(ent.getKey().accept(this), ent.getValue().accept(this));
        }

        IMapWriter writer = vf.mapWriter(calcLub(newEntries.keySet()), calcLub(newEntries.values()));
        writer.putAll(newEntries);
        return writer.done();
      }

      @Override
      public IValue visitConstructor(IConstructor o)
          throws RuntimeException {
View Full Code Here
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
            stack.pop();
            return vf.constructor(JSON_ivalue, v);
          }
        }
      }
      IMapWriter w = vf.mapWriter();
      for (Object k: map.keySet()) {
        w.put(vf.string((String) k), convertToIValue(map.get(k))); 
      }
      return vf.constructor(JSON_object, w.done());
    }
    if (obj instanceof List) {
      IListWriter w = vf.listWriter();
      for (Object k: (List)obj) {
        w.append(convertToIValue(k)); 
      }
      return vf.constructor(JSON_array, w.done());
    }
    if (obj instanceof Double) {
      return vf.constructor(JSON_null);
     
    }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
            throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
        }
      }
    }

    IMapWriter mw = values.mapWriter(strType, types.relType(strType, strType));

    for (Map.Entry<java.lang.String, ISetWriter> entry : table.entrySet()) {
      mw.insert(values.tuple(values.string(entry.getKey()), entry.getValue().done()));
    }
    return mw.done();
  }
View Full Code Here
232
233
234
235
236
237
238
239
240
241
242
243
244
245
          throw RuntimeExceptionFactory.io(values.string(e.getMessage()), ctx.getCurrentAST(), ctx.getStackTrace());
        }
      }
    }
   
    IMapWriter mr = values.mapWriter();
   
    for (Map.Entry<java.lang.String, Type> entry : table.entrySet()) {
      Type t = entry.getValue();
      mr.put(values.string(entry.getKey()),
             ((IConstructor) new TypeReifier(values).typeToValue(types.relType(t.getFieldType(0), t.getFieldType(1)), ctx).getValue())); 
    }
    return mr.done();
  }
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
        // interesting operation, sets the image of all keys to one default
        if (!repl.getType().isSubtypeOf(type.getValueType())) {
          throw new UnexpectedType(type.getValueType(), repl.getType(), ctx.getCurrentAST());
        }

        IMapWriter w = getValueFactory().mapWriter();

        for (IValue key : value) {
          w.put(key, repl.getValue());
        }

        return makeResult(type, w.done(), ctx);
      }
    }
   
    throw new UndeclaredFieldException(type, name);
  }
View Full Code Here
TOP

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

  • org.rascalmpl.checker.StaticChecker
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.result.MapResult
  • org.rascalmpl.interpreter.result.SourceLocationResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.interpreter.TypeReifier
  • org.rascalmpl.library.cobra.RandomValueTypeVisitor
  • org.rascalmpl.library.experiments.Compiler.Rascal2muRascal.RandomValueTypeVisitor
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.FunctionInstance
  • org.rascalmpl.library.lang.json.io.JSONReadingTypeVisitor
    • 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.