Package org.eclipse.imp.pdb.facts.type

Examples of org.eclipse.imp.pdb.facts.type.Type.lub()

2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
          if (resultElem.getType().isSet() || resultElem.getType().isList()){
            /*
             * Splice the elements in the set
             * __eval.
             */
            elementType = elementType.lub(resultElem.getType().getElementType());
            for (IValue val : (Iterable<IValue>) resultElem.getValue()) {
              results.add(val);
            }
          continue;
          }
View Full Code Here
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
          resultElem = expr.interpret(__eval);
          if (resultElem.getType().isBottom()) {
            throw new NonVoidTypeRequired(expr);
          }
        }
        elementType = elementType.lub(resultElem.getType());
        results.add(results.size(), resultElem.getValue());
      }
      Type resultType = TF.setType(elementType);
      ISetWriter w = __eval.__getVf().setWriter();
      w.insertAll(results);
View Full Code Here
470
471
472
473
474
475
476
477
478
479
480
      types[i] = actualTypes[i];
    }
   
    Type lub = TF.voidType();
    for (int j = i; j < actualTypes.length; j++) {
      lub = lub.lub(actualTypes[j]);
    }
   
    types[i] = TF.listType(lub);
   
    return TF.tupleType(types);
View Full Code Here
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
        if (valueResult.getType().isBottom()) {
          throw new NonVoidTypeRequired(mapping.getTo());
        }

        keyType = keyType.lub(keyResult.getType());
        valueType = valueType.lub(valueResult.getType());

        IValue keyValue = result.get(keyResult.getValue());
        if (keyValue != null) {
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
              .MultipleKey(keyValue, mapping.getFrom(), __eval
View Full Code Here
335
336
337
338
339
340
341
342
343
344
345
    return input.accept(new IValueVisitor<IValue, RuntimeException>() {

      private Type calcLub(Iterable<? extends IValue> e) {
        Type elemType = tf.voidType();
        for (IValue v : e) {
          elemType = elemType.lub(v.getType());
        }
        return elemType;
      }

      @Override
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
      newActuals[i] = actuals[i];
    }
   
    Type lub = TF.voidType();
    for (int j = i; j < actuals.length; j++) {
      lub = lub.lub(actuals[j].getType());
    }
   
    IListWriter list = vf.listWriter();
    list.insertAt(0, actuals, i, actuals.length - arity + 1);
    newActuals[i] = list.done();
View Full Code Here
331
332
333
334
335
336
337
338
339
340
341
      labels[i] = formals.getFieldName(i);
    }
   
    Type lub = TF.voidType();
    for (int j = i; j < actualTypes.getArity(); j++) {
      lub = lub.lub(actualTypes.getFieldType(j));
    }
   
    types[i] = TF.listType(lub);
    labels[i] = formals.getFieldName(i);
   
View Full Code Here
357
358
359
360
361
362
363
364
365
366
367
      types[i] = actualTypes[i];
    }
   
    Type lub = TF.voidType();
    for (int j = i; j < actualTypes.length; j++) {
      lub = lub.lub(actualTypes[j]);
    }
   
    types[i] = TF.listType(lub);
   
    return TF.tupleType(types);
View Full Code Here
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
          if(resultElem.getType().isList()|| resultElem.getType().isSet()){
            /*
             * Splice elements in list
             */
          elementType = elementType.lub(resultElem.getType().getElementType());
            for (IValue val : (Iterable<IValue>) resultElem.getValue()) {
              results.add(val);
            }
            continue;
          }
View Full Code Here
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
            }
            continue;
          }
        }

        elementType = elementType.lub(resultElem.getType());
        results.add(results.size(), resultElem.getValue());
      }

      Type resultType = TF.listType(elementType);
      IListWriter w = __eval.__getVf().listWriter();
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.