Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnexpectedType

109
110
111
112
113
114
115
116
117
118
119
    if (subscripts.length != 1) {
      throw new UnsupportedSubscriptArity(getType(), subscripts.length, ctx.getCurrentAST());
    }
    Result<IValue> key = (Result<IValue>) subscripts[0];
    if (!key.getType().isInteger()) {
      throw new UnexpectedType(TypeFactory.getInstance().integerType(), key.getType(), ctx.getCurrentAST());
    }
    if (getValue().length() == 0) {
      throw RuntimeExceptionFactory.emptyList(ctx.getCurrentAST(), ctx.getStackTrace());
    }
    IInteger index = ((IInteger)key.getValue());
View Full Code Here
52
53
54
55
56
57
58
59
60
61
    mp = pattern.getMatcher(ctx);
   
      mp.initMatch(result);

      if(!mp.mayMatch(subjectType, ctx.getCurrentEnvt())) {
        throw new UnexpectedType(mp.getType(ctx.getCurrentEnvt(), null), subjectType, ctx.getCurrentAST());
      }
     
      firstTime = true;
    }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
       
       
        return false;
      }

      throw new UnexpectedType(tf.boolType(), result.getType(), expr);
    }
   
    return false;
  }
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
     
      // we use rhs value here, because the addition (for example) implicitly casts up to value,
      // in which case the error is lost. Since we know that the left hand side of the addition
      // is always the variable we are updating, the cause of the error must always be in the value
      // on the right hand side
      throw new UnexpectedType(oldValue.getType(), rhsValue.getType(), this.__getEval().getCurrentAST());
    }
    switch(this.__getOperator()){
      case Default:
      case IsDefined:
        return rhsValue;
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    else if (!isPattern) {
      if (literal.getType().isBool()) {
        return ((IBool) literal).getValue();
      }
     
      throw new UnexpectedType(tf.boolType(), literal.getType(), ctx.getCurrentAST());
    }
   
   
    return false;
  }
View Full Code Here
506
507
508
509
510
511
512
513
514
515
516
              String name = Names.name(kwa.getName());

              if (kwFormals != null) {
                if (kwFormals.hasField(name)) {
                  if (!val.getType().isSubtypeOf(kwFormals.getFieldType(name))) {
                    throw new UnexpectedType(kwFormals.getFieldType(name), val.getType(), this);
                  }
                }
                else {
                  eval.getMonitor().warning("calling function with extra unknown keyword argument: " +  name, getLocation());
                }
View Full Code Here
271
272
273
274
275
276
277
278
279
280
281
    INumber iFrom = from.getValue();
    INumber iTo = to.getValue();
   
    // I still think it is ugly to do it here...
    if (!second.getType().isSubtypeOf(tf.numberType())) {
      throw new UnexpectedType(tf.numberType(), second.getType(), ctx.getCurrentAST());
    }
   
    INumber iSecond = (INumber) second.getValue();
    INumber diff = iSecond.subtract(iFrom);
   
View Full Code Here
565
566
567
568
569
570
571
572
573
574
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
618
619
620
621
622
623
624
625
626
627
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
651
652
653
654
655
656
657
658
659
660
    }

    @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.