Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.NonWellformedType

250
251
252
253
254
255
256
257
258
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .nodeType();
      }
      throw new NonWellformedType(
          "node cannot have type arguments.", this);

    }
View Full Code Here
277
278
279
280
281
282
283
284
285
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .numberType();
      }
      throw new NonWellformedType("num cannot have type arguments.",
          this);

    }
View Full Code Here
304
305
306
307
308
309
310
311
312
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .realType();
      }
      throw new NonWellformedType(
          "real cannot have type arguments.", this);

    }
View Full Code Here
331
332
333
334
335
336
337
338
339
340
      if (__eval.__getTypeArgument().getArity() == 1) {
        return org.rascalmpl.interpreter.types.RascalTypeFactory
            .getInstance().reifiedType(
                __eval.__getTypeArgument().getFieldType(0));
      }
      throw new NonWellformedType(
          "type should have exactly one type argument, like type[value]",
          this);

    }
View Full Code Here
339
340
341
342
343
344
345
346
347
    }

    @Override
    public org.eclipse.imp.pdb.facts.type.Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      throw new NonWellformedType(
          "type should have at one type argument, like type[value].",
          this);
    }
View Full Code Here
363
364
365
366
367
368
369
370
371
372
    }

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

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

    }
View Full Code Here
388
389
390
391
392
393
394
395
396
397
    }

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

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

    }
View Full Code Here
409
410
411
412
413
414
415
416
417
418
      if (__eval.__getTypeArgument().getArity() == 1) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .setType(__eval.__getTypeArgument().getFieldType(0));
      }
      throw new NonWellformedType(
          "set should have exactly one type argument, like set[value]",
          this);

    }
View Full Code Here
418
419
420
421
422
423
424
425
426
    }

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

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

    }
View Full Code Here
438
439
440
441
442
443
444
445
446
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .stringType();
      }
      throw new NonWellformedType(
          "string cannot have type arguments.", 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.