Added "Verifying Your Code" Chapter

Bruce Eckel · Bruce Eckel · commit 003be8a5972d · 2016-08-09T13:34:35.000-06:00
Incorporated/Removed associated appendices
diff --git a/unittesting/build.gradle b/unittesting/build.gradle
diff --git a/verifying/Assert1.java b/verifying/Assert1.java
@@ -1,4 +1,4 @@
-// assertions/Assert1.java
+// verifying/Assert1.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/Assert2.java b/verifying/Assert2.java
@@ -1,4 +1,4 @@
-// assertions/Assert2.java
+// verifying/Assert2.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/ConfigureLogging.java b/verifying/ConfigureLogging.java
@@ -1,4 +1,4 @@
-// logging/ConfigureLogging.java
+// verifying/ConfigureLogging.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/CustomHandler.java b/verifying/CustomHandler.java
@@ -1,4 +1,4 @@
-// logging/CustomHandler.java
+// verifying/CustomHandler.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/InfoLogging.java b/verifying/InfoLogging.java
@@ -1,4 +1,4 @@
-// logging/InfoLogging.java
+// verifying/InfoLogging.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/InfoLogging2.java b/verifying/InfoLogging2.java
@@ -1,4 +1,4 @@
-// logging/InfoLogging2.java
+// verifying/InfoLogging2.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/JUnitDemo.java b/verifying/JUnitDemo.java
@@ -1,9 +1,8 @@
-// unittesting/JUnitDemo.java
+// verifying/JUnitDemo.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
 // Simple use of JUnit to test ArrayList
-// (Install libraries from junit.org)
 import java.util.*;
 import org.junit.Test;
 import static org.junit.Assert.assertEquals;
diff --git a/verifying/LoaderAssertions.java b/verifying/LoaderAssertions.java
@@ -1,4 +1,4 @@
-// assertions/LoaderAssertions.java
+// verifying/LoaderAssertions.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/LogToFile.java b/verifying/LogToFile.java
@@ -1,4 +1,4 @@
-// logging/LogToFile.java
+// verifying/LogToFile.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/LogToFile2.java b/verifying/LogToFile2.java
@@ -1,4 +1,4 @@
-// logging/LogToFile2.java
+// verifying/LogToFile2.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/LoggingLevelManipulation.java b/verifying/LoggingLevelManipulation.java
@@ -1,4 +1,4 @@
-// logging/LoggingLevelManipulation.java
+// verifying/LoggingLevelManipulation.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/LoggingLevels.java b/verifying/LoggingLevels.java
@@ -1,4 +1,4 @@
-// logging/LoggingLevels.java
+// verifying/LoggingLevels.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/MultipleHandlers.java b/verifying/MultipleHandlers.java
@@ -1,4 +1,4 @@
-// logging/MultipleHandlers.java
+// verifying/MultipleHandlers.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/MultipleHandlers2.java b/verifying/MultipleHandlers2.java
@@ -1,4 +1,4 @@
-// logging/MultipleHandlers2.java
+// verifying/MultipleHandlers2.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/PrintableLogRecord.java b/verifying/PrintableLogRecord.java
@@ -1,4 +1,4 @@
-// logging/PrintableLogRecord.java
+// verifying/PrintableLogRecord.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/Queue.java b/verifying/Queue.java
@@ -1,10 +1,9 @@
-// assertions/Queue.java
+// verifying/Queue.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
 // Demonstration of Design by Contract (DbC)
 // combined with white-box unit testing
-// (Install libraries from www.junit.org)
 import java.util.*;
 import org.junit.Test;
 import static org.junit.Assert.assertEquals;
diff --git a/verifying/SimpleDebugging.java b/verifying/SimpleDebugging.java
@@ -1,4 +1,4 @@
-// debugging/SimpleDebugging.java
+// verifying/SimpleDebugging.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/SimpleFilter.java b/verifying/SimpleFilter.java
@@ -1,4 +1,4 @@
-// logging/SimpleFilter.java
+// verifying/SimpleFilter.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/SimpleFormatterExample.java b/verifying/SimpleFormatterExample.java
@@ -1,4 +1,4 @@
-// logging/SimpleFormatterExample.java
+// verifying/SimpleFormatterExample.java
 // (c)2016 MindView LLC: see Copyright.txt
 // We make no guarantees that this code is fit for any purpose.
 // Visit http://mindviewinc.com/Books/OnJava/ for more book information.
diff --git a/verifying/build.gradle b/verifying/build.gradle
diff --git a/verifying/log.prop b/verifying/log.prop
@@ -1,4 +1,4 @@
-// logging/log.prop
+// verifying/log.prop
 #### Configuration File ####
 # Global Params
 # Handlers installed for the root logger

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// assertions/Assert1.java`
	`1`	`+// verifying/Assert1.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// assertions/Assert2.java`
	`1`	`+// verifying/Assert2.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// logging/ConfigureLogging.java`
	`1`	`+// verifying/ConfigureLogging.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// logging/CustomHandler.java`
	`1`	`+// verifying/CustomHandler.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// logging/InfoLogging.java`
	`1`	`+// verifying/InfoLogging.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// logging/InfoLogging2.java`
	`1`	`+// verifying/InfoLogging2.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// assertions/LoaderAssertions.java`
	`1`	`+// verifying/LoaderAssertions.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// logging/LogToFile.java`
	`1`	`+// verifying/LogToFile.java`
`2`	`2`	`// (c)2016 MindView LLC: see Copyright.txt`
`3`	`3`	`// We make no guarantees that this code is fit for any purpose.`
`4`	`4`	`// Visit http://mindviewinc.com/Books/OnJava/ for more book information.`