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

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

1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      Type elementType = TF.voidType();

      for (org.rascalmpl.ast.Expression elt : getElements0()) {
        elementType = elementType.lub(elt.typeOf(env, instantiateTypeParameters, eval));
      }

      return TF.listType(elementType);
    }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
    } else if(subjectType.isTuple()){
      if(shallow){
        Type lub = TypeFactory.getInstance().voidType();
        int nElems = subjectType.getArity();
        for(int i = 0; i < nElems; i++)
          lub = lub.lub(subjectType.getFieldType(i));
        if(!lub.comparable(patType))
          throw new UnexpectedType(patType, subjectType, ctx.getCurrentAST()); 
        return new TupleElementIterator((ITuple)subjectValue);
      }
      return new DescendantReader(subjectValue, false);
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.