From 20d112980fab80a612c15db88706fc56eebe9f64 Mon Sep 17 00:00:00 2001
From: Niki Roo <niki@nikiroo.be>
Date: Thu, 14 May 2020 16:14:29 +0200
Subject: [PATCH] JsonIO: fix progress

---
 Progress.java | 52 +++++++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 46 insertions(+), 6 deletions(-)

diff --git a/Progress.java b/Progress.java
index 748d4a6..bb143ef 100644
--- a/Progress.java
+++ b/Progress.java
@@ -108,7 +108,7 @@ public class Progress {
 	/**
 	 * The name of this {@link Progress} step.
 	 * 
-	 * @return the name
+	 * @return the name, can be NULL
 	 */
 	public String getName() {
 		return name;
@@ -241,8 +241,8 @@ public class Progress {
 
 			relativeLocalProgress = ((double) progress) / (max - min);
 
-			setRelativeProgress(this, name, relativeLocalProgress
-					+ childrenProgress);
+			setRelativeProgress(this, name,
+					relativeLocalProgress + childrenProgress);
 		}
 	}
 
@@ -256,12 +256,26 @@ public class Progress {
 		return relativeProgress;
 	}
 
+	/**
+	 * Set the total progress value (including the optional children
+	 * {@link Progress}), on a 0 to 1 scale.
+	 * <p>
+	 * Will generate a changed event from this very {@link Progress}.
+	 * 
+	 * @param relativeProgress
+	 *            the progress to set
+	 */
+	public void setRelativeProgress(double relativeProgress) {
+		setRelativeProgress(this, name, relativeProgress);
+	}
+
 	/**
 	 * Set the total progress value (including the optional children
 	 * {@link Progress}), on a 0 to 1 scale.
 	 * 
 	 * @param pg
-	 *            the {@link Progress} to report as the progression emitter
+	 *            the {@link Progress} to report as the progression emitter (can
+	 *            be NULL, will then be considered the same as <tt>this</tt>)
 	 * @param name
 	 *            the current name (if it is NULL, the first non-null name in
 	 *            the hierarchy will overwrite it) of the {@link Progress} who
@@ -325,6 +339,8 @@ public class Progress {
 
 	/**
 	 * Return the list of direct children of this {@link Progress}.
+	 * <p>
+	 * Can return an empty list, but never NULL.
 	 * 
 	 * @return the children (Who will think of the children??)
 	 */
@@ -334,6 +350,20 @@ public class Progress {
 		}
 	}
 
+	/**
+	 * The weight of this children if it is actually a child of this.
+	 * 
+	 * @param child
+	 *            the child to get the weight of
+	 * 
+	 * @return NULL if this is not a child of this
+	 */
+	public Double getWeight(Progress child) {
+		synchronized (lock) {
+			return children.get(child);
+		}
+	}
+
 	/**
 	 * Notify the listeners that this {@link Progress} changed value.
 	 * 
@@ -416,8 +446,8 @@ public class Progress {
 		if (progress.parent != null) {
 			throw new RuntimeException(String.format(
 					"Progress object %s cannot be added to %s, "
-							+ "as it already has a parent (%s)", progress.name,
-					name, progress.parent.name));
+							+ "as it already has a parent (%s)",
+					progress.name, name, progress.parent.name));
 		}
 
 		ProgressListener progressListener = new ProgressListener() {
@@ -492,4 +522,14 @@ public class Progress {
 	public Object get(Object key) {
 		return map.get(key);
 	}
+
+	@Override
+	public String toString() {
+		return "[Progress]" //
+				+ (name == null || name.isEmpty() ? "" : " " + name) //
+				+ ": " + getProgress() + " / " + getMax() //
+				+ (children.isEmpty() ? ""
+						: " (with " + children.size() + " children)") //
+		;
+	}
 }
-- 
2.27.0