diff src/fschmidt/util/java/Version.java @ 68:00520880ad02

add fschmidt source
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 05 Oct 2025 17:24:15 -0600
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/fschmidt/util/java/Version.java	Sun Oct 05 17:24:15 2025 -0600
@@ -0,0 +1,70 @@
+/*
+Copyright (c) 2008  Franklin Schmidt <fschmidt@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+*/
+
+package fschmidt.util.java;
+
+import java.util.regex.*;
+
+
+public final class Version implements Comparable {
+	private final String name;
+	private final String name2;
+	private final int[] parts;
+	private static final Pattern p = Pattern.compile("^[0-9.]+");
+
+	public Version(String name) {
+		this.name = name;
+		Matcher m = p.matcher(name);
+		if( !m.find() )
+			throw new RuntimeException("invalid version: "+name);
+		this.name2 = m.group();
+		String[] a = name2.split("\\.");
+		parts = new int[a.length];
+		for( int i=0; i<a.length; i++ ) {
+			parts[i] = Integer.parseInt(a[i]);
+		}
+	}
+
+	public String toString() {
+		return name;
+	}
+
+	public int compareTo(Object o) {
+		Version v = (Version)o;
+		int n = Math.min(parts.length,v.parts.length);
+		for( int i=0; i<n; i++ ) {
+			int r = parts[i] - v.parts[i];
+			if( r != 0 )
+				return r;
+		}
+		return parts.length - v.parts.length;
+	}
+
+	public boolean equals(Object o) {
+		return o instanceof Version && compareTo(o)==0;
+	}
+
+	public int hashCode() {
+		return name2.hashCode();
+	}
+
+}