Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnexpectedType

145
146
147
148
149
150
151
152
153
154
155
        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);

    } else if(subjectType.isBool() ||
View Full Code Here
169
170
171
172
173
174
175
176
    }
  }

  private static void checkMayOccur(Type patType, Type rType, IEvaluatorContext ctx){
    if(!TypeReachability.mayOccurIn(patType, rType, ctx.getCurrentEnvt())) {
      throw new UnexpectedType(rType, patType, ctx.getCurrentAST());
    }
  }
View Full Code Here
716
717
718
719
720
721
722
      super(__param1, __param2, __param3);
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext eval) {
      throw new UnexpectedType(TF.boolType(), interpret(eval.getEvaluator()).getType(), this);
    }
View Full Code Here
870
871
872
873
874
875
876
877
878
879
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);

    }
View Full Code Here
903
904
905
906
907
908
909
910
911
912
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);

    }
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.staticErrors.UnexpectedType

  • org.rascalmpl.interpreter.AssignableEvaluator
  • org.rascalmpl.interpreter.matching.BasicBooleanResult
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.matching.LiteralPattern
  • org.rascalmpl.interpreter.matching.MatchResult
  • org.rascalmpl.interpreter.result.AbstractFunction
  • org.rascalmpl.interpreter.result.ConcreteSyntaxResult
  • org.rascalmpl.interpreter.result.ConstructorResult
  • org.rascalmpl.interpreter.result.DateTimeResult
  • org.rascalmpl.interpreter.result.ElementResult
    • 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.