Changeset 7 for trunk/src/org/expeditee/gui/FrameIO.java

Timestamp:

05/01/08 12:26:53 (16 years ago)

Author:

ra33

Message:

New expeditee version

File:

• trunk/src/org/expeditee/gui/FrameIO.java (modified) (21 diffs)

trunk/src/org/expeditee/gui/FrameIO.java

@@ -4 +4 @@
 import java.io.BufferedWriter;
 import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
 import java.io.FileReader;
 import java.io.FileWriter;
@@ -130 +132 @@
         public static Frame LoadFrame(String frameName) {
                 // If the frame name is a positive integer add the frameset name
-                if (isPositiveInteger(frameName)){
-                        assert(false);
+                if (isPositiveInteger(frameName)) {
+                        assert (false);
                         frameName = DisplayIO.getCurrentFrame().getFramesetNameAdjusted()
                                         + frameName;
@@ -160 +162 @@
 
                 return loaded;
+        }
+
+        /**
+         * Gets a list of all the framesets available to the user
+         * 
+         * @return a string containing a list of all the available framesets on
+         *         separate lines
+         */
+        public static String getFramesetList() {
+                StringBuffer list = new StringBuffer();
+
+                for (String path : UserSettings.FrameDirs) {
+                        for (File f : (new File(path)).listFiles()) {
+                                if (f.isDirectory()) {
+                                        list.append(f.getName()).append('\n');
+                                }
+                        }
+                }
+                // remove the final new line char
+                list.deleteCharAt(list.length() - 1);
+                return list.toString();
         }
 
@@ -267 +290 @@
 
         public static Frame LoadPrevious(Frame current) {
+                checkTDFC(current);
+
                 // the current name and number
                 String name = current.getFramesetNameAdjusted();
@@ -292 +317 @@
          */
         public static Frame LoadNext(Frame current) {
+                checkTDFC(current);
 
                 // the current name and number
@@ -318 +344 @@
                 FrameGraphics.DisplayMessage("This is the last frame in the frameset");
                 return null;
+        }
+
+        /**
+         * This method checks if the current frame has just been created with TDFC.
+         * If it has the frame is saved regardless of whether it has been edited or
+         * not and the TDFC item property is cleared. This is to ensure that the
+         * link is saved on the parent frame.
+         * 
+         * @param current
+         */
+        private static void checkTDFC(Frame current) {
+                if (FrameMouseActions.getTdfcItem() != null) {
+                        FrameMouseActions.setTdfcItem(null);
+                        current.change();
+                }
         }
 
@@ -331 +372 @@
                 }
 
-                String adjustedName = Frame.GetFramesetNameAdjusted(framesetName);
+                String adjustedName = FrameUtils.GetFramesetNameAdjusted(framesetName);
 
                 // loop backwards until a frame that exists is found
@@ -368 +409 @@
          */
         public static boolean DeleteFrame(Frame toDelete) throws IOException {
+                if (toDelete == null)
+                        return false;
+
                 SaveFrame(toDelete);
 
@@ -374 +418 @@
                 int lastNumber = FrameIO.getLastNumber(DELETED_FRAMES);
                 String framePath;
-                if (lastNumber < 0) {
+                try{
                         // create the new frameset
                         Frame one = FrameIO.CreateFrameset(DELETED_FRAMES, toDelete.path);
                         framePath = one.path;
                         lastNumber = 0;
-                } else {
+                } catch(Exception e){
                         Frame zero = FrameIO.LoadFrame(DELETED_FRAMES + "0");
                         framePath = zero.path;
@@ -426 +470 @@
                 SuspendCache();
 
-                String adjustFramesetName = Frame.GetFramesetNameAdjusted(frameset);
+                String adjustFramesetName = FrameUtils
+                                .GetFramesetNameAdjusted(frameset);
                 Frame template = null;
                 if (templateFrame == null)
@@ -520 +565 @@
          * @return The first Frame of the new Frameset (Frame.1)
          */
-        public static Frame CreateFrameset(String frameset, String path) {
-                String conversion = frameset + " --> ";
-
-                // ensure the framename is valid
-                frameset = NameValidation(frameset);
-
-                if (frameset == null)
-                        return null;
-
-                conversion += frameset;
-                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Frameset Name: "
-                                + conversion);
-                conversion = frameset;
-
-                /**
-                 * TODO: Update this to exclude any\all invalid filename characters
-                 */
-                // ignore annotation character
-                if (frameset.startsWith("@"))
-                        frameset = frameset.substring(1);
-
-                conversion += " --> " + frameset;
-                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Name: " + conversion);
-
-                // create the new Frameset directory
-                File dir = new File(path + frameset.toLowerCase() + File.separator);
-
-                dir.mkdirs();
-
-                // create the new INF file
-                try {
-                        WriteINF(path, frameset, frameset + getFramesetExtension(frameset));
-                } catch (IOException ioe) {
-                        ioe.printStackTrace();
-                        Logger.Log(ioe);
-                }
-
-                SuspendCache();
-                // copy the default .0 and .1 files
-                Frame base;
-                try {
-                        base = LoadFrame(UserSettings.DefaultFrame);
-                } catch (Exception e) {
-                        base = new Frame();
-                }
-                ResumeCache();
-
-                base.resetDateCreated();
-                base.setFrameset(frameset);
-                base.setFrameNumber(0);
-                base.path = path;
-                SaveFrame(base, false);
-
-                base.resetDateCreated();
-                base.setFrameNumber(1);
-                base.setTitle(frameset);
-                SaveFrame(base, true);
-
-                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Created new frameset: "
-                                + frameset);
-
-                return base;
+        public static Frame CreateFrameset(String frameset, String path) throws Exception{
+                return CreateFrameset(frameset, path, false);
         }
 
@@ -600 +585 @@
 
                 // String must begin with a letter and end with a digit
-                if (!Character.isLetter(frameName.charAt(0))
+                if (!(Character.isLetter(frameName.charAt(0)) || Character.isDigit(frameName.charAt(0)))
                                 || !Character.isDigit(frameName.charAt(frameName.length() - 1)))
                         return false;
 
-                int dotIndex = frameName.indexOf(".");
-                // All the characters inbetween first and last must be letters
-                // or digits
+                int dotIndex = frameName.lastIndexOf('.');
+                // All the characters between first and last must be letters
+                // or digits or period
                 for (int i = 1; i < frameName.length(); i++) {
                         if (dotIndex > 0 && i > dotIndex) {
@@ -645 +630 @@
 
                 if (toSave == null)
+                        return "";
+
+                if (!toSave.hasChanged() || toSave.isSaved())
                         return "";
 
@@ -713 +701 @@
                         }
                 } catch (IOException ioe) {
-                        ioe.printStackTrace();
+                        // ioe.printStackTrace();
                         Logger.Log(ioe);
+                        return null;
                 }
 
@@ -724 +713 @@
         }
 
-        public static Frame CreateNewProfile(String username) {
+        public static Frame CreateNewProfile(String username) throws Exception{
                 Frame profile = CreateFrameset(username, PROFILE_PATH);
                 FrameUtils.CreateDefaultProfile(profile);
@@ -782 +771 @@
         }
 
-        private static String NameValidation(String toValidate) {
+        private static String NameValidation(String toValidate) throws Exception{
                 String result = "";
 
@@ -791 +780 @@
                         // check for illegal characters
                         if (ILLEGAL_CHARS.contains("" + cur)) {
-                                FrameGraphics
-                                                .DisplayMessage("Frameset name contains illegal character '"
+                                throw new Exception("Frameset name contains illegal character '"
                                                                 + cur + "' at position " + (i + 1));
-                                return null;
                         }
 
@@ -808 +795 @@
 
                                 if (result.length() >= MAX_NAME_LENGTH) {
-                                        FrameGraphics
-                                                        .DisplayMessage("Frameset name is too long (Max "
+                                        throw new Exception("Frameset name is too long (Max "
                                                                         + MAX_NAME_LENGTH + " characters)");
-                                        return null;
                                 }
                         }
@@ -832 +817 @@
                 // do auto shrinking of the title
                 Text titleItem = newFrame.getTitle();
-                
-                while(titleItem.getBoundsWidth() + titleItem.getX() > newFrame.getFrameNameItem().getX() ) {
+
+                while (titleItem.getBoundsWidth() + titleItem.getX() > newFrame
+                                .getFrameNameItem().getX()) {
                         titleItem.setSize(titleItem.getSize() - 1);
                 }
-                        
 
                 return newFrame;
@@ -850 +835 @@
          *         frame)
          */
-        public static Frame CreateNewFrameset(String name) {
+        public static Frame CreateNewFrameset(String name) throws Exception{
                 String path = DisplayIO.getCurrentFrame().path;
 
@@ -896 +881 @@
         }
 
+        public static Boolean DoesFramesetExist(String framesetName) {
+                String zeroFrame = FrameUtils.GetFramesetNameAdjusted(framesetName) + '0';
+                return FrameIO.DoesFrameExist(zeroFrame);
+        }
+
+        public static Frame CreateFrameset(String frameset, String path,
+                        boolean recreate) throws Exception{
+                String conversion = frameset + " --> ";
+
+                // ensure the framename is valid
+                frameset = NameValidation(frameset);
+
+                if (frameset == null)
+                        throw new Exception("Invalid frameset name");
+
+                if (!recreate && FrameIO.DoesFramesetExist(frameset)) {
+                        throw new Exception("A frameset called " + frameset + " already exists.");
+                }
+
+                conversion += frameset;
+                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Frameset Name: "
+                                + conversion);
+                conversion = frameset;
+
+                /**
+                 * TODO: Update this to exclude any\all invalid filename characters
+                 */
+                // ignore annotation character
+                if (frameset.startsWith("@"))
+                        frameset = frameset.substring(1);
+
+                conversion += " --> " + frameset;
+                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Name: " + conversion);
+
+                // create the new Frameset directory
+                File dir = new File(path + frameset.toLowerCase() + File.separator);
+
+                dir.mkdirs();
+
+                // create the new INF file
+                try {
+                        WriteINF(path, frameset, frameset + getFramesetExtension(frameset));
+                } catch (IOException ioe) {
+                        ioe.printStackTrace();
+                        Logger.Log(ioe);
+                }
+
+                SuspendCache();
+                // copy the default .0 and .1 files
+                Frame base;
+                try {
+                        base = LoadFrame(UserSettings.DefaultFrame);
+                } catch (Exception e) {
+                        base = new Frame();
+                }
+                ResumeCache();
+
+                base.resetDateCreated();
+                base.setFrameset(frameset);
+                base.setFrameNumber(0);
+                base.setTitle(base.getFramesetNameAdjusted() + "0");
+                base.path = path;
+                base.change();
+                SaveFrame(base, false);
+
+                base.resetDateCreated();
+                base.setFrameNumber(1);
+                base.setTitle(frameset);
+                base.change();
+                SaveFrame(base, true);
+
+                Logger.Log(Logger.SYSTEM, Logger.NEW_FRAMESET, "Created new frameset: "
+                                + frameset);
+
+                return base;
+        }
+
+        public static boolean DeleteFrameset(String framesetName) {
+                if (!FrameIO.DoesFramesetExist(framesetName))
+                        return false;
+
+                for (String path : UserSettings.FrameDirs) {
+                        String source = path + framesetName.toLowerCase() + File.separator;
+                        File framesetDirectory = new File(source);
+                        if (framesetDirectory.exists()) {
+                                for (File f : framesetDirectory.listFiles())
+                                        f.delete();
+                                return framesetDirectory.delete();
+                        }
+                }
+                return false;
+        }
+
+        public static boolean CopyFrameset(String framesetToCopy,
+                        String copiedFrameset) throws Exception {
+                if (!FrameIO.DoesFramesetExist(framesetToCopy))
+                        return false;
+                if (FrameIO.DoesFramesetExist(copiedFrameset))
+                        return false;
+                // search through all the directories to find the frameset we are
+                // copying
+                for (String path : UserSettings.FrameDirs) {
+                        String source = path + framesetToCopy.toLowerCase()
+                                        + File.separator;
+                        File framesetDirectory = new File(source);
+                        if (framesetDirectory.exists()) {
+                                // copy the frameset
+                                File copyFramesetDirectory = new File(path
+                                                + copiedFrameset.toLowerCase() + File.separator);
+                                if (!copyFramesetDirectory.mkdirs())
+                                        return false;
+                                // copy each of the frames
+                                for (File f : framesetDirectory.listFiles()) {
+                                        String copyPath = copyFramesetDirectory.getAbsolutePath()
+                                                        + File.separator + f.getName();
+                                        FrameIO.copyFile(f.getAbsolutePath(), copyPath);
+                                }
+                                return true;
+                        }
+                }
+                return false;
+        }
+
+        public static void copyFile(String existingFile, String newFileName)
+                        throws Exception {
+                FileInputStream is = new FileInputStream(existingFile);
+                FileOutputStream os = new FileOutputStream(newFileName, false);
+                int data;
+                while ((data = is.read()) != -1) {
+                        os.write(data);
+                }
+                os.flush();
+                os.close();
+                is.close();
+        }
+
+        /**
+         * Saves a frame regardless of whether or not the frame is marked as having
+         * been changed.
+         * 
+         * @param frame
+         *            the frame to save
+         * @return the contents of the frame or null if it could not be saved
+         */
+        public static String ForceSaveFrame(Frame frame) {
+                frame.change();
+                return SaveFrame(frame, false);
+        }
+
 }