# HG changeset patch
# User kono
# Date 1224120436 -32400
# Node ID b8efd57faf78a5f04f115f0df0c6aa60c8eede87
# Parent  59ef23ee73ada5d30413c59ea10aef45616444c7
*** empty log message ***

diff -r 59ef23ee73ad -r b8efd57faf78 rep/channel/SelectorSimulator.java
--- a/rep/channel/SelectorSimulator.java	Thu Oct 16 10:19:18 2008 +0900
+++ b/rep/channel/SelectorSimulator.java	Thu Oct 16 10:27:16 2008 +0900
@@ -111,26 +111,23 @@
 	public Set<SelectionKey> keys() {
 		Set<SelectionKey> newKeys = new HashSet<SelectionKey>();
 		for(SelectionKey k: keyList.values()) {
-			// REPSelectionKeyを生成しないように注意
 			newKeys.add(k);
 		}
 		return newKeys;
 	}
 	
 	public Set<REPSelectionKey<P>> keys1() {
-		// we cannot solve cast, we need the same method again with different
-		// types
+		// we cannot solve cast, we need the same method again with different types
 		Set<REPSelectionKey<P>> newKeys = new HashSet<REPSelectionKey<P>>();
 		for(SelectionKeySimulator<P> k: keyList.values()) {
-			// REPSelectionKeyを生成しないように注意
-			newKeys.add(k); //new SelectionKeySimulator<P>(k));
+			newKeys.add(k);
 		}
 		return newKeys;
 	}
 
 	@Override
 	public SelectorProvider provider() {
-		// TODO Auto-generated method stub
+		// should return NetworkSimulator?
 		return null;
 	}
 
@@ -145,20 +142,19 @@
 	public Set<REPSelectionKey<P>> selectedKeys1() {
 		Set<REPSelectionKey<P>> newKeys = new HashSet<REPSelectionKey<P>>();
 		for(SelectionKeySimulator<P> k: selectedKeys) {
-			// REPSelectionKeyを生成しないように注意
-			//newKeys.add(new SelectionKeySimulator<P>(k));
 			newKeys.add(k);
 		}
 		return newKeys;
 	}
 	
+	/*
+	 * type safe copy of selectedKeys1()
+	 */
 	@Override
 	public Set<SelectionKey> selectedKeys() {
-		Set<SelectionKeySimulator<P>> keys = selectedKeys;
 		Set<SelectionKey> newKeys = new HashSet<SelectionKey>();
-		for(SelectionKeySimulator<P> k: keys) {
-			// REPSelectionKeyを生成しないように注意
-			newKeys.add(k); // new SelectionKeySimulator<P>(k));
+		for(SelectionKeySimulator<P> k: selectedKeys) {
+			newKeys.add(k);
 		}
 		return newKeys;
 	}