Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnexpectedType

33
34
35
36
37
38
39
40
  public void check(Result<IValue> r,
      org.eclipse.imp.pdb.facts.type.Type t, String kind,
      Expression expr) {
    if (!r.getType().isSubtypeOf(t)) {
      throw new UnexpectedType(t, r.getType(), expr);
    }
  }
View Full Code Here
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
        try {
          IList list = (IList) rec.getValue();
         
          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isList()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(list, __eval.__getValue()));
          list = list.replace(firstIndex, secondIndex, endIndex, (IList) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(list.getType()) : rec.getType(), list,
                  __eval.__getEval());
        } catch (IndexOutOfBoundsException e) { // include last in message
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
          .indexOutOfBounds((IInteger) first.getValue(),
              __eval.__getEval().getCurrentAST(), __eval
              .__getEval().getStackTrace());
        }
      } else if (rec.getType().isString()) {
        try {
          IString str = (IString) rec.getValue();
         
          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isString()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(str, __eval.__getValue()));
          str = str.replace(firstIndex, secondIndex, endIndex, (IString) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(str.getType()) : rec.getType(), str,
                  __eval.__getEval());
        } catch (IndexOutOfBoundsException e) { // include last in message
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
          .indexOutOfBounds((IInteger) first.getValue(),
              __eval.__getEval().getCurrentAST(), __eval
              .__getEval().getStackTrace());
        }
      } else if (rec.getType().isNode()) {

        try {
          INode node = (INode) rec.getValue();

          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isList()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }

          __eval.__setValue(__eval.newResult(node, __eval.__getValue()));
          node = node.replace(firstIndex, secondIndex, endIndex, (IList) repl);
View Full Code Here
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
        try {
          IList list = (IList) rec.getValue();         
         
          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isList()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(list, __eval.__getValue()));         
          list = list.replace(firstIndex, secondIndex, endIndex, (IList) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(list.getType()) : rec.getType(), list,
                  __eval.__getEval());
        } catch (IndexOutOfBoundsException e) { // include last in message
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
          .indexOutOfBounds((IInteger) first.getValue(),
              __eval.__getEval().getCurrentAST(), __eval
              .__getEval().getStackTrace());
        }
      } else if (rec.getType().isString()) {
        try {
          IString str = (IString) rec.getValue();

          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isString()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }
         
          __eval.__setValue(__eval.newResult(str, __eval.__getValue()));
          str = str.replace(firstIndex, secondIndex, endIndex, (IString) repl);
         
          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(str.getType()) : rec.getType(), str,
                  __eval.__getEval());
        } catch (IndexOutOfBoundsException e) { // include last in message
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
          .indexOutOfBounds((IInteger) first.getValue(),
              __eval.__getEval().getCurrentAST(), __eval
              .__getEval().getStackTrace());
        }
       
      } else if (rec.getType().isNode()) {

        try {
          INode node = (INode) rec.getValue();

          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isList()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }

          __eval.__setValue(__eval.newResult(node, __eval.__getValue()));
          node = node.replace(firstIndex, secondIndex, endIndex, (IList) repl);
View Full Code Here
284
285
286
287
288
289
290
291
        throw new MatchFailed();
      }
      env.storeTypeBindings(bindings);
    }
    catch (FactTypeUseException e) {
      throw new UnexpectedType(formals, actualTypes, ast);
    }
  } 
View Full Code Here
938
939
940
941
942
943
944
945
946
947
948
      List<org.rascalmpl.ast.Assignable> arguments = this.getElements();

      if (!__eval.__getValue().getType().isTuple()) {
        // TODO construct a better expected type
        throw new UnexpectedType(
            org.rascalmpl.interpreter.AssignableEvaluator.__getTf()
                .tupleEmpty(), __eval.__getValue().getType(),
            this);
      }
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
    if (subscripts.length != 1) {
      throw new UnsupportedSubscriptArity(getType(), subscripts.length, ctx.getCurrentAST());
    }
    Result<IValue> key = (Result<IValue>) subscripts[0];
    if (!getType().getKeyType().comparable(key.getType())) {
      throw new UnexpectedType(getType().getKeyType(), key.getType(), ctx.getCurrentAST());
    }
    IValue v = getValue().get(key.getValue());
    if (v == null){
      throw RuntimeExceptionFactory.noSuchKey(key.getValue(), ctx.getCurrentAST(), ctx.getStackTrace());
    }
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
        throw new UnsupportedOperation("You can not update the keys of a map using the field update operator", ctx.getCurrentAST());
      }
      else if (type.getValueLabel().equals(name)) {
        // interesting operation, sets the image of all keys to one default
        if (!repl.getType().isSubtypeOf(type.getValueType())) {
          throw new UnexpectedType(type.getValueType(), repl.getType(), ctx.getCurrentAST());
        }

        IMapWriter w = getValueFactory().mapWriter();

        for (IValue key : value) {
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
      __eval.notifyAboutSuspension(this);
     
      Result<IValue> r = this.getExpression().interpret(__eval);
      if (!r.getType().equals(
          org.rascalmpl.interpreter.Evaluator.__getTf().boolType())) {
        throw new UnexpectedType(
            org.rascalmpl.interpreter.Evaluator.__getTf()
                .boolType(), r.getType(), this);
      }

      if (r.getValue().isEqual(__eval.__getVf().bool(false))) {
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
      __eval.notifyAboutSuspension(this);

      Result<IValue> r = this.getExpression().interpret(__eval);
      if (!r.getType().equals(
          org.rascalmpl.interpreter.Evaluator.__getTf().boolType())) {
        throw new UnexpectedType(
            org.rascalmpl.interpreter.Evaluator.__getTf()
                .boolType(), r.getType(), this);
      }
      if (r.getValue().isEqual(__eval.__getVf().bool(false))) {
        Result<IValue> msgValue = this.getMessage().interpret(__eval);
View Full Code Here
831
832
833
834
835
836
837
838
839
840
841
        Bound bound = this.getBound();
        if (bound.isDefault()) {
          Result<IValue> res = bound.getExpression()
              .interpret(__eval);
          if (!res.getType().isInteger()) {
            throw new UnexpectedType(
                org.rascalmpl.interpreter.Evaluator.__getTf()
                    .integerType(), res.getType(), this);
          }
          max = ((IInteger) res.getValue()).intValue();
          if (max <= 0) {
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.