void checkForBadAuxiliaryClassAccess(DiagnosticPosition pos,Env<AttrContext> env,ClassSymbol c){
  if (lint.isEnabled(Lint.LintCategory.AUXILIARYCLASS) && (c.flags() & AUXILIARY) != 0 && rs.isAccessible(env,c) && !fileManager.isSameFile(c.sourcefile,env.toplevel.sourcefile)) {
    log.warning(pos,"auxiliary.class.accessed.from.outside.of.its.source.file",c,c.sourcefile);
  }
}

void checkForBadAuxiliaryClassAccess ( DiagnosticPosition pos , Env < AttrContext > env , ClassSymbol c ) { if ( lint . isEnabled ( Lint . LintCategory . AUXILIARYCLASS ) && ( c . flags ( ) & AUXILIARY ) != 0 && rs . isAccessible ( env , c ) && ! fileManager . isSameFile ( c . sourcefile , env . toplevel . sourcefile ) ) { log . warning ( pos , "auxiliary.class.accessed.from.outside.of.its.source.file" , c , c . sourcefile ) ; } }
check that an auxiliary class is not accessed from any other file than its own .
