Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnexpectedType

163
164
165
166
167
168
169
170
171
172
173
    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().getValue().length() == 0) {
      throw RuntimeExceptionFactory.illegalArgument(ctx.getCurrentAST(), ctx.getStackTrace());
    }
    IInteger index = ((IInteger)key.getValue());
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
    }       
   
    if (nodeType.hasKeywordParameter(name)) {
      Type fieldType = nodeType.getKeywordParameterType(name);
      if (!repl.getType().isSubtypeOf(fieldType)) {
        throw new UnexpectedType(fieldType, repl.getType(), ctx.getCurrentAST());
      }
     
      return makeResult(getType(), getValue().asWithKeywordParameters().setParameter(name, repl.getValue()), ctx);
    }
    else {
      int index = nodeType.getFieldIndex(name);
      Type fieldType = nodeType.getFieldType(index);
      if (!repl.getType().isSubtypeOf(fieldType)) {
        throw new UnexpectedType(fieldType, repl.getType(), ctx.getCurrentAST());
      }

      return makeResult(getType(), getValue().set(index, repl.getValue()), ctx);
    }
  }
View Full Code Here
1549
1550
1551
1552
1553
1554
1555
1556
1557
      super(__param1, __param2);
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {
      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);
    }
View Full Code Here
1643
1644
1645
1646
1647
1648
1649
1650
1651
      super(__param1, __param2, __param3);
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {
      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);
    }
View Full Code Here
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
1840
1841
1842
1843
1844
1845
1846
1847
1848
      super(__param1, __param2);
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {
      throw new UnexpectedType(TF.boolType(), this
          .interpret(__eval.getEvaluator()).getType(),
          this);
    }
View Full Code Here
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
    }

    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext __eval) {

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

    }
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
    // Check for null in case of void result or uninit.
    if (value != null && !value.getType().isSubtypeOf(type) && !(type instanceof NonTerminalType && value.getType() == Factory.Tree)) {
      //System.err.println(value.getType());
      //System.err.println(type);
      //System.err.println(value.getType().isSubtypeOf(type));
      throw new UnexpectedType(type, value.getType(), ctx.getCurrentAST());
    }
 
      this.type = type;
    this.iterator = iter;
    this.value = value;
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
            // applyRules(v.getValue()));
            r = org.rascalmpl.interpreter.result.ResultFactory
                .makeResult(declaredType, v.getValue(), __eval);
            __eval.getCurrentEnvt().storeVariable(var.getName(), r);
          } else {
            throw new UnexpectedType(declaredType,
                v.getType(), var);
          }
        } else {
          Type declaredType = typeOf(__eval.getCurrentEnvt(), true, __eval);
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.