Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.NonWellformedType

467
468
469
470
471
472
473
474
475
476
    }

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

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

    }
View Full Code Here
488
489
490
491
492
493
494
495
496
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .valueType();
      }
      throw new NonWellformedType(
          "value cannot have type arguments.", this);

    }
View Full Code Here
513
514
515
516
517
518
519
520
    public org.eclipse.imp.pdb.facts.type.Type __evaluate(BasicTypeEvaluator __eval) {
      if (__eval.__getTypeArgument().getArity() == 0) {
        return org.rascalmpl.interpreter.BasicTypeEvaluator.__getTf()
            .voidType();
      }
      throw new NonWellformedType(
          "void 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.