Implementation of null-aware operators.

pkg/compiler/lib/src/resolution/semantic_visitor_mixins.dart

 // 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.
 
 part of dart2js.semantics_visitor;
 
 /// Interface for bulk handling of a [Node] in a semantic visitor.
 abstract class BulkHandle<R, A> {
   /// Handle [node] either regardless of semantics or to report that [node] is
   /// unhandled. [message] contains a message template for the latter case:
@@ skipping 68 matching lines @@
   R visitDynamicPropertyPrefix(
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return bulkHandlePrefix(node, arg);
   }
 
+  R visitIfNotNullDynamicPropertyPrefix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return bulkHandlePrefix(node, arg);
+  }
+
   @override
   R visitIndexPrefix(
       Send node,
       Node receiver,
       Node index,
       IncDecOperator operator,
       A arg) {
     return bulkHandlePrefix(node, arg);
   }
 
@@ skipping 398 matching lines @@
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return bulkHandlePostfix(node, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPostfix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return bulkHandlePostfix(node, arg);
+  }
+
   R visitIndexPostfix(
       Send node,
       Node receiver,
       Node index,
       IncDecOperator operator,
       A arg) {
     return bulkHandlePostfix(node, arg);
   }
 
   @override
@@ skipping 406 matching lines @@
       Node receiver,
       AssignmentOperator operator,
       Node rhs,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return bulkHandleCompound(node, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyCompound(
+      Send node,
+      Node receiver,
+      AssignmentOperator operator,
+      Node rhs,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return bulkHandleCompound(node, arg);
+  }
+
+  @override
   R visitLocalVariableCompound(
       Send node,
       LocalVariableElement variable,
       AssignmentOperator operator,
       Node rhs,
       A arg) {
     return bulkHandleCompound(node, arg);
   }
 
   @override
@@ skipping 387 matching lines @@
   R visitDynamicPropertyInvoke(
       Send node,
       Node receiver,
       NodeList arguments,
       Selector selector,
       A arg) {
     return bulkHandleInvoke(node, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyInvoke(
+      Send node,
+      Node receiver,
+      NodeList arguments,
+      Selector selector,
+      A arg) {
+    return bulkHandleInvoke(node, arg);
+  }
+
+  @override
   R visitDynamicTypeLiteralInvoke(
       Send node,
       ConstantExpression constant,
       NodeList arguments,
       CallStructure callStructure,
       A arg) {
     return bulkHandleInvoke(node, arg);
   }
 
   @override
@@ skipping 278 matching lines @@
   @override
   R visitDynamicPropertyGet(
       Send node,
       Node receiver,
       Selector selector,
       A arg) {
     return bulkHandleGet(node, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyGet(
+      Send node,
+      Node receiver,
+      Selector selector,
+      A arg) {
+    return bulkHandleGet(node, arg);
+  }
+
+  @override
   R visitDynamicTypeLiteralGet(
       Send node,
       ConstantExpression constant,
       A arg) {
     return bulkHandleGet(node, arg);
   }
 
   @override
   R visitLocalFunctionGet(
       Send node,
@@ skipping 184 matching lines @@
   R visitDynamicPropertySet(
       SendSet node,
       Node receiver,
       Selector selector,
       Node rhs,
       A arg) {
     return bulkHandleSet(node, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertySet(
+      SendSet node,
+      Node receiver,
+      Selector selector,
+      Node rhs,
+      A arg) {
+    return bulkHandleSet(node, arg);
+  }
+
+  @override
   R visitLocalVariableSet(
       SendSet node,
       LocalVariableElement variable,
       Node rhs,
       A arg) {
     return bulkHandleSet(node, arg);
   }
 
   @override
   R visitParameterSet(
@@ skipping 523 matching lines @@
   @override
   R visitIsNot(
       Send node,
       Node expression,
       DartType type,
       A arg) {
     return bulkHandleNode(node, 'Is not test `#` unhandled.', arg);
   }
 
   @override
+  R visitIfNull(
+      Send node,
+      Node left,
+      Node right,
+      A arg) {
+    return bulkHandleNode(node, 'If-null (Lazy ?? `#`) unhandled.', arg);
+  }
+
+  @override
   R visitLogicalAnd(
       Send node,
       Node left,
       Node right,
       A arg) {
     return bulkHandleNode(node, 'Lazy and `#` unhandled.', arg);
   }
 
   @override
   R visitLogicalOr(
@@ skipping 1438 matching lines @@
       Node rhs,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     apply(receiver, arg);
     apply(rhs, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertyCompound(
+      Send node,
+      Node receiver,
+      AssignmentOperator operator,
+      Node rhs,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    apply(receiver, arg);
+    apply(rhs, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicPropertyGet(
       Send node,
       Node receiver,
       Selector selector,
       A arg) {
     apply(receiver, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertyGet(
+      Send node,
+      Node receiver,
+      Selector selector,
+      A arg) {
+    apply(receiver, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicPropertyInvoke(
       Send node,
       Node receiver,
       NodeList arguments,
       Selector selector,
       A arg) {
     apply(receiver, arg);
     apply(arguments, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertyInvoke(
+      Send node,
+      Node receiver,
+      NodeList arguments,
+      Selector selector,
+      A arg) {
+    apply(receiver, arg);
+    apply(arguments, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicPropertyPostfix(
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     apply(receiver, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPostfix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    apply(receiver, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicPropertyPrefix(
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     apply(receiver, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPrefix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    apply(receiver, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicPropertySet(
       SendSet node,
       Node receiver,
       Selector selector,
       Node rhs,
       A arg) {
     apply(receiver, arg);
     apply(rhs, arg);
     return null;
   }
 
   @override
+  R visitIfNotNullDynamicPropertySet(
+      SendSet node,
+      Node receiver,
+      Selector selector,
+      Node rhs,
+      A arg) {
+    apply(rhs, arg);
+    return null;
+  }
+
+  @override
   R visitDynamicTypeLiteralCompound(
       Send node,
       ConstantExpression constant,
       AssignmentOperator operator,
       Node rhs,
       A arg) {
     apply(rhs, arg);
     return null;
   }
 
@@ skipping 172 matching lines @@
   R visitLocalVariableSet(
       SendSet node,
       LocalVariableElement variable,
       Node rhs,
       A arg) {
     apply(rhs, arg);
     return null;
   }
 
   @override
+  R visitIfNull(
+      Send node,
+      Node left,
+      Node right,
+      A arg) {
+    apply(left, arg);
+    apply(right, arg);
+    return null;
+  }
+
+  @override
   R visitLogicalAnd(
       Send node,
       Node left,
       Node right,
       A arg) {
     apply(left, arg);
     apply(right, arg);
     return null;
   }
 
@@ skipping 3388 matching lines @@
   @override
   R visitDynamicPropertyGet(
       Send node,
       Node receiver,
       Selector selector,
       A arg) {
     return handleDynamicGet(node, receiver, selector, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyGet(
+      Send node,
+      Node receiver,
+      Selector selector,
+      A arg) {
+    // TODO(johnniwinther): should these redirect to handleDynamicX?
+    return handleDynamicGet(node, receiver, selector, arg);
+  }
+
+  @override
   R visitDynamicPropertyInvoke(
       Send node,
       Node receiver,
       NodeList arguments,
       Selector selector,
       A arg) {
     return handleDynamicInvoke(node, receiver, arguments, selector, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyInvoke(
+      Send node,
+      Node receiver,
+      NodeList arguments,
+      Selector selector,
+      A arg) {
+    return handleDynamicInvoke(node, receiver, arguments, selector, arg);
+  }
+
+  @override
   R visitDynamicPropertySet(
       SendSet node,
       Node receiver,
       Selector selector,
       Node rhs,
       A arg) {
     return handleDynamicSet(node, receiver, selector, rhs, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertySet(
+      SendSet node,
+      Node receiver,
+      Selector selector,
+      Node rhs,
+      A arg) {
+    return handleDynamicSet(node, receiver, selector, rhs, arg);
+  }
+
+  @override
   R visitThisPropertyGet(
       Send node,
       Selector selector,
       A arg) {
     return handleDynamicGet(node, null, selector, arg);
   }
 
   @override
   R visitThisPropertyInvoke(
       Send node,
@@ skipping 54 matching lines @@
       AssignmentOperator operator,
       Node rhs,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return handleDynamicCompound(
         node, receiver, operator, rhs, getterSelector, setterSelector, arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyCompound(
+      Send node,
+      Node receiver,
+      AssignmentOperator operator,
+      Node rhs,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicCompound(
+        node, receiver, operator, rhs, getterSelector, setterSelector, arg);
+  }
+
+  @override
   R visitDynamicPropertyPostfix(
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return handleDynamicPostfixPrefix(
         node, receiver, operator,
         getterSelector, setterSelector, arg, isPrefix: false);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPostfix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicPostfixPrefix(
+        node, receiver, operator,
+        getterSelector, setterSelector, arg, isPrefix: false);
+  }
+
+  @override
   R visitDynamicPropertyPrefix(
       Send node,
       Node receiver,
       IncDecOperator operator,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return handleDynamicPostfixPrefix(
         node, receiver, operator,
         getterSelector, setterSelector, arg, isPrefix: true);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPrefix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicPostfixPrefix(
+        node, receiver, operator,
+        getterSelector, setterSelector, arg, isPrefix: true);
+  }
+
+  @override
   R visitThisPropertyCompound(
       Send node,
       AssignmentOperator operator,
       Node rhs,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return handleDynamicCompound(
         node, null, operator, rhs, getterSelector, setterSelector, arg);
   }
@@ skipping 191 matching lines @@
       A arg) {
     return handleDynamicCompounds(
         node,
         receiver,
         new AssignmentCompound(operator, rhs),
         getterSelector,
         setterSelector,
         arg);
   }
 
+  R visitIfNotNullDynamicPropertyCompound(
+      Send node,
+      Node receiver,
+      AssignmentOperator operator,
+      Node rhs,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicCompounds(
+        node,
+        receiver,
+        new AssignmentCompound(operator, rhs),
+        getterSelector,
+        setterSelector,
+        arg);
+  }
+
   @override
   R visitThisPropertyCompound(
       Send node,
       AssignmentOperator operator,
       Node rhs,
       Selector getterSelector,
       Selector setterSelector,
       A arg) {
     return handleDynamicCompounds(
         node,
@@ skipping 363 matching lines @@
       A arg) {
     return handleDynamicCompounds(
         node,
         receiver,
         new IncDecCompound(CompoundKind.PREFIX, operator),
         getterSelector,
         setterSelector,
         arg);
   }
 
+  R visitIfNotNullDynamicPropertyPrefix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicCompounds(
+        node,
+        receiver,
+        new IncDecCompound(CompoundKind.PREFIX, operator),
+        getterSelector,
+        setterSelector,
+        arg);
+  }
+
   @override
   R visitParameterPrefix(
       Send node,
       ParameterElement parameter,
       IncDecOperator operator,
       A arg) {
     return handleLocalCompounds(
         node,
         parameter,
         new IncDecCompound(CompoundKind.PREFIX, operator),
@@ skipping 285 matching lines @@
     return handleDynamicCompounds(
         node,
         receiver,
         new IncDecCompound(CompoundKind.POSTFIX, operator),
         getterSelector,
         setterSelector,
         arg);
   }
 
   @override
+  R visitIfNotNullDynamicPropertyPostfix(
+      Send node,
+      Node receiver,
+      IncDecOperator operator,
+      Selector getterSelector,
+      Selector setterSelector,
+      A arg) {
+    return handleDynamicCompounds(
+        node,
+        receiver,
+        new IncDecCompound(CompoundKind.POSTFIX, operator),
+        getterSelector,
+        setterSelector,
+        arg);
+  }
+
+  @override
   R visitParameterPostfix(
       Send node,
       ParameterElement parameter,
       IncDecOperator operator,
       A arg) {
     return handleLocalCompounds(
         node,
         parameter,
         new IncDecCompound(CompoundKind.POSTFIX, operator),
         arg,
@@ skipping 1791 matching lines @@
       NewExpression node,
       ConstructorElement constructor,
       InterfaceType type,
       NodeList arguments,
       CallStructure callStructure,
       A arg) {
     return handleConstructorInvoke(
         node, constructor, type, arguments, callStructure, arg);
   }
 }