Output typestate result statistics.

Author: khatchad

edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java

@@ -962,6 +962,9 @@ public void start(Set<Stream> streamSet, EclipseProjectAnalysisEngine<InstanceKe
 				throw new RuntimeException("Exception caught during typestate analysis.", e);
 			}
 
+			// typestate statistics.
+			outputTypeStateStatistics(result);
+
 			// for each instance in the typestate analysis result.
 			for (Iterator<InstanceKey> iterator = result.iterateInstances(); iterator.hasNext();) {
 				// get the instance's key.
@@ -1221,4 +1224,10 @@ public void start(Set<Stream> streamSet, EclipseProjectAnalysisEngine<InstanceKe
 			}
 		}
 	}
+
+	private static void outputTypeStateStatistics(AggregateSolverResult result) {
+		LOGGER.info("Total instances: " + result.totalInstancesNum());
+		LOGGER.info("Processed instances: " + result.processedInstancesNum());
+		LOGGER.info("Skipped instances: " + result.skippedInstances());
+	}
 }