diff options
author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-08-31 11:27:46 +0000 |
---|---|---|
committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-08-31 11:27:46 +0000 |
commit | 8b0de323fd94264f2a9c0883e3127986baf8766b (patch) | |
tree | 9006bd80205f17b187d2bbe22c713b8fb1844d5d /src/library | |
parent | 64fab04e4ba442f547fd0f23d5811226462786e5 (diff) | |
download | scala-8b0de323fd94264f2a9c0883e3127986baf8766b.tar.gz scala-8b0de323fd94264f2a9c0883e3127986baf8766b.tar.bz2 scala-8b0de323fd94264f2a9c0883e3127986baf8766b.zip |
Fix for #3684. No review
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/collection/mutable/ArrayBuilder.scala | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/library/scala/collection/mutable/ArrayBuilder.scala b/src/library/scala/collection/mutable/ArrayBuilder.scala index cab7a4bd7f..ec1351f671 100644 --- a/src/library/scala/collection/mutable/ArrayBuilder.scala +++ b/src/library/scala/collection/mutable/ArrayBuilder.scala @@ -63,7 +63,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -127,7 +127,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -191,7 +191,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -255,7 +255,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -319,7 +319,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -383,7 +383,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -447,7 +447,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -511,7 +511,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -575,7 +575,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) @@ -639,7 +639,7 @@ object ArrayBuilder { } private def ensureSize(size: Int) { - if (capacity < size) { + if (capacity < size || capacity == 0) { var newsize = if (capacity == 0) 16 else capacity * 2 while (newsize < size) newsize *= 2 resize(newsize) |