| // 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 A runtime map literal <K, V>{k1: e1...kn: en} is evaluated as |
| * follows: |
| * • First, the expression ki is evaluated yielding object ui, the ei is |
| * evaluated yielding object oi, for i ∈ 1..n in left to right order, yielding |
| * objects u1; o1 ... un; on. |
| * • A fresh instance m whose class implements the built-in class Map<K, V> is |
| * allocated. |
| * • The operator []= is invoked on m with first argument ui and second argument |
| * oi, i ∈ 1..n. |
| * • The result of the evaluation is m. |
| * @description Checks that the result of a runtime map literal |
| * <String, V>{k1:e1... kn :en} is an object that implements interface |
| * Map<String, V>. |
| * @author msyabro |
| */ |
| import '../../../Utils/expect.dart'; |
| |
| class C {} |
| |
| main() { |
| Expect.isTrue(<String, int>{"": 1} is Map<String, int>); |
| Expect.isTrue(<String, String>{"": "string"} is Map<String, String>); |
| Expect.isTrue(<String, bool>{"": true} is Map<String, bool>); |
| Expect.isTrue(<String, C>{"": new C()} is Map<String, C>); |
| } |