Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnexpectedType

1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
      try {
        Result<IValue> cval = this.getCondition().interpret(__eval);

        if (!cval.getType().isBool()) {
          throw new UnexpectedType(TF.boolType(),
              cval.getType(), this);
        }

        if (cval.isTrue()) {
          return this.getThenExp().interpret(__eval);
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
          }
          else if (subscripts[i] == null || relFieldType.comparable(subscriptType[i])){
            subscriptIsSet[i] = false;
          }
          else {
            throw new UnexpectedType(relFieldType, subscriptType[i], ctx.getCurrentAST());
          }
        } else {
          resFieldType[i - nSubs] = relFieldType;
        }
      }
View Full Code Here
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
  public <U extends IValue, V extends IValue> Result<U> subscript(Result<?>[] subscripts) {
    if (subscripts.length != 1) {
      throw new UnsupportedSubscriptArity(getType(), subscripts.length, ctx.getCurrentAST());
    }
    if (!((Result<IValue>)subscripts[0]).getType().isInteger()) {
      throw new UnexpectedType(getTypeFactory().integerType(),
          ((Result<IValue>)subscripts[0]).getType(), ctx.getCurrentAST());
    }
    IInteger index = ((IntegerResult)subscripts[0]).getValue();
    int idx = index.intValue();
    if (idx < 0){
View Full Code Here
1429
1430
1431
1432
1433
1434
1435
1436
1437
      super(__param1, __param2);
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {
      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);
    }
View Full Code Here
1516
1517
1518
1519
1520
1521
1522
    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext eval) {
      if (this.getLiteral().isBoolean()) {
        return new BasicBooleanResult(eval, this);
      }
      throw new UnexpectedType(TF.boolType(), interpret(eval.getEvaluator()).getType(), this);
    }
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
            declaredType.match(v.getType(), bindings);
            declaredType = declaredType.instantiate(bindings);
            r = ResultFactory.makeResult(declaredType, v.getValue(), eval);
            eval.getCurrentModuleEnvironment().storeVariable(var.getName(), r);
          } else {
            throw new UnexpectedType(declaredType,
                v.getType(), var);
          }
        } else {
          eval.getCurrentModuleEnvironment().storeVariable(var.getName(), ResultFactory.nothing(declaredType));
        }
View Full Code Here
116
117
118
119
120
121
122
123
124
125
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
536
537
538
539
540
541
542
543
544
545
      tr.changed = true;
      tr.matched = true;
      Result<IValue> toBeInserted = e.getValue();
     
      if (!toBeInserted.getType().isSubtypeOf(e.getStaticType())) {
        throw new UnexpectedType(e.getStaticType(), toBeInserted.getType(), eval.getCurrentAST());
      }
      return e.getValue().getValue();
    }
  }
View Full Code Here
617
618
619
620
621
622
623
624
625
626
627
          tr.matched = true;
          tr.changed = true;
          subjectCursor += end;
        } else {
          throw new UnexpectedType(tf.stringType(),repl.getType(), eval.getCurrentAST());
        }
      }
    }
   
    tr.changed |= hasChanged;
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.