diff options
| author | Paul Buetow <paul@buetow.org> | 2025-06-12 21:19:36 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2025-06-12 21:19:36 +0300 |
| commit | 5c5f252d5c7a2bdfefd4fbe54a7ae64537a64874 (patch) | |
| tree | 1a4741441c7463cd3b5c97cca98fbfd1bc91519f /sources/core/time | |
| parent | ea4f22311b639561856f37c8ac872af2cd9d55dd (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.java | 50 | ||||
| -rw-r--r-- | sources/core/time/VSTime.java | 22 | ||||
| -rw-r--r-- | sources/core/time/VSVectorTime.java | 96 |
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); - } -} |
