summaryrefslogtreecommitdiff
path: root/sources/core/time
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2025-06-12 21:19:36 +0300
committerPaul Buetow <paul@buetow.org>2025-06-12 21:19:36 +0300
commit5c5f252d5c7a2bdfefd4fbe54a7ae64537a64874 (patch)
tree1a4741441c7463cd3b5c97cca98fbfd1bc91519f /sources/core/time
parentea4f22311b639561856f37c8ac872af2cd9d55dd (diff)
Restructure project to use Maven exclusively and bump to v1.0.1-SNAPSHOT
- Remove legacy Ant build system (build.xml, sources/ directory) - Migrate to Maven-only build with standard directory structure - Add comprehensive Maven documentation and JAVA_HOME setup for Fedora - Update pom.xml with exec plugin and bump version to 1.0.1-SNAPSHOT - Add CLAUDE.md for development guidance - Update README.md with detailed build/run/clean instructions 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Diffstat (limited to 'sources/core/time')
-rw-r--r--sources/core/time/VSLamportTime.java50
-rw-r--r--sources/core/time/VSTime.java22
-rw-r--r--sources/core/time/VSVectorTime.java96
3 files changed, 0 insertions, 168 deletions
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
deleted file mode 100644
index be1226b..0000000
--- a/sources/core/time/VSLamportTime.java
+++ /dev/null
@@ -1,50 +0,0 @@
-package core.time;
-
-/**
- * The class VSLamportTime, defines how the lamport timestamps are represented.
- *
- * @author Paul C. Buetow
- */
-public class VSLamportTime implements VSTime {
- /** Specified the global time of the lamport timestamp. It's used for
- * correct painting position in the simulator canvas paint area.
- */
- private long globalTime;
-
- /** Specified the process' local lamport time. */
- private long lamportTime;
-
- /**
- * A simple constructor.
- *
- * @param globalTime The global time.
- * @param lamportTime The local lamport time.
- */
- public VSLamportTime(long globalTime, long lamportTime) {
- this.globalTime = globalTime;
- this.lamportTime = lamportTime;
- }
-
- /* (non-Javadoc)
- * @see core.time.VSTime#getGlobalTime()
- */
- public long getGlobalTime() {
- return globalTime;
- }
-
- /**
- * Gets the lamport time.
- *
- * @return The process' local lamport time
- */
- public long getLamportTime() {
- return lamportTime;
- }
-
- /* (non-Javadoc)
- * @see core.time.VSTime#toString()
- */
- public String toString() {
- return "(" + lamportTime + ")";
- }
-}
diff --git a/sources/core/time/VSTime.java b/sources/core/time/VSTime.java
deleted file mode 100644
index d46e0e4..0000000
--- a/sources/core/time/VSTime.java
+++ /dev/null
@@ -1,22 +0,0 @@
-package core.time;
-
-/**
- * This interface is a guidline for general time format classes.
- *
- * @author Paul C. Buetow
- */
-public interface VSTime {
- /**
- * Gets the global time.
- *
- * @return The global time
- */
- public long getGlobalTime();
-
- /**
- * Returns a string representation.
- *
- * @return The representation of the implementing object as a string
- */
- public String toString();
-}
diff --git a/sources/core/time/VSVectorTime.java b/sources/core/time/VSVectorTime.java
deleted file mode 100644
index 4e63b3c..0000000
--- a/sources/core/time/VSVectorTime.java
+++ /dev/null
@@ -1,96 +0,0 @@
-package core.time;
-
-import java.util.ArrayList;
-
-/**
- * The class VSVectorTime, defined how the vector timestamps are represented.
- *
- * @author Paul C. Buetow
- */
-public class VSVectorTime extends ArrayList<Long> implements VSTime {
- /** The serial version uid */
- private static final long serialVersionUID = 1L;
-
- /** The global time. */
- private long globalTime;
-
- /**
- * Instantiates a new vector time.
- *
- * @param globalTime the global time
- */
- public VSVectorTime(long globalTime) {
- this.globalTime = globalTime;
- }
-
- /**
- * To long array.
- *
- * @return the long[]
- */
- public long[] toLongArray() {
- final int size = super.size();
- final long[] arr = new long[size];
-
- for (int i = 0; i < size; ++i)
- arr[i] = super.get(i).longValue();
-
- return arr;
- }
-
- /**
- * Sets the global time.
- *
- * @param globalTime the new global time
- */
- public void setGlobalTime(long globalTime) {
- this.globalTime = globalTime;
- }
-
- /* (non-Javadoc)
- * @see core.time.VSTime#getGlobalTime()
- */
- public long getGlobalTime() {
- return globalTime;
- }
-
- /**
- * Gets the copy.
- *
- * @return the copy
- */
- public VSVectorTime getCopy() {
- final VSVectorTime vectorTime = new VSVectorTime(globalTime);
- final int size = super.size();
-
- for (int i = 0; i < size; ++i)
- vectorTime.add(super.get(i));
-
- return vectorTime;
- }
-
- /* (non-Javadoc)
- * @see java.util.AbstractCollection#toString()
- */
- public String toString() {
- final int size = super.size();
- final StringBuffer buffer = new StringBuffer();
- buffer.append("(");
-
- for (int i = 0; i < size-1; ++i)
- buffer.append(super.get(i)+",");
- buffer.append(super.get(size-1)+")");
-
- return buffer.toString();
- }
-
- /* (non-Javadoc)
- * @see java.util.ArrayList#get(int)
- */
- public Long get(int index) {
- if (index >= super.size())
- return Long.valueOf(0);
-
- return super.get(index);
- }
-}