Add version checker

Author: APN-Pucky

src/main/java/de/neuwirthinformatik/Alexander/GitJarUpdate/Update.java

@@ -17,42 +17,75 @@ public class Update {
 
 	public static void main(String[] args)
 	{
-		loadUpdate("TeXCalc-all.jar","APN-Pucky","TeXCalc");
+		//loadUpdate("TeXCalc-all.jar","APN-Pucky","TeXCalc");
+		Version d = new Version("9999");
+		Version t = new Version("5.5.5");
+		System.out.println(d.compareTo(t));
+		
 	}
 
-    public boolean someLibraryMethod() {
-        return true;
-    }
-	
 
     public static void loadUpdate(String fname, String github_user,String github_project)
 	{
     	StreamUtil.copyFile("new-" + fname,fname);
-		String up = checkUpdates(github_user,github_project);
+		String up = getUpdateText(github_user,github_project);
 		if(!up.equals(""))
 		{
 			int selection = JOptionPane.showConfirmDialog(null, up,"Update",JOptionPane.OK_CANCEL_OPTION,JOptionPane.WARNING_MESSAGE);
 			if(selection == JOptionPane.OK_OPTION)update(fname,github_user,github_project);
 		}
 	}
 
-    public static String checkUpdates(String github_user,String github_project)
+    public static boolean checkUpdates(String github_user,String github_project)
 	{
 		String ret = "";
 		String jsf = "git_jar_version.json";
 		Wget.wGet(jsf, "https://api.github.com/repos/" + github_user + "/" + github_project + "/releases/latest");
 		String tumjson=StreamUtil.readFile(jsf).replaceAll("\n", "");
 		JSONObject tum = new JSONObject(tumjson);
 		String tum_tag_name = tum.getString("tag_name");	
-		if(!tum_tag_name.equals(Info.VERSION) && !Info.VERSION.equals( "9999"))
+		if(new Version(tum_tag_name).compareTo(new Version(Info.VERSION)) > 0)
+		{
+			return true;
+		}
+		return false;
+	}
+    public static String[] getUpdateInfos(String github_user,String github_project) {
+    	String ret = "";
+		String jsf = "git_jar_version.json";
+		Wget.wGet(jsf, "https://api.github.com/repos/" + github_user + "/" + github_project + "/releases/latest");
+		String tumjson=StreamUtil.readFile(jsf).replaceAll("\n", "");
+		JSONObject tum = new JSONObject(tumjson);
+		String tum_tag_name = tum.getString("tag_name");	
+		if(new Version(tum_tag_name).compareTo(new Version(Info.VERSION)) > 0)
 		{
 			ret += "New version: " + tum_tag_name + " available:\n";
 			ret += " - " + tum.getString("name") + "\n";
 			ret += "Current version: " + Info.VERSION;
+
+			return new String[] {tum_tag_name,tum.getString("name")};
 		}
+		return new String[] {};
 
+    }
+
+    public static String getUpdateText(String github_user,String github_project) {
+    	String ret = "";
+		String jsf = "git_jar_version.json";
+		Wget.wGet(jsf, "https://api.github.com/repos/" + github_user + "/" + github_project + "/releases/latest");
+		String tumjson=StreamUtil.readFile(jsf).replaceAll("\n", "");
+		JSONObject tum = new JSONObject(tumjson);
+		String tum_tag_name = tum.getString("tag_name");	
+		if(new Version(tum_tag_name).compareTo(new Version(Info.VERSION)) > 0)
+		{
+			ret += "New version: " + tum_tag_name + " available:\n";
+			ret += " - " + tum.getString("name") + "\n";
+			ret += "Current version: " + Info.VERSION;
+
+		}
 		return ret;
-	}
+		
+    }
 
     public static void update(String fname, String github_user, String github_project)
 	{

src/main/java/de/neuwirthinformatik/Alexander/GitJarUpdate/Version.java

@@ -0,0 +1,51 @@
+package de.neuwirthinformatik.Alexander.GitJarUpdate;
+
+/**
+ * https://stackoverflow.com/a/11024200
+ */
+public class Version implements Comparable<Version> {
+
+    private String version;
+
+    public final String get() {
+        return this.version;
+    }
+
+    public Version(String version) {
+        if(version == null)
+            throw new IllegalArgumentException("Version can not be null");
+        if(!version.matches("[0-9]+(\\.[0-9]+)*"))
+            throw new IllegalArgumentException("Invalid version format");
+        this.version = version;
+    }
+
+    @Override public int compareTo(Version that) {
+        if(that == null)
+            return 1;
+        String[] thisParts = this.get().split("\\.");
+        String[] thatParts = that.get().split("\\.");
+        int length = Math.max(thisParts.length, thatParts.length);
+        for(int i = 0; i < length; i++) {
+            int thisPart = i < thisParts.length ?
+                Integer.parseInt(thisParts[i]) : 0;
+            int thatPart = i < thatParts.length ?
+                Integer.parseInt(thatParts[i]) : 0;
+            if(thisPart < thatPart)
+                return -1;
+            if(thisPart > thatPart)
+                return 1;
+        }
+        return 0;
+    }
+
+    @Override public boolean equals(Object that) {
+        if(this == that)
+            return true;
+        if(that == null)
+            return false;
+        if(this.getClass() != that.getClass())
+            return false;
+        return this.compareTo((Version) that) == 0;
+    }
+
+}