Package org.eclipse.imp.pdb.facts

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

256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
    if (constant) {
      return makeResult(type, node, eval);
    }
   
    // TODO add function calling
    IListWriter w = eval.getValueFactory().listWriter(Factory.Tree);
    for (org.rascalmpl.ast.Expression arg : args) {
      w.append(arg.interpret(eval).getValue());
    }
   
    ISourceLocation location = getLocation();
   
    if (location != null) {
      java.util.Map<String,IValue> annos = new HashMap<String,IValue>();
      annos.put("loc", location);
      return makeResult(type, eval.getValueFactory().constructor(Factory.Tree_Appl, annos, production, flatten(w.done())), eval);
    }
    else {
      return makeResult(type, eval.getValueFactory().constructor(Factory.Tree_Appl, production, flatten(w.done())), eval);
    }
  }
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
      }
    }
  }

  private IList flatten(IList args) {
    IListWriter result = VF.listWriter(Factory.Args.getElementType());
    boolean previousWasEmpty = false;
   
    for (int i = 0; i < args.length(); i+=(delta+1)) {
      IConstructor tree = (IConstructor) args.get(i);
     
      if (TreeAdapter.isList(tree) && ProductionAdapter.shouldFlatten(production, TreeAdapter.getProduction(tree))) {
        IList nestedArgs = TreeAdapter.getArgs(tree);
        if (nestedArgs.length() > 0) {
          appendPreviousSeparators(args, result, delta, i, previousWasEmpty);
          result.appendAll(nestedArgs);
        }
        else {
          previousWasEmpty = true;
        }
      }
      else {
        appendPreviousSeparators(args, result, delta, i, previousWasEmpty);
        result.append(tree);
        previousWasEmpty = false;
      }
    }
   
    return result.done();
  }
View Full Code Here
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
    if (base.isList() || base.isTop() || base.isRational()) {
      if(expected.isRational()){
        int dn = ((IInteger) terms[0]).intValue(), nm = ((IInteger) terms[1]).intValue();
        return vf.rational(dn, nm);
      }
      IListWriter w = vf.listWriter(base.isTop() ? tf.valueType() : expected.getElementType());
      for (int i = terms.length - 1; i >= 0; i--) {
        w.insert(terms[i]);
      }
      return w.done();
    } else if (base.isRelation()) {
      ISetWriter w = vf.setWriter(expected.getElementType());
      w.insert(terms);
      return w.done();

    } else if (base.isSet()) {
      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
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
        } else {
          resFieldType[i - nSubs] = relFieldType;
        }
      }
      Type resultType;
      IListWriter wset = null;
      IListWriter wrel = null;
     
      if (yieldList){
        resultType = getTypeFactory().listType(resFieldType[0]);
        wset = this.getValueFactory().listWriter();
      } else {
        resultType = getTypeFactory().lrelType(resFieldType);
        wrel = this.getValueFactory().listRelationWriter();
      }

     
      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(yieldList){
            wset.append(args[0]);
          } else {
            wrel.append(getValueFactory().tuple(args));
          }
        }
      }
      return makeResult(resultType, yieldList ? wset.done() : wrel.done(), ctx);
    }
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
      if (!getType().hasField(name, store)) {
        throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
      }
     
      try {
        IListWriter w = getValueFactory().listWriter();
        for (IValue e : getValue()) {
          w.append(((ITuple) e).get(tupleType.getFieldIndex(name)));
        }
        return makeResult(getTypeFactory().listType(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
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
      }
      for (int i = arity1;  i < arity1 + arity2; i++) {
        fieldTypes[i] = tupleType2.getFieldType(i - arity1);
      }
      Type tupleType = getTypeFactory().tupleType(fieldTypes);
      IListWriter writer = getValueFactory().listWriter();
      IValue fieldValues[] = new IValue[arity1 + arity2];
      for (IValue tuple1: that.getValue()) {
        for (IValue tuple2: this.getValue()) {
          for (int i = 0; i < arity1; i++) {
            fieldValues[i] = ((ITuple)tuple1).get(i);
          }
          for (int i = arity1; i < arity1 + arity2; i++) {
            fieldValues[i] = ((ITuple)tuple2).get(i - arity1);
          }
          writer.append(getValueFactory().tuple(fieldValues));
        }
      }
      Type resultType = getTypeFactory().lrelTypeFromTuple(tupleType);
      return makeResult(resultType, writer.done(), ctx);
    }
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    return elems;
  }

  private static IList convertToRealList(double[] l, IValueFactory vf) {
    TypeFactory tf = TypeFactory.getInstance();
    IListWriter writer = vf.listWriter(tf.realType());
    for (int i = 0; i < l.length; i++) {
      writer.append(vf.real(l[i]));
    }
    return writer.done();
  }
View Full Code Here
585
586
587
588
589
590
591
592
593
594
595
      setCurrentEnvt(oldEnv);
    }
  }

  private IList parsePlainCommandLineArgs(String[] commandline) {
    IListWriter w = vf.listWriter();
    for (String arg : commandline) {
      w.append(vf.string(arg));
    }
    return w.done();
  }
View Full Code Here
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
        }
        else if (i == commandline.length - 1 || commandline[i+1].startsWith("-")) {
          throw new CommandlineError("expected option for " + label, func);
        }
        else if (expected.isSubtypeOf(tf.listType(tf.valueType()))) {
          IListWriter writer = vf.listWriter();
         
          while (i + 1 < commandline.length && !commandline[i+1].startsWith("-")) {
            writer.append(parseCommandlineOption(func, expected.getElementType(), commandline[++i]));
          }
         
          params.put(label, writer.done());
        }
        else if (expected.isSubtypeOf(tf.setType(tf.valueType()))) {
          ISetWriter writer = vf.setWriter();
         
          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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
    return makeResult(concreteType, newAppl, ctx);
  }

  private IValue flatten(IConstructor prod, IList args) {
    IListWriter result = vf.listWriter(Factory.Args.getElementType());
    int delta = getDelta(prod);
   
    for (int i = 0; i < args.length(); i+=(delta + 1)) {
      IConstructor tree = (IConstructor) args.get(i);
      if (TreeAdapter.isList(tree) && TreeAdapter.isAppl(tree)) {
        if (ProductionAdapter.shouldFlatten(prod, TreeAdapter.getProduction(tree))) {
          IList nestedArgs = TreeAdapter.getArgs(tree);
          if (nestedArgs.length() > 0) {
            appendSeparators(args, result, delta, i);
            result.appendAll(nestedArgs);
          }
          else {
            // skip following separators
            i += delta;
          }
        }
        else {
          appendSeparators(args, result, delta, i);
          result.append(tree);
        }
      }
      else {
        appendSeparators(args, result, delta, i);
        result.append(tree);
      }
    }
   
    return result.done();
  }
View Full Code Here
TOP

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

  • org.rascalmpl.interpreter.debug.DebugUpdater$PushDownTreeVisitor
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.result.AbstractFunction
  • org.rascalmpl.interpreter.result.ConcreteConstructorFunction
  • org.rascalmpl.interpreter.result.IntegerResult
  • org.rascalmpl.interpreter.result.ListOrRelationResult
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.ListResult
  • org.rascalmpl.interpreter.result.NodeResult
  • org.rascalmpl.interpreter.result.RationalResult
    • 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.