| // Copyright (c) 2022, 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 objectPattern ::= typeName typeArguments? '(' patternFields? ')' |
| /// ... |
| /// It is a compile-time error if: |
| /// |
| /// `typeNam`e does not refer to a type. |
| /// |
| /// A type argument list is present and does not match the arity of the type of |
| /// `typeName`. |
| /// |
| /// A `patternField` is of the form `pattern`. Positional fields aren't allowed. |
| /// |
| /// Any two named fields have the same name. This applies to both explicit and |
| /// inferred field names. |
| /// |
| /// It is a compile-time error if a name cannot be inferred for a named getter |
| /// pattern with the getter name omitted (see name inference below). |
| /// |
| /// @description Checks that it is a compile-time error if a `patternField` is |
| /// of the form `pattern`. Test an if-case statement |
| /// @author sgrekhov22@gmail.com |
| |
| import "patterns_lib.dart"; |
| |
| String test(Shape shape) { |
| if (shape case Rectangle(> 3 || 2)) return "logical-or"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle<Meter>( > 3 || 2)) return "logical-or-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle( > 0 && < 10)) return "logical-and"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle( > 5)) return "relational"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Circle(var c1 as num)) return "cast"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Circle(final c2 as num)) return "cast-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Circle(var a1?)) return "null-check"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Circle(var a2?)) return "null-check-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Circle(var b1!)) return "null-assert"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Square(1)) return "constant"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle(int s1)) return "variable-1"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle(var s2)) return "variable-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle(final int s3)) return "variable-3"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle(final s4)) return "variable-4"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Square((var x))) return "parenthesized"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle([var l1])) return "list"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle([5])) return "list-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle({"area": var m1})) return "map"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle({"area": 3})) return "map-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle((area: var x1))) return "record"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Rectangle((area: 1))) return "record-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Square(Unit(value: 3))) return "object-1"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| if (shape case Square(Unit(value: var o1))) return "object-2"; |
| // ^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| return "default"; |
| } |
| |
| main() { |
| test(Shape()); |
| } |