Sanity check for #148.

khatchad · khatchad · commit c87054ec5826 · 2018-01-03T22:07:47.000-05:00
diff --git a/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java b/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java
@@ -1186,6 +1186,10 @@ private void fillInstanceToStreamMap(Set<Stream> streamSet, EclipseProjectAnalys
 			}
 			instanceToStreamMap.put(instanceKey, stream);
 		} // end each stream.
+
+		// sanity check since it's a bijection.
+		if (instanceToStreamMap.size() != streamSet.size())
+			throw new IllegalArgumentException("Stream set does not produce a bijection of instance keys.");
 	}
 
 	public Collection<InstanceKey> getTrackedInstances() {

Original file line number	Diff line number	Diff line change
`@@ -1186,6 +1186,10 @@ private void fillInstanceToStreamMap(Set<Stream> streamSet, EclipseProjectAnalys`
`1186`	`1186`	`}`
`1187`	`1187`	`instanceToStreamMap.put(instanceKey, stream);`
`1188`	`1188`	`} // end each stream.`
	`1189`	`+`
	`1190`	`+ // sanity check since it's a bijection.`
	`1191`	`+ if (instanceToStreamMap.size() != streamSet.size())`
	`1192`	`+ throw new IllegalArgumentException("Stream set does not produce a bijection of instance keys.");`
`1189`	`1193`	`}`
`1190`	`1194`
`1191`	`1195`	`public Collection<InstanceKey> getTrackedInstances() {`