| // 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>); |
| Expect.runtimeIsType<Map<String, int>>(<String, int>{"": 1}); |
| Expect.runtimeIsType<Map<String, String>>(<String, String>{"": "string"}); |
| Expect.runtimeIsType<Map<String, bool>>(<String, bool>{"": true}); |
| Expect.runtimeIsType<Map<String, C>>(<String, C>{"": new C()}); |
| } |