src/edu/clemson/resolve/jetbrains/psi/impl/ResReference.java
/** Returns true if {@code currentUsesName} is named in a module's first line as a spec being implemented. */
Returns true if  currentUsesName is named in a module's first line as a spec being implemented.
Returns true if currentUsesName is named in a module ' s first line as a spec being implemented .
private static boolean forSuperModule(@NotNull ResModuleDecl module, @NotNull String currentUsesName) {
        for (ResReferenceExp e : module.getModuleHeaderReferences()) {
            if (e.getIdentifier().getText().equals(currentUsesName)) return true;
        }
        return false;
    }
private static boolean forSuperModule ( @ NotNull ResModuleDecl module , @ NotNull String currentUsesName ) { for ( ResReferenceExp e : module . getModuleHeaderReferences ( ) ) { if ( e . getIdentifier ( ) . getText ( ) . equals ( currentUsesName ) ) return true ; } return false ; }
Returns true if {@code currentUsesName} is named in a module's first line as a spec being implemented.
Returns true if { @code currentUsesName } is named in a module ' s first line as a spec being implemented .