Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.NonWellformedType

37
38
39
40
41
42
43
44
45
    }

    @Override
    public org.eclipse.imp.pdb.facts.type.Type typeOf(Environment __eval, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {

      throw new NonWellformedType(
          "bag should have one type argument, like bag[value].", this);

    }
View Full Code Here
57
58
59
60
61
62
63
64
65
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .boolType();
      }
      throw new NonWellformedType(
          "bool cannot have type arguments.", this);

    }
View Full Code Here
84
85
86
87
88
89
90
91
92
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .dateTimeType();
      }
      throw new NonWellformedType(
          "datetime cannot have type arguments.", this);

    }
View Full Code Here
109
110
111
112
113
114
115
116
117
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .integerType();
      }
      throw new NonWellformedType("int cannot have type arguments.",
          this);

    }
View Full Code Here
137
138
139
140
141
142
143
144
145
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .integerType();
      }
      throw new NonWellformedType("rat cannot have type arguments.",
          this);

    }
View Full Code Here
165
166
167
168
169
170
171
172
173
174
      if (__eval.__getTypeArgument().getArity() == 1) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .listType(__eval.__getTypeArgument().getFieldType(0));
      }
      throw new NonWellformedType(
          "list should have exactly one type argument, like list[value]",
          this);

    }
View Full Code Here
173
174
175
176
177
178
179
180
181
    }

    @Override
    public org.eclipse.imp.pdb.facts.type.Type typeOf(Environment __eval, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      throw new NonWellformedType(
          "list should have one type argument, like list[value].",
          this);
    }
View Full Code Here
193
194
195
196
197
198
199
200
201
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .sourceLocationType();
      }
      throw new NonWellformedType("loc cannot have type arguments.",
          this);

    }
View Full Code Here
220
221
222
223
224
225
226
227
228
229
      if (__eval.__getTypeArgument().getArity() == 2) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .mapTypeFromTuple(__eval.__getTypeArgument());
      }
      throw new NonWellformedType(
          "map should have exactly two type arguments, like map[value,value]",
          this);

    }
View Full Code Here
229
230
231
232
233
234
235
236
237
238
    }

    @Override
    public org.eclipse.imp.pdb.facts.type.Type typeOf(Environment __eval, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {

      throw new NonWellformedType(
          "map should have at two type arguments, like map[value,value].",
          this);

    }
View Full Code Here
TOP

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

  • org.rascalmpl.semantics.dynamic.BasicType$Bag
  • org.rascalmpl.semantics.dynamic.BasicType$Bool
  • org.rascalmpl.semantics.dynamic.BasicType$DateTime
  • org.rascalmpl.semantics.dynamic.BasicType$Int
  • org.rascalmpl.semantics.dynamic.BasicType$List
  • org.rascalmpl.semantics.dynamic.BasicType$ListRelation
  • org.rascalmpl.semantics.dynamic.BasicType$Loc
  • org.rascalmpl.semantics.dynamic.BasicType$Map
  • org.rascalmpl.semantics.dynamic.BasicType$Node
  • org.rascalmpl.semantics.dynamic.BasicType$Num
    • 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.