| 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();
|
|
|