diff options
Diffstat (limited to 'src/main/java/derms/replica/replica2/Resource.java')
| -rw-r--r-- | src/main/java/derms/replica/replica2/Resource.java | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/src/main/java/derms/replica/replica2/Resource.java b/src/main/java/derms/replica/replica2/Resource.java deleted file mode 100644 index fd1b20d..0000000 --- a/src/main/java/derms/replica/replica2/Resource.java +++ /dev/null @@ -1,39 +0,0 @@ -package derms.replica.replica2; - -import java.io.Serializable; - -class Resource implements Serializable { - ResourceID id; - ResourceType type; - int duration; - boolean isBorrowed; - CoordinatorID borrower; - int borrowDuration; - - Resource(ResourceID id, ResourceType type, int duration, boolean isBorrowed, CoordinatorID borrower, int borrowDuration) { - this.id = id; - this.type = type; - this.duration = duration; - this.isBorrowed = isBorrowed; - this.borrower = borrower; - this.borrowDuration = borrowDuration; - } - - Resource(ResourceID id, ResourceType type, int duration) { - this(id, type, duration, false, new CoordinatorID(), -1); - } - - Resource() { - this(new ResourceID(), ResourceType.AMBULANCE, 0); - } - - @Override - public int hashCode() { - return id.hashCode(); - } - - @Override - public String toString() { - return id+" "+duration; - } -} |