Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(69)

Unified Diff: test/backend/platform_selector/parser_test.dart

Issue 1717483002: Make PlatformSelector use boolean_selector. (Closed) Base URL: git@github.com:dart-lang/test@master
Patch Set: Code review changes Created 4 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « test/backend/platform_selector/evaluate_test.dart ('k') | test/backend/platform_selector/scanner_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/backend/platform_selector/parser_test.dart
diff --git a/test/backend/platform_selector/parser_test.dart b/test/backend/platform_selector/parser_test.dart
deleted file mode 100644
index 04f356c6e631d07caded9806417c525e7e149f53..0000000000000000000000000000000000000000
--- a/test/backend/platform_selector/parser_test.dart
+++ /dev/null
@@ -1,266 +0,0 @@
-// Copyright (c) 2015, 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.
-
-import 'package:test/test.dart';
-import 'package:test/src/backend/platform_selector/ast.dart';
-import 'package:test/src/backend/platform_selector/parser.dart';
-
-/// A matcher that asserts that a value is a [ConditionalNode].
-Matcher _isConditionalNode = new isInstanceOf<ConditionalNode>();
-
-/// A matcher that asserts that a value is an [OrNode].
-Matcher _isOrNode = new isInstanceOf<OrNode>();
-
-/// A matcher that asserts that a value is an [AndNode].
-Matcher _isAndNode = new isInstanceOf<AndNode>();
-
-/// A matcher that asserts that a value is a [NotNode].
-Matcher _isNotNode = new isInstanceOf<NotNode>();
-
-void main() {
- group("parses a conditional expression", () {
- test("with identifiers", () {
- var node = _parse(" a ? b : c ");
- expect(node.toString(), equals("a ? b : c"));
-
- expect(node.span.text, equals("a ? b : c"));
- expect(node.span.start.offset, equals(2));
- expect(node.span.end.offset, equals(11));
- });
-
- test("with nested ors", () {
- // Should parse as "(a || b) ? (c || d) : (e || f)".
- // Should not parse as "a || (b ? (c || d) : (e || f))".
- // Should not parse as "((a || b) ? (c || d) : e) || f".
- // Should not parse as "a || (b ? (c || d) : e) || f".
- _expectToString("a || b ? c || d : e || f",
- "a || b ? c || d : e || f");
- });
-
- test("with a conditional expression as branch 1", () {
- // Should parse as "a ? (b ? c : d) : e".
- var node = _parse("a ? b ? c : d : e");
- expect(node, _isConditionalNode);
- expect(node.condition, _isVar("a"));
- expect(node.whenFalse, _isVar("e"));
-
- expect(node.whenTrue, _isConditionalNode);
- expect(node.whenTrue.condition, _isVar("b"));
- expect(node.whenTrue.whenTrue, _isVar("c"));
- expect(node.whenTrue.whenFalse, _isVar("d"));
- });
-
- test("with a conditional expression as branch 2", () {
- // Should parse as "a ? b : (c ? d : e)".
- // Should not parse as "(a ? b : c) ? d : e".
- var node = _parse("a ? b : c ? d : e");
- expect(node, _isConditionalNode);
- expect(node.condition, _isVar("a"));
- expect(node.whenTrue, _isVar("b"));
-
- expect(node.whenFalse, _isConditionalNode);
- expect(node.whenFalse.condition, _isVar("c"));
- expect(node.whenFalse.whenTrue, _isVar("d"));
- expect(node.whenFalse.whenFalse, _isVar("e"));
- });
-
- group("which must have", () {
- test("an expression after the ?", () {
- expect(() => _parse("a ?"), throwsFormatException);
- expect(() => _parse("a ? && b"), throwsFormatException);
- });
-
- test("a :", () {
- expect(() => _parse("a ? b"), throwsFormatException);
- expect(() => _parse("a ? b && c"), throwsFormatException);
- });
-
- test("an expression after the :", () {
- expect(() => _parse("a ? b :"), throwsFormatException);
- expect(() => _parse("a ? b : && c"), throwsFormatException);
- });
- });
- });
-
- group("parses an or expression", () {
- test("with identifiers", () {
- var node = _parse(" a || b ");
- expect(node, _isOrNode);
- expect(node.left, _isVar("a"));
- expect(node.right, _isVar("b"));
-
- expect(node.span.text, equals("a || b"));
- expect(node.span.start.offset, equals(2));
- expect(node.span.end.offset, equals(8));
- });
-
- test("with nested ands", () {
- // Should parse as "(a && b) || (c && d)".
- // Should not parse as "a && (b || c) && d".
- var node = _parse("a && b || c && d");
- expect(node, _isOrNode);
-
- expect(node.left, _isAndNode);
- expect(node.left.left, _isVar("a"));
- expect(node.left.right, _isVar("b"));
-
- expect(node.right, _isAndNode);
- expect(node.right.left, _isVar("c"));
- expect(node.right.right, _isVar("d"));
- });
-
- test("with trailing ors", () {
- // Should parse as "a || (b || (c || d))", although it doesn't affect the
- // semantics.
- var node = _parse("a || b || c || d");
-
- for (var variable in ["a", "b", "c"]) {
- expect(node, _isOrNode);
- expect(node.left, _isVar(variable));
- node = node.right;
- }
- expect(node, _isVar("d"));
- });
-
- test("which must have an expression after the ||", () {
- expect(() => _parse("a ||"), throwsFormatException);
- expect(() => _parse("a || && b"), throwsFormatException);
- });
- });
-
- group("parses an and expression", () {
- test("with identifiers", () {
- var node = _parse(" a && b ");
- expect(node, _isAndNode);
- expect(node.left, _isVar("a"));
- expect(node.right, _isVar("b"));
-
- expect(node.span.text, equals("a && b"));
- expect(node.span.start.offset, equals(2));
- expect(node.span.end.offset, equals(8));
- });
-
- test("with nested nots", () {
- // Should parse as "(!a) && (!b)", obviously.
- // Should not parse as "!(a && (!b))".
- var node = _parse("!a && !b");
- expect(node, _isAndNode);
-
- expect(node.left, _isNotNode);
- expect(node.left.child, _isVar("a"));
-
- expect(node.right, _isNotNode);
- expect(node.right.child, _isVar("b"));
- });
-
- test("with trailing ands", () {
- // Should parse as "a && (b && (c && d))", although it doesn't affect the
- // semantics since .
- var node = _parse("a && b && c && d");
-
- for (var variable in ["a", "b", "c"]) {
- expect(node, _isAndNode);
- expect(node.left, _isVar(variable));
- node = node.right;
- }
- expect(node, _isVar("d"));
- });
-
- test("which must have an expression after the &&", () {
- expect(() => _parse("a &&"), throwsFormatException);
- expect(() => _parse("a && && b"), throwsFormatException);
- });
- });
-
- group("parses a not expression", () {
- test("with an identifier", () {
- var node = _parse(" ! a ");
- expect(node, _isNotNode);
- expect(node.child, _isVar("a"));
-
- expect(node.span.text, equals("! a"));
- expect(node.span.start.offset, equals(2));
- expect(node.span.end.offset, equals(5));
- });
-
- test("with a parenthesized expression", () {
- var node = _parse("!(a || b)");
- expect(node, _isNotNode);
-
- expect(node.child, _isOrNode);
- expect(node.child.left, _isVar("a"));
- expect(node.child.right, _isVar("b"));
- });
-
- test("with a nested not", () {
- var node = _parse("!!a");
- expect(node, _isNotNode);
- expect(node.child, _isNotNode);
- expect(node.child.child, _isVar("a"));
- });
-
- test("which must have an expression after the !", () {
- expect(() => _parse("!"), throwsFormatException);
- expect(() => _parse("! && a"), throwsFormatException);
- });
- });
-
- group("parses a parenthesized expression", () {
- test("with an identifier", () {
- var node = _parse("(a)");
- expect(node, _isVar("a"));
- });
-
- test("controls precedence", () {
- // Without parentheses, this would parse as "(a || b) ? c : d".
- var node = _parse("a || (b ? c : d)");
-
- expect(node, _isOrNode);
- expect(node.left, _isVar("a"));
-
- expect(node.right, _isConditionalNode);
- expect(node.right.condition, _isVar("b"));
- expect(node.right.whenTrue, _isVar("c"));
- expect(node.right.whenFalse, _isVar("d"));
- });
-
- group("which must have", () {
- test("an expression within the ()", () {
- expect(() => _parse("()"), throwsFormatException);
- expect(() => _parse("( && a )"), throwsFormatException);
- });
-
- test("a matching )", () {
- expect(() => _parse("( a"), throwsFormatException);
- });
- });
- });
-
- group("disallows", () {
- test("an empty selector", () {
- expect(() => _parse(""), throwsFormatException);
- });
-
- test("too many expressions", () {
- expect(() => _parse("a b"), throwsFormatException);
- });
- });
-}
-
-/// Parses [selector] and returns its root node.
-Node _parse(String selector) => new Parser(selector).parse();
-
-/// A matcher that asserts that a value is a [VariableNode] with the given
-/// [name].
-Matcher _isVar(String name) => predicate(
- (value) => value is VariableNode && value.name == name,
- 'is a variable named "$name"');
-
-void _expectToString(String selector, [String result]) {
- if (result == null) result = selector;
- expect(_toString(selector), equals(result),
- reason: 'Expected toString of "$selector" to be "$result".');
-}
-
-String _toString(String selector) => new Parser(selector).parse().toString();
« no previous file with comments | « test/backend/platform_selector/evaluate_test.dart ('k') | test/backend/platform_selector/scanner_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698