CanonicalTypeNode_c.java

/*
 *  This file is part of the X10 project (http://x10-lang.org).
 *
 *  This file is licensed to You under the Eclipse Public License (EPL);
 *  You may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *      http://www.opensource.org/licenses/eclipse-1.0.php
 *
 * This file was originally derived from the Polyglot extensible compiler framework.
 *
 *  (C) Copyright 2000-2007 Polyglot project group, Cornell University
 *  (C) Copyright IBM Corporation 2007-2012.
 */

package polyglot.ast;

import polyglot.types.*;
import polyglot.util.CodeWriter;
import polyglot.util.Position;
import polyglot.visit.*;
import x10.errors.Errors;

/**
 * A <code>CanonicalTypeNode</code> is a type node for a canonical type.
 */
public abstract class CanonicalTypeNode_c extends TypeNode_c implements CanonicalTypeNode
{
  public CanonicalTypeNode_c(Position pos, Ref<? extends Type> type) {
    super(pos);
    assert(type != null);
    this.type = type;
  }
  
  public CanonicalTypeNode typeRef(Ref<? extends Type> type) {
      return (CanonicalTypeNode) super.typeRef(type);
  }
  
  /** Type check the type node.  Check accessibility of class types. */
  public Node typeCheck(ContextVisitor tc) {
      TypeSystem ts = tc.typeSystem();

      if (type.get().isClass()) {
          ClassType ct = type.get().toClass();
          if (ct.isTopLevel() || ct.isMember()) {
              if (! ts.classAccessible(ct.def(), tc.context())) {
                  Errors.issue(tc.job(),
                          new SemanticException("Cannot access class \"" + ct + "\" from the body of \"" + tc.context().currentClass() + "\".", position()));
              }
          }
      }

      return this;
  }
  
  public abstract void prettyPrint(CodeWriter w, PrettyPrinter tr);
  
  /**
   * Translate the type.
   * If the "use-fully-qualified-class-names" options is used, then the
   * fully qualified names is written out (<code>java.lang.Object</code>).
   * Otherwise, the string that originally represented the type in the
   * source file is used.
   */
  public void translate(CodeWriter w, Translator tr) {
      w.write(type.get().translate(tr.context()));
  }

  public String toString() {
    if (type == null) return "<unknown-type>";
    return type.toString();
  }

  public void dump(CodeWriter w) {
    super.dump(w);
    w.allowBreak(4, " ");
    w.begin(0);
    w.write("(type " + type + ")");
    w.end();
  }
}