From: <kp...@us...> - 2008-07-31 09:55:42
|
Revision: 13125 http://jedit.svn.sourceforge.net/jedit/?rev=13125&view=rev Author: kpouer Date: 2008-07-31 09:55:38 +0000 (Thu, 31 Jul 2008) Log Message: ----------- I don't know why but foreach do not work like iterators causing exceptions here Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/buffer/PositionManager.java Modified: jEdit/trunk/org/gjt/sp/jedit/buffer/PositionManager.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/buffer/PositionManager.java 2008-07-30 10:32:49 UTC (rev 13124) +++ jEdit/trunk/org/gjt/sp/jedit/buffer/PositionManager.java 2008-07-31 09:55:38 UTC (rev 13125) @@ -65,14 +65,13 @@ return; /* get all positions from offset to the end, inclusive */ - Set<PosBottomHalf> bottomHalfs = positions.tailMap(new PosBottomHalf(offset)) - .keySet(); - Iterator<PosBottomHalf> iter = bottomHalfs.iterator(); + Iterator<PosBottomHalf> iter = positions.tailMap(new PosBottomHalf(offset)) + .keySet().iterator(); iteration = true; - for (PosBottomHalf bottomHalf : bottomHalfs) + while(iter.hasNext()) { - bottomHalf.contentInserted(offset, length); + iter.next().contentInserted(offset,length); } iteration = false; } //}}} @@ -84,13 +83,13 @@ return; /* get all positions from offset to the end, inclusive */ - Set<PosBottomHalf> bottomHalfs = positions.tailMap(new PosBottomHalf(offset)) - .keySet(); + Iterator<PosBottomHalf> iter = positions.tailMap(new PosBottomHalf(offset)) + .keySet().iterator(); iteration = true; - for (PosBottomHalf bottomHalf : bottomHalfs) + while(iter.hasNext()) { - bottomHalf.contentRemoved(offset,length); + iter.next().contentRemoved(offset,length); } iteration = false; @@ -108,7 +107,7 @@ //{{{ PosTopHalf class class PosTopHalf implements Position { - private final PosBottomHalf bh; + final PosBottomHalf bh; //{{{ PosTopHalf constructor PosTopHalf(PosBottomHalf bh) This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |