Examples of NonWellformedType

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

Examples of org.rascalmpl.interpreter.staticErrors.NonWellformedType

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

Examples of org.rascalmpl.interpreter.staticErrors.NonWellformedType

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
Copyright © 2018 www.massapi.com. 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.