validation fixes

BruceEckel · BruceEckel · commit 316783cdcdac · 2015-05-30T19:07:15.000-07:00
diff --git a/concurrency/AtomicIntegerTest.java b/concurrency/AtomicIntegerTest.java
@@ -17,11 +17,12 @@ public static void main(String[] args) {
     new Timer().schedule(new TimerTask() {
       @Override
       public void run() {
-        System.err.println("Aborting");
+        System.out.println("Aborting");
         System.exit(0);
       }
     }, 5000); // Terminate after 5 seconds
-    ExecutorService exec = Executors.newCachedThreadPool();
+    ExecutorService exec = 
+      Executors.newCachedThreadPool();
     AtomicIntegerTest ait = new AtomicIntegerTest();
     exec.execute(ait);
     while(true) {
diff --git a/concurrency/ExceptionThread.java b/concurrency/ExceptionThread.java
@@ -1,6 +1,6 @@
 //: concurrency/ExceptionThread.java
 // �2015 MindView LLC: see Copyright.txt
-// {RunByHand}
+// {ValidateByHand}
 // {ThrowsException}
 import java.util.concurrent.*;
 
diff --git a/concurrency/ExplicitCriticalSection.java b/concurrency/ExplicitCriticalSection.java
@@ -1,7 +1,8 @@
 //: concurrency/ExplicitCriticalSection.java
 // �2015 MindView LLC: see Copyright.txt
 // {ThrowsException} on a multiprocessor machine
-// Using explicit Lock objects to create critical sections.
+// Using explicit Lock objects to create
+// critical sections.
 package concurrency;
 import java.util.concurrent.locks.*;
 
@@ -40,7 +41,8 @@ public void increment() {
 }
 
 public class ExplicitCriticalSection {
-  public static void main(String[] args) throws Exception {
+  public static void
+  main(String[] args) throws Exception {
     PairManager
       pman1 = new ExplicitPairManager1(),
       pman2 = new ExplicitPairManager2();
diff --git a/concurrency/build.xml b/concurrency/build.xml
@@ -44,6 +44,7 @@
     <jrun cls="MoreBasicThreads" />
     <jrun cls="MultiLock" />
     <jrun cls="MutexEvenGenerator" failOnError='false' timeOut='4000' msg='* Timeout for Testing *' />
+    <jrun cls="NaiveExceptionHandling" failOnError='false' msg='* Exception was Expected *' />
     <jrun cls="NIOInterruption" />
     <jrun cls="NotifyVsNotifyAll" />
     <jrun cls="OrnamentalGarden" />
diff --git a/exceptions/DynamicFields.java b/exceptions/DynamicFields.java
@@ -1,6 +1,5 @@
 //: exceptions/DynamicFields.java
 // �2015 MindView LLC: see Copyright.txt
-// {ThrowsException}
 // A Class that dynamically adds fields to itself.
 // Demonstrates exception chaining.
 import static net.mindview.util.Print.*;
@@ -94,7 +93,7 @@ public static void main(String[] args) {
       print("df: " + df);
       print("df.getField(\"d\") : " + df.getField("d"));
       Object field = df.setField("d", null); // Exception
-    } catch(NoSuchFieldException | 
+    } catch(NoSuchFieldException |
             DynamicFieldsException e) {
       e.printStackTrace(System.out);
     }
diff --git a/exceptions/build.xml b/exceptions/build.xml
@@ -10,7 +10,7 @@
     <jrun cls="AlwaysFinally" />
     <jrun cls="Cleanup" />
     <jrun cls="CleanupIdiom" />
-    <jrun cls="DynamicFields" failOnError='false' msg='* Exception was Expected *' />
+    <jrun cls="DynamicFields" />
     <jrun cls="ExceptionMethods" />
     <jrun cls="ExceptionSilencer" />
     <jrun cls="ExtraFeatures" />
diff --git a/io/FormattedMemoryInput.java b/io/FormattedMemoryInput.java
@@ -13,7 +13,7 @@ public static void main(String[] args)
       while(true)
         System.out.write((char)in.readByte());
     } catch(EOFException e) {
-      System.err.println("End of stream");
+      System.out.println("End of stream");
     }
   }
 } /* (Execute to see output) *///:~
diff --git a/network/ChatterServer.java b/network/ChatterServer.java
@@ -38,7 +38,7 @@ public ChatterServer() {
       System.err.println("Can't open socket");
       System.exit(1);
     } catch(IOException e) {
-      System.err.println("Communication error");
+      System.out.println("Communication error");
       e.printStackTrace();
     }
   }
diff --git a/network/SimpleClient.java b/network/SimpleClient.java
@@ -3,7 +3,7 @@
 // Very simple client that just sends
 // lines to the server and reads lines
 // that the server sends.
-// {RunByHand}
+// {ValidateByHand}
 import java.net.*;
 import java.io.*;
 
diff --git a/references/CheckCloneable.java b/references/CheckCloneable.java
@@ -66,7 +66,7 @@ Ordinary tryToClone(Ordinary ord) {
         x= (Ordinary)((IsCloneable)ord).clone();
         System.out.println("Cloned " + id);
       } catch(CloneNotSupportedException e) {
-        System.err.println(
+        System.out.println(
           "Could not clone " + id);
       }
     } else {
diff --git a/remote/ptime/DisplayPerfectTime.java b/remote/ptime/DisplayPerfectTime.java
@@ -1,7 +1,7 @@
 //: remote/ptime/DisplayPerfectTime.java
 // �2015 MindView LLC: see Copyright.txt
 // Uses remote object PerfectTime
-// {RunByHand}
+// {ValidateByHand}
 package remote.ptime;
 import java.net.MalformedURLException;
 import java.rmi.*;
diff --git a/remote/ptime/PerfectTime.java b/remote/ptime/PerfectTime.java
@@ -2,7 +2,7 @@
 // �2015 MindView LLC: see Copyright.txt
 // The implementation of the PerfectTime
 // remote object.
-// {RunByHand}
+// {ValidateByHand}
 package remote.ptime;
 import java.rmi.*;
 import java.rmi.server.*;
diff --git a/run.bat b/run.bat
@@ -1,2 +1,3 @@
 python ..\Validate.py -p
 powershell .\runall.ps1
+python ..\Validate.py -e
diff --git a/staticchecking/latent/Latent.java b/staticchecking/latent/Latent.java
@@ -31,13 +31,13 @@ public static void speak(Object speaker) {
        spkr.getMethod("talk", (Class[])null);
      talk.invoke(speaker, new Object[]{});
     } catch(NoSuchMethodException e) {
-     System.err.println(
+     System.out.println(
        speaker + " cannot talk");
     } catch(IllegalAccessException e) {
-     System.err.println(
+     System.out.println(
        speaker + " IllegalAccessException");
     } catch(InvocationTargetException e) {
-     System.err.println(
+     System.out.println(
        speaker + " InvocationTargetException");
     }
   }
diff --git a/strings/TestRegularExpression.java b/strings/TestRegularExpression.java
@@ -1,7 +1,7 @@
 //: strings/TestRegularExpression.java
 // �2015 MindView LLC: see Copyright.txt
 // Easily try out regular expressions.
-// {Args: abcabcabcdefabc 'abc+' '(abc)+' '(abc){2,}' }
+// {Args: abcabcabcdefabc "abc+" "(abc)+" "(abc){2,}" }
 import java.util.regex.*;
 import static net.mindview.util.Print.*;
 
diff --git a/strings/build.xml b/strings/build.xml
@@ -15,7 +15,6 @@
     <jrun cls="Finding" />
     <jrun cls="Groups" />
     <jrun cls="Immutable" />
-    <jrun cls="InfiniteRecursion" failOnError='false' msg='* Exception was Expected *' />
     <jrun cls="IntegerMatch" />
     <jrun cls="JGrep" arguments="JGrep.java '\\b[Ssct]\\w+'" />
     <jrun cls="Receipt" />
@@ -30,7 +29,7 @@
     <jrun cls="SplitDemo" />
     <jrun cls="Splitting" />
     <jrun cls="StartEnd" />
-    <jrun cls="TestRegularExpression" arguments="abcabcabcdefabc 'abc+' '(abc)+' '(abc){2,}' " />
+    <jrun cls="TestRegularExpression" arguments='abcabcabcdefabc "abc+" "(abc)+" "(abc){2,}" ' />
     <jrun cls="TheReplacements" />
     <jrun cls="ThreatAnalyzer" />
     <jrun cls="Turtle" />

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ public static void main(String[] args)`
`13`	`13`	`while(true)`
`14`	`14`	`System.out.write((char)in.readByte());`
`15`	`15`	`} catch(EOFException e) {`
`16`		`- System.err.println("End of stream");`
	`16`	`+ System.out.println("End of stream");`
`17`	`17`	`}`
`18`	`18`	`}`
`19`	`19`	`} /* (Execute to see output) *///:~`
Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ public ChatterServer() {`
`38`	`38`	`System.err.println("Can't open socket");`
`39`	`39`	`System.exit(1);`
`40`	`40`	`} catch(IOException e) {`
`41`		`- System.err.println("Communication error");`
	`41`	`+ System.out.println("Communication error");`
`42`	`42`	`e.printStackTrace();`
`43`	`43`	`}`
`44`	`44`	`}`
Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ Ordinary tryToClone(Ordinary ord) {`
`66`	`66`	`x= (Ordinary)((IsCloneable)ord).clone();`
`67`	`67`	`System.out.println("Cloned " + id);`
`68`	`68`	`} catch(CloneNotSupportedException e) {`
`69`		`- System.err.println(`
	`69`	`+ System.out.println(`
`70`	`70`	`"Could not clone " + id);`
`71`	`71`	`}`
`72`	`72`	`} else {`