| // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /// @assertion void add(T value) |
| /// Adds [value] into the set. The method has no effect if [value] was already in |
| /// the set. |
| /// @description Checks that the value is added to the set if it doesn't already |
| /// contain an equal one. |
| /// @author pagolubev |
| |
| library add_A01_t01; |
| import "set.lib.dart"; |
| import "../../../Utils/expect.dart"; |
| |
| test(Set create([Set content])) { |
| Set s = create(); |
| |
| int firstValue = 27; |
| int numValues = 19; |
| for(int i = firstValue; i < firstValue + numValues; i++) { |
| s.add(i); |
| int expectedSize = i - firstValue + 1; |
| Expect.isTrue(s.contains(i)); |
| Expect.isTrue(s.length == expectedSize); |
| |
| s.add(i); |
| Expect.isTrue(s.length == expectedSize); |
| Expect.isTrue(s.contains(i)); |
| } |
| } |
| |
| main() { |
| test(create); |
| } |