expr.java

JDK1.4编译器前端

    private boolean isTypeAccess_compute() {  return false;  }

    protected int isMethodAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 17
 @SuppressWarnings({"unchecked", "cast"})     public boolean isMethodAccess() {
        if(isMethodAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isMethodAccess in class: ");
        isMethodAccess_visited = boundariesCrossed;
        boolean isMethodAccess_value = isMethodAccess_compute();
        isMethodAccess_visited = -1;
        return isMethodAccess_value;
    }

    private boolean isMethodAccess_compute() {  return false;  }

    protected int isFieldAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 21
 @SuppressWarnings({"unchecked", "cast"})     public boolean isFieldAccess() {
        if(isFieldAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isFieldAccess in class: ");
        isFieldAccess_visited = boundariesCrossed;
        boolean isFieldAccess_value = isFieldAccess_compute();
        isFieldAccess_visited = -1;
        return isFieldAccess_value;
    }

    private boolean isFieldAccess_compute() {  return false;  }

    protected int isSuperAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 25
 @SuppressWarnings({"unchecked", "cast"})     public boolean isSuperAccess() {
        if(isSuperAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isSuperAccess in class: ");
        isSuperAccess_visited = boundariesCrossed;
        boolean isSuperAccess_value = isSuperAccess_compute();
        isSuperAccess_visited = -1;
        return isSuperAccess_value;
    }

    private boolean isSuperAccess_compute() {  return false;  }

    protected int isThisAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 31
 @SuppressWarnings({"unchecked", "cast"})     public boolean isThisAccess() {
        if(isThisAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isThisAccess in class: ");
        isThisAccess_visited = boundariesCrossed;
        boolean isThisAccess_value = isThisAccess_compute();
        isThisAccess_visited = -1;
        return isThisAccess_value;
    }

    private boolean isThisAccess_compute() {  return false;  }

    protected int isPackageAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 37
 @SuppressWarnings({"unchecked", "cast"})     public boolean isPackageAccess() {
        if(isPackageAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isPackageAccess in class: ");
        isPackageAccess_visited = boundariesCrossed;
        boolean isPackageAccess_value = isPackageAccess_compute();
        isPackageAccess_visited = -1;
        return isPackageAccess_value;
    }

    private boolean isPackageAccess_compute() {  return false;  }

    protected int isArrayAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 41
 @SuppressWarnings({"unchecked", "cast"})     public boolean isArrayAccess() {
        if(isArrayAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isArrayAccess in class: ");
        isArrayAccess_visited = boundariesCrossed;
        boolean isArrayAccess_value = isArrayAccess_compute();
        isArrayAccess_visited = -1;
        return isArrayAccess_value;
    }

    private boolean isArrayAccess_compute() {  return false;  }

    protected int isClassAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 45
 @SuppressWarnings({"unchecked", "cast"})     public boolean isClassAccess() {
        if(isClassAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isClassAccess in class: ");
        isClassAccess_visited = boundariesCrossed;
        boolean isClassAccess_value = isClassAccess_compute();
        isClassAccess_visited = -1;
        return isClassAccess_value;
    }

    private boolean isClassAccess_compute() {  return false;  }

    protected int isSuperConstructorAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 49
 @SuppressWarnings({"unchecked", "cast"})     public boolean isSuperConstructorAccess() {
        if(isSuperConstructorAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isSuperConstructorAccess in class: ");
        isSuperConstructorAccess_visited = boundariesCrossed;
        boolean isSuperConstructorAccess_value = isSuperConstructorAccess_compute();
        isSuperConstructorAccess_visited = -1;
        return isSuperConstructorAccess_value;
    }

    private boolean isSuperConstructorAccess_compute() {  return false;  }

    protected int isLeftChildOfDot_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 55
 @SuppressWarnings({"unchecked", "cast"})     public boolean isLeftChildOfDot() {
        if(isLeftChildOfDot_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isLeftChildOfDot in class: ");
        isLeftChildOfDot_visited = boundariesCrossed;
        boolean isLeftChildOfDot_value = isLeftChildOfDot_compute();
        isLeftChildOfDot_visited = -1;
        return isLeftChildOfDot_value;
    }

    private boolean isLeftChildOfDot_compute() {  return hasParentDot() && parentDot().getLeft() == this;  }

    protected int isRightChildOfDot_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 56
 @SuppressWarnings({"unchecked", "cast"})     public boolean isRightChildOfDot() {
        if(isRightChildOfDot_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isRightChildOfDot in class: ");
        isRightChildOfDot_visited = boundariesCrossed;
        boolean isRightChildOfDot_value = isRightChildOfDot_compute();
        isRightChildOfDot_visited = -1;
        return isRightChildOfDot_value;
    }

    private boolean isRightChildOfDot_compute() {  return hasParentDot() && parentDot().getRight() == this;  }

    protected int parentDot_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 69
 @SuppressWarnings({"unchecked", "cast"})     public AbstractDot parentDot() {
        if(parentDot_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: parentDot in class: ");
        parentDot_visited = boundariesCrossed;
        AbstractDot parentDot_value = parentDot_compute();
        parentDot_visited = -1;
        return parentDot_value;
    }

    private AbstractDot parentDot_compute() {  return getParent() instanceof AbstractDot ? (AbstractDot)getParent() : null;  }

    protected int hasParentDot_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 70
 @SuppressWarnings({"unchecked", "cast"})     public boolean hasParentDot() {
        if(hasParentDot_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: hasParentDot in class: ");
        hasParentDot_visited = boundariesCrossed;
        boolean hasParentDot_value = hasParentDot_compute();
        hasParentDot_visited = -1;
        return hasParentDot_value;
    }

    private boolean hasParentDot_compute() {  return parentDot() != null;  }

    protected int nextAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 72
 @SuppressWarnings({"unchecked", "cast"})     public Access nextAccess() {
        if(nextAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: nextAccess in class: ");
        nextAccess_visited = boundariesCrossed;
        Access nextAccess_value = nextAccess_compute();
        nextAccess_visited = -1;
        return nextAccess_value;
    }

    private Access nextAccess_compute() {  return parentDot().nextAccess();  }

    protected int hasNextAccess_visited = -1;
    // Declared in ResolveAmbiguousNames.jrag at line 73
 @SuppressWarnings({"unchecked", "cast"})     public boolean hasNextAccess() {
        if(hasNextAccess_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: hasNextAccess in class: ");
        hasNextAccess_visited = boundariesCrossed;
        boolean hasNextAccess_value = hasNextAccess_compute();
        hasNextAccess_visited = -1;
        return hasNextAccess_value;
    }

    private boolean hasNextAccess_compute() {  return isLeftChildOfDot();  }

    protected int enclosingStmt_visited = -1;
    // Declared in TypeAnalysis.jrag at line 505
 @SuppressWarnings({"unchecked", "cast"})     public Stmt enclosingStmt() {
        if(enclosingStmt_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: enclosingStmt in class: ");
        enclosingStmt_visited = boundariesCrossed;
        Stmt enclosingStmt_value = enclosingStmt_compute();
        enclosingStmt_visited = -1;
        return enclosingStmt_value;
    }

    private Stmt enclosingStmt_compute() {
    ASTNode node = this;
    while(node != null && !(node instanceof Stmt))
      node = node.getParent();
    return (Stmt)node;
  }

    protected int isVariable_visited = -1;
    // Declared in TypeCheck.jrag at line 15
 @SuppressWarnings({"unchecked", "cast"})     public boolean isVariable() {
        if(isVariable_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isVariable in class: ");
        isVariable_visited = boundariesCrossed;
        boolean isVariable_value = isVariable_compute();
        isVariable_visited = -1;
        return isVariable_value;
    }

    private boolean isVariable_compute() {  return false;  }

    protected int isUnknown_visited = -1;
    // Declared in TypeHierarchyCheck.jrag at line 20
 @SuppressWarnings({"unchecked", "cast"})     public boolean isUnknown() {
        if(isUnknown_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isUnknown in class: ");
        isUnknown_visited = boundariesCrossed;
        boolean isUnknown_value = isUnknown_compute();
        isUnknown_visited = -1;
        return isUnknown_value;
    }

    private boolean isUnknown_compute() {  return type().isUnknown();  }

    protected int staticContextQualifier_visited = -1;
    // Declared in TypeHierarchyCheck.jrag at line 150
 @SuppressWarnings({"unchecked", "cast"})     public boolean staticContextQualifier() {
        if(staticContextQualifier_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: staticContextQualifier in class: ");
        staticContextQualifier_visited = boundariesCrossed;
        boolean staticContextQualifier_value = staticContextQualifier_compute();
        staticContextQualifier_visited = -1;
        return staticContextQualifier_value;
    }

    private boolean staticContextQualifier_compute() {  return false;  }

    protected int isDest_visited = -1;
    // Declared in DefiniteAssignment.jrag at line 15
 @SuppressWarnings({"unchecked", "cast"})     public boolean isDest() {
        if(isDest_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isDest in class: ");
        isDest_visited = boundariesCrossed;
        if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree");        boolean isDest_value = getParent().Define_boolean_isDest(this, null);
        isDest_visited = -1;
        return isDest_value;
    }

    protected int isSource_visited = -1;
    // Declared in DefiniteAssignment.jrag at line 25
 @SuppressWarnings({"unchecked", "cast"})     public boolean isSource() {
        if(isSource_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isSource in class: ");
        isSource_visited = boundariesCrossed;
        if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree");        boolean isSource_value = getParent().Define_boolean_isSource(this, null);
        isSource_visited = -1;
        return isSource_value;
    }

    protected int isIncOrDec_visited = -1;
    // Declared in DefiniteAssignment.jrag at line 49
 @SuppressWarnings({"unchecked", "cast"})     public boolean isIncOrDec() {
        if(isIncOrDec_visited == boundariesCrossed)
            throw new RuntimeException("Circular definition of attr: isIncOrDec in class: ");
        isIncOrDec_visited = boundariesCrossed;
        if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree");        boolean isIncOrDec_value = getParent().Define_boolean_isIncOrDec(this, null);
        isIncOrDec_visited = -1;
        return isIncOrDec_value;
    }

    protected java.util.Map isDAbefore_Variable_visited;
    // Declared in DefiniteAssignment.jrag at line 236
 @SuppressWarnings({"unchecked", "cast"})     public boolean isDAbefore(Variable v) {
        Object _parameters = v;
if(isDAbefore_Variable_visited == null) isDAbefore_Variable_visited = new java.util.HashMap(4);
        if(new Integer(boundariesCrossed).equals(isDAbefore_Variable_visited.get(_parameters)))
            throw new RuntimeException("Circular definition of attr: isDAbefore in class: ");
        isDAbefore_Variable_visited.put(_parameters, new Integer(boundariesCrossed));
        if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree");        boolean isDAbefore_Variable_value = getParent().Define_boolean_isDAbefore(this, null, v);
        isDAbefore_Variable_visited.remove(_parameters);
        return isDAbefore_Variable_value;
    }