From 5c5f252d5c7a2bdfefd4fbe54a7ae64537a64874 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Thu, 12 Jun 2025 21:19:36 +0300 Subject: Restructure project to use Maven exclusively and bump to v1.0.1-SNAPSHOT MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 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 --- sources/core/time/VSLamportTime.java | 50 ------------------- sources/core/time/VSTime.java | 22 --------- sources/core/time/VSVectorTime.java | 96 ------------------------------------ 3 files changed, 168 deletions(-) delete mode 100644 sources/core/time/VSLamportTime.java delete mode 100644 sources/core/time/VSTime.java delete mode 100644 sources/core/time/VSVectorTime.java (limited to 'sources/core/time') 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 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); - } -} -- cgit v1.2.3