Changeset 1319

Show
Ignore:
Timestamp:
10/31/06 08:42:01 (2 years ago)
Author:
dsugar
Message:

ticket:91 - don't copy version control info (.svn, CVS). Other things are copied.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • branches/gefeditor/src/com/tresys/framework/plugin/wizards/NewSystemWizard.java

    r1318 r1319  
    2222import com.tresys.framework.plugin.wizards.NewSystemPage; 
    2323import com.tresys.framework.utility.CopyDir; 
     24import com.tresys.framework.utility.FileNameFilter; 
     25 
    2426import org.eclipse.jface.dialogs.MessageDialog; 
    2527import org.eclipse.jface.viewers.IStructuredSelection; 
    …… 
    9395                        String systemName = page1.getSystemName (); 
    9496 
    95                          
     97                        IFolder srcDir = project.getFolder("src"); 
     98                        if (!srcDir.exists()) 
     99                                srcDir.create(true, false, null); 
     100 
    96101                        /*Add 'selinux-policy-<system's name>' directory to 'projectRefPolicyFolder' of project  
    97102                         * and recursively copy all files into folder 
    98103                         */ 
    99                         IFolder srcDir = project.getFolder("src"); 
    100  
    101                         /* Copy all of reference policy into 'selinux-policy-<system name> */ 
    102                         if (!srcDir.exists()) 
    103                                 srcDir.create(true, false, null); 
    104  
    105104                        IFolder systemDir = srcDir.getFolder("selinux-policy-" + systemName); 
    106105                        if (!systemDir.exists()) 
    107106                                systemDir.create(true, false, null); 
    108107 
     108                        /* Copy all of reference policy into 'selinux-policy-<system name> */ 
    109109                        populateRefPolicyFiles (systemDir); 
    110110 
    …… 
    114114                         */ 
    115115 
    116                         project.refreshLocal (IResource.DEPTH_INFINITE, null); 
     116                        systemDir.refreshLocal (IResource.DEPTH_INFINITE, null); 
    117117 
    118118                        IFolder frameDir = systemDir.getFolder("framepol"); 
    …… 
    212212                        waitBox.open (); 
    213213 
    214                         CopyDir.copyDirectory (m_srcDir, m_destDir); 
     214                        String [] filter = new String [] { ".svn", "CVS" }; 
     215                        CopyDir.copyDirectory (m_srcDir, m_destDir, new FileNameFilter (filter)); 
    215216                        waitBox.close (); 
    216217                } 

  • branches/gefeditor/src/com/tresys/framework/utility/CopyDir.java

    r1316 r1319  
    1 package com.tresys.framework.utility; 
    2  
    31/* Copyright (C) 2006 Tresys Technology, LLC 
    42 * License: refer to COPYING file for license information. 
    …… 
    97 */ 
    108 
     9package com.tresys.framework.utility; 
     10 
    1111import java.io.File; 
    1212import java.io.FileInputStream; 
    1313import java.io.FileOutputStream; 
     14import java.io.FilenameFilter; 
    1415import java.io.IOException; 
    1516 
    16 public class CopyDir { 
     17public class CopyDir 
     18{ 
    1719 
    1820        /** 
    …… 
    2022         * not exist, creates one. No access checks are performed 
    2123         *  
    22          * @param Source directory of copy 
    23          * @param Destination to copy to 
    24          * @param file filter, can be null 
     24         * @param Source 
     25         *            directory of copy 
     26         * @param Destination 
     27         *            to copy to 
     28         * @param file 
     29         *            filter, can be null 
    2530         * @throws IOException 
    2631         */ 
    27         public static void copyDirectory(File srcDir, File dstDir ) { 
    28                 if (srcDir.canRead() && srcDir.isDirectory()) { 
    29                         if (!dstDir.exists()) { 
    30                                 if(!dstDir.mkdir()) 
     32        public static void copyDirectory (File srcDir, File dstDir, FilenameFilter filter) 
     33        { 
     34                if (srcDir.canRead () && srcDir.isDirectory ()) 
     35                { 
     36                        if (!dstDir.exists ()) 
     37                        { 
     38                                if (!dstDir.mkdir ()) 
    3139                                        return; 
    3240                        } 
    33                         File[] children = srcDir.listFiles(); 
    34                         for (int i = 0; i < children.length; i++)  
     41                        File[] children = srcDir.listFiles (filter); 
     42                        for (int i = 0; i < children.length; i++) 
    3543                        { 
    36                                 if (children[i].isDirectory()) 
    37                                         copyDirectory(children[i], new File(dstDir, children[i].getName()) ); 
     44                                if (children[i].isDirectory ()) 
     45                                        copyDirectory (children[i], new File (dstDir, children[i].getName ()), filter); 
    3846                                else 
    39                                         copyFile(children[i], new File(dstDir, children[i].getName())); 
     47                                        copyFile (children[i], new File (dstDir, children[i].getName ())); 
    4048                        } 
    4149                } 
    …… 
    5159         * @return none 
    5260         */ 
    53         public static void copyFile(File src, File dest) { 
    54                 try { 
     61        public static void copyFile (File src, File dest) 
     62        { 
     63                try 
     64                { 
    5565                        FileInputStream reader = new FileInputStream (src); 
    5666                        FileOutputStream writer = new FileOutputStream (dest); 
    5767 
    5868                        int len; 
    59                         byte[] buf = new byte[(int) Math.min(10240,src.length())]; 
    60                         while ((len = reader.read(buf)) > 0) { 
    61                                 writer.write(buf, 0, len); 
     69                        byte[] buf = new byte[(int) Math.min (10240, src.length ())]; 
     70                        while ( (len = reader.read (buf)) > 0) 
     71                        { 
     72                                writer.write (buf, 0, len); 
    6273                        } 
    63                         reader.close(); 
    64                         writer.close(); 
    65                 } catch(IOException ioe) { 
     74                        reader.close (); 
     75                        writer.close (); 
    6676                } 
     77                catch (IOException ioe) 
     78                {} 
    6779        } 
    6880}