Changeset 1229 for trunk/src/org/expeditee/gui/Frame.java

Timestamp:

02/04/19 10:54:41 (5 years ago)

Author:

bln4

Message:

org.expeditee.gui.Frame ->
org.expeditee.gui.FrameIO ->

When loading a frame and deciding if the cache should be used, the file system is now consulted to check if there is a more recent version available. If there is then the cache is not used. This is useful for collaborative frame authoring when access to frame is controlled via a system such as google drive.

File:

• trunk/src/org/expeditee/gui/Frame.java (modified) (4 diffs)

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

@@ -101 +101 @@
 
         private String _modifiedDate = null;
+        private long _modifiedDatePrecise;
 
         private String _frozenDate = null;
@@ -803 +804 @@
          * @param date
          *            The date to set as the last modified date.
-         */
-        public void setLastModifyDate(String date)
-        {
+         * @param precise The millisecond precision last modified date.
+         */
+        public void setLastModifyDate(String date, long precise) {
                 _modifiedDate = date;
+                _modifiedDatePrecise = precise;
+        }
+        
+        /**
+         * Sets the last modified date of this Frame to the given String.
+         * Used during startup.  If able to be more precise then use the overloaded function.
+         * 
+         * @param date
+         *            The date to set as the last modified date.
+         */
+        public void setLastModifyDate(String date) {
+                _modifiedDate = date;
+                _modifiedDatePrecise = -1l;
         }
 
@@ -815 +829 @@
          *            The date to set as the last frozen date.
          */
-        public void setFrozenDate(String date)
-        {
+        public void setFrozenDate(String date)  {
                 _frozenDate = date;
         }
@@ -1198 +1211 @@
         }
 
-        public String getLastModifyDate()
-        {
+        public String getLastModifyDate() {
                 return _modifiedDate;
+        }
+        
+        public long getLastModifyPrecise() {
+                return _modifiedDatePrecise;
         }