Examples of IllegalQualifiedDeclaration


Examples of org.rascalmpl.interpreter.staticErrors.IllegalQualifiedDeclaration

      assert base != null;
     
      QualifiedName name = x.getUser().getName();
      if (Names.isQualified(name)) {
        throw new IllegalQualifiedDeclaration(name);
      }

      env.aliasType(Names.typeName(name), base,
          computeTypeParameters(x.getUser(), env));
    }
View Full Code Here

Examples of org.rascalmpl.interpreter.staticErrors.IllegalQualifiedDeclaration

  }

  public Type declareAbstractDataType(UserType decl, Environment env) {
    QualifiedName name = decl.getName();
    if (Names.isQualified(name)) {
      throw new IllegalQualifiedDeclaration(name);
    }
    return env.abstractDataType(Names.typeName(name), computeTypeParameters(decl, env));
  }
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.