| Index: lib/src/backend/platform_selector/ast.dart
|
| diff --git a/lib/src/backend/platform_selector/ast.dart b/lib/src/backend/platform_selector/ast.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d1eb0aac16f50b30f33a9256e171cb48dd405313
|
| --- /dev/null
|
| +++ b/lib/src/backend/platform_selector/ast.dart
|
| @@ -0,0 +1,124 @@
|
| +// 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.
|
| +
|
| +library unittest.backend.platform_selector.ast;
|
| +
|
| +import 'package:source_span/source_span.dart';
|
| +
|
| +/// The superclass of nodes in the platform selector abstract syntax tree.
|
| +abstract class Node {
|
| + /// The span indicating where this node came from.
|
| + ///
|
| + /// This is a [FileSpan] because the nodes are parsed from a single continuous
|
| + /// string, but the string itself isn't actually a file. It might come from a
|
| + /// statically-parsed annotation or from a parameter.
|
| + ///
|
| + /// This may be `null` for nodes without source information.
|
| + FileSpan get span;
|
| +}
|
| +
|
| +/// A single variable.
|
| +class VariableNode implements Node {
|
| + final FileSpan span;
|
| +
|
| + /// The variable name.
|
| + final String name;
|
| +
|
| + VariableNode(this.name, [this.span]);
|
| +
|
| + String toString() => name;
|
| +}
|
| +
|
| +/// A negation expression.
|
| +class NotNode implements Node {
|
| + final FileSpan span;
|
| +
|
| + /// The expression being negated.
|
| + final Node child;
|
| +
|
| + NotNode(this.child, [this.span]);
|
| +
|
| + String toString() => child is VariableNode || child is NotNode
|
| + ? "!$child"
|
| + : "!($child)";
|
| +}
|
| +
|
| +/// An or expression.
|
| +class OrNode implements Node {
|
| + FileSpan get span => _expandSafe(left.span, right.span);
|
| +
|
| + /// The left-hand branch of the expression.
|
| + final Node left;
|
| +
|
| + /// The right-hand branch of the expression.
|
| + final Node right;
|
| +
|
| + OrNode(this.left, this.right);
|
| +
|
| + String toString() {
|
| + var string1 = left is AndNode || left is ConditionalNode
|
| + ? "($left)"
|
| + : left;
|
| + var string2 = right is AndNode || right is ConditionalNode
|
| + ? "($right)"
|
| + : right;
|
| +
|
| + return "$string1 || $string2";
|
| + }
|
| +}
|
| +
|
| +/// An and expression.
|
| +class AndNode implements Node {
|
| + FileSpan get span => _expandSafe(left.span, right.span);
|
| +
|
| + /// The left-hand branch of the expression.
|
| + final Node left;
|
| +
|
| + /// The right-hand branch of the expression.
|
| + final Node right;
|
| +
|
| + AndNode(this.left, this.right);
|
| +
|
| + String toString() {
|
| + var string1 = left is OrNode || left is ConditionalNode
|
| + ? "($left)"
|
| + : left;
|
| + var string2 = right is OrNode || right is ConditionalNode
|
| + ? "($right)"
|
| + : right;
|
| +
|
| + return "$string1 && $string2";
|
| + }
|
| +}
|
| +
|
| +/// A ternary conditional expression.
|
| +class ConditionalNode implements Node {
|
| + FileSpan get span => _expandSafe(condition.span, whenFalse.span);
|
| +
|
| + /// The condition expression to check.
|
| + final Node condition;
|
| +
|
| + /// The branch to run if the condition is true.
|
| + final Node whenTrue;
|
| +
|
| + /// The branch to run if the condition is false.
|
| + final Node whenFalse;
|
| +
|
| + ConditionalNode(this.condition, this.whenTrue, this.whenFalse);
|
| +
|
| + String toString() {
|
| + var conditionString =
|
| + condition is ConditionalNode ? "($condition)" : condition;
|
| + var trueString = whenTrue is ConditionalNode ? "($whenTrue)" : whenTrue;
|
| + return "$conditionString ? $trueString : $whenFalse";
|
| + }
|
| +}
|
| +
|
| +/// Like [FileSpan.expand], except if [start] and [end] are `null` or from
|
| +/// different files it returns `null` rather than throwing an error.
|
| +FileSpan _expandSafe(FileSpan start, FileSpan end) {
|
| + if (start == null || end == null) return null;
|
| + if (start.file != end.file) return null;
|
| + return start.expand(end);
|
| +}
|
|
|