[patch] mckoi-1.0.3-jikes.patch

mckoi-1.0.3-jikes.patch (text/plain), 1.69 KB, created by Jan Brinkmann (RETIRED) on 2004-12-21 01:50:38 UTC

diff -ur mckoi1.0.3.orig/src/com/mckoi/store/JournalledSystem.java mckoi1.0.3/src/com/mckoi/store/JournalledSystem.java
--- mckoi1.0.3.orig/src/com/mckoi/store/JournalledSystem.java	2004-08-15 22:14:58.000000000 +0200
+++ mckoi1.0.3/src/com/mckoi/store/JournalledSystem.java	2004-12-20 13:19:07.808868672 +0100
@@ -1047,7 +1047,7 @@
     /**
      * The journal file.
      */
-    private final JournalFile journal;
+    private final com.mckoi.store.JournalledSystem.JournalFile journal;
 
     /**
      * The position in the journal file.
@@ -1069,7 +1069,7 @@
     /**
      * Constructs the entry.
      */
-    public JournalEntry(String resource_name, JournalFile journal,
+    public JournalEntry(String resource_name, com.mckoi.store.JournalledSystem.JournalFile journal,
                         long position, long page_number) {
       this.resource_name = resource_name;
       this.journal = journal;
@@ -1080,7 +1080,7 @@
     /**
      * Returns the journal file for this entry.
      */
-    public JournalFile getJournalFile() {
+    public com.mckoi.store.JournalledSystem.JournalFile getJournalFile() {
       return journal;
     }
 
@@ -1716,7 +1716,7 @@
     /**
      * The JournalFile object that is a summary of.
      */
-    JournalFile journal_file;
+    com.mckoi.store.JournalledSystem.JournalFile journal_file;
 
     /**
      * True if the journal is recoverable (has one or more complete check
@@ -1737,7 +1737,7 @@
     /**
      * Constructor.
      */
-    public JournalSummary(JournalFile journal_file) {
+    public JournalSummary(com.mckoi.store.JournalledSystem.JournalFile journal_file) {
       this.journal_file = journal_file;
     }