Changeset 1242 for trunk/src/org/expeditee/io/ExpReader.java

Timestamp:

03/15/19 16:48:00 (5 years ago)

Author:

bln4

Message:

Support for new regime in the form of new fields and conditional setting of all paths fields.

Settings are now able to generate their own representation. This allows for the user to explicitly inspect the default values.

When profiles are created, an optional parameter may now be provided. If not null, the new map parameter can contain default values for settings to apply to this profile. This allows for the creation of profiles to that have (for example), their username set to an explicit value. Multiuser mode uses this functionality for usernames and key values among other things.

Frames can now be asked were they are located on the file system. Furthermore, frame indirection is now a thing. Rather than containing data to display, an exp file can contain a line in the format of "REDIRECT:<path>" to go looking for that data. Frames are able to return both their logical (their exp file) and real (the file actually containing the data) paths.

Frames can now store data.

Further fixes to how edits from other users are loaded in.

File:

• trunk/src/org/expeditee/io/ExpReader.java (modified) (3 diffs)

trunk/src/org/expeditee/io/ExpReader.java

@@ -29 +29 @@
 import org.expeditee.core.Point;
 import org.expeditee.gui.Frame;
+import org.expeditee.gui.FrameIO;
 import org.expeditee.items.Constraint;
 import org.expeditee.items.Dot;
@@ -213 +214 @@
                 //newFrame.refreshItemPermissions();
                 _reader.close();
+                FrameIO.setSavedProperties(newFrame);
                 newFrame.setChanged(false);
 
@@ -344 +346 @@
                 return -1;
         }
+        
+        public static String redirectTo(String fullPath) {
+                try {
+                        BufferedReader reader = new BufferedReader(new FileReader(fullPath));
+                        String next = "";
+                        while (reader.ready() && !(next = reader.readLine()).equals("Z")) {
+                                if (next.startsWith("REDIRECT:")) {
+                                        String redirectTo = next.replace("REDIRECT:", "");
+                                        reader.close();
+                                        return redirectTo;
+                                }
+                        }
+                        reader.close();
+                } catch (Exception e) {
+                }
+                return null;
+        }
 }