summaryrefslogtreecommitdiff
path: root/sources/core
diff options
context:
space:
mode:
Diffstat (limited to 'sources/core')
-rw-r--r--sources/core/VSMessage.java3
-rw-r--r--sources/core/VSProcess.java3
-rw-r--r--sources/core/time/VSLamportTime.java2
-rw-r--r--sources/core/time/VSTime.java2
-rw-r--r--sources/core/time/VSVectorTime.java2
5 files changed, 7 insertions, 5 deletions
diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java
index 466fc4d..c84d700 100644
--- a/sources/core/VSMessage.java
+++ b/sources/core/VSMessage.java
@@ -1,8 +1,9 @@
package core;
+import core.time.*;
+import events.*;
import prefs.VSPrefs;
import protocols.*;
-import events.VSEvent;
public class VSMessage extends VSPrefs implements VSEvent {
private String protocolClassname;
diff --git a/sources/core/VSProcess.java b/sources/core/VSProcess.java
index d53c516..5c3435e 100644
--- a/sources/core/VSProcess.java
+++ b/sources/core/VSProcess.java
@@ -3,11 +3,12 @@ package core;
import java.awt.*;
import java.util.*;
+import core.time.*;
+import events.*;
import prefs.*;
import protocols.*;
import simulator.*;
import utils.*;
-import events.*;
public final class VSProcess extends VSPrefs {
private VSTask randomCrashTask;
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
index 2d2c49e..704b3d5 100644
--- a/sources/core/time/VSLamportTime.java
+++ b/sources/core/time/VSLamportTime.java
@@ -1,4 +1,4 @@
-package core;
+package core.time;
public class VSLamportTime implements VSTime {
private long globalTime;
diff --git a/sources/core/time/VSTime.java b/sources/core/time/VSTime.java
index f35c0dd..efeda52 100644
--- a/sources/core/time/VSTime.java
+++ b/sources/core/time/VSTime.java
@@ -1,4 +1,4 @@
-package core;
+package core.time;
public interface VSTime {
public long getGlobalTime();
diff --git a/sources/core/time/VSVectorTime.java b/sources/core/time/VSVectorTime.java
index 70a62a2..55a9b49 100644
--- a/sources/core/time/VSVectorTime.java
+++ b/sources/core/time/VSVectorTime.java
@@ -1,4 +1,4 @@
-package core;
+package core.time;
import java.util.ArrayList;