java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java
branchv_0
changeset 106 e9c3583580c8
parent 105 39d8b427e20f
child 107 8189a4a28cd8
--- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Tue Dec 31 18:11:50 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Wed Jan 01 01:06:38 2014 +0100
@@ -88,4 +88,22 @@
 		Collections.copy(clone, this);
 		return clone;
 	}
+
+	/**
+	 * @return merged this and backing defaults as Java Properties
+	 */
+	public java.util.Properties getJavaProperties() {
+		java.util.Properties javaProperties = new java.util.Properties();
+		if (defaults != null) {
+			duplicateTo(javaProperties);
+		}
+		duplicateTo(javaProperties);
+		return javaProperties;
+	}
+
+	private void duplicateTo(java.util.Properties javaProperties) {
+		for (Property p : this) {
+			javaProperties.setProperty(p.getName(), p.getValue());
+		}
+	}
 }