/** * @ast method * @aspect AccessControl * @declaredat /home/uoji/JastAddJ/Java1.4Frontend/AccessControl.jrag:167 */ public void accessControl() { super.accessControl(); if (!isCircular()) { // 9.1.2 HashSet set = new HashSet(); for (int i = 0; i < getNumSuperInterfaceId(); i++) { TypeDecl decl = getSuperInterfaceId(i).type(); if (!decl.isInterfaceDecl() && !decl.isUnknown()) error( "interface " + fullName() + " tries to extend non interface type " + decl.fullName()); if (!decl.isCircular() && !decl.accessibleFrom(this)) error( "interface " + fullName() + " can not extend non accessible type " + decl.fullName()); if (set.contains(decl)) error( "extended interface " + decl.fullName() + " mentionened multiple times in extends clause"); set.add(decl); } } }