List of lub() Examples

Examples of lub()

com.sun.tools.javac.code.Types.lub()
Return the least upper bound of pair of types. if the lub does not exist return null.
org.eclipse.imp.pdb.facts.type.Type.lub()

Examples of com.sun.tools.javac.code.Types.lub()

        Elements elements = processingEnv.getElementUtils();
        return elements.getTypeElement("java.lang.Object").asType();
      }
      t2 = bound;
    }
    return types.lub(t1, t2);
  }


  /**
   * Returns the greatest lower bound of two {@link TypeMirror}s.
   *

View Full Code Here

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

          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

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

          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

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

      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

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

        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

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

    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

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

      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

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

      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

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

      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

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


          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

0 1

TOP

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.