Changeset 1944

Show
Ignore:
Timestamp:
02/21/08 09:13:12 (9 months ago)
Author:
dsugar
Message:

corrected

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • branches/dictionary_changes/src/com/tresys/framework/compiler/translator/TranslatorSELinux.java

    r1943 r1944  
    510510                                if (!(res instanceof Resource)) 
    511511                                        continue; 
    512                                  
     512 
    513513                                Resource resource = (Resource) res; 
    514514                                List paths = resource.GetSystemResources (rdef); 
     
    547547                                         
    548548                                        m_bufferPolicy.println("')"); 
    549  
    550                                         generateParentSearchPerms (i_access.getDomain (), resource, m_bufferPolicy); 
    551  
    552                                 } 
     549                                } 
     550 
     551                                generateParentSearchPerms (i_access.getDomain (), resource, m_bufferPolicy); 
     552 
    553553                        } 
    554554                } 
     
    642642                        // association 
    643643 
    644                         if(systemResources == null) 
     644                        if (systemResources == null) 
    645645                                return; 
    646646 
     
    650650 
    651651                                File file; 
    652                                 if(sr instanceof DirResource)  
     652                                if (sr instanceof DirResource)  
    653653                                { 
    654654                                        file = ((DirResource) sr).getDirectory (); 
    655655                                }  
    656                                 else if(sr instanceof FileResource)  
     656                                else if (sr instanceof FileResource)  
    657657                                { 
    658658                                        file = ((FileResource) sr).getFile (); 
     
    661661                                        continue;        
    662662 
    663                                 while((file = file.getParentFile()) != null)  
     663                                while ((file = file.getParentFile()) != null)  
    664664                                { 
    665665                                        String fileType = getPathType(file); 
    666                                         if(fileType == null)  
    667                                         { 
    668                                                 if(m_hasFileContext)  
     666                                        if (fileType == null)  
     667                                        { 
     668                                                if (m_hasFileContext)  
    669669                                                { 
    670670                                                        String sErrMsg = "Unable to determine file context for " + file.toString() + ", try associating the parent directory with a CDSFramework component"; 
     
    680680                                         
    681681                                        String key = compType + fileType; 
    682                                         if(!m_dirPermSet.contains(key))  
     682                                        if (!m_dirPermSet.contains(key))  
    683683                                        { 
    684684                                                policyStream.print("optional_policy(`\n\tgen_require(`\n\t\ttype "+fileType+";\n\t')\n");