Refactor IrBuilder to use SemanticVisitor.

pkg/compiler/lib/src/resolution/semantic_visitor.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.
 
 library dart2js.semantics_visitor;
 
 import '../constants/expressions.dart';
+import '../dart2jslib.dart' show invariant;
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../tree/tree.dart';
 import '../universe/universe.dart';
 import '../util/util.dart' show Spannable, SpannableAssertionFailure;
 import 'access_semantics.dart';
 import 'operators.dart';
 import 'resolution.dart';
 import 'send_structure.dart';
 
@@ skipping 32 matching lines @@
       return structure.dispatch(sendVisitor, node, arg);
     }
   }
 
   @override
   R visitSendSet(SendSet node) {
     return visitSend(node);
   }
 }
 
+// TODO(johnniwinther): Add visits for [visitLocalConstantGet],
+// [visitLocalConstantInvoke], [visitStaticConstantGet], etc.
 abstract class SemanticSendVisitor<R, A> {
   R apply(Node node, A arg);
 
   /// Read of the [parameter].
   ///
   /// For instance:
   ///     m(parameter) => parameter;
   ///
   R visitParameterGet(
       Send node,
@@ skipping 1025 matching lines @@
   ///
   /// For instance:
   ///     lookup(a, b) => a[b];
   ///
   R visitIndex(
       Send node,
       Node receiver,
       Node index,
       A arg);
 
+  /// Prefix operation on an index expression `operator receiver[index]` where
+  /// the operation is defined by [operator].
+  ///
+  /// For instance:
+  ///     lookup(a, b) => --a[b];
+  ///
+  R visitIndexPrefix(
+      Send node,
+      Node receiver,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
+  /// Postfix operation on an index expression `receiver[index] operator` where
+  /// the operation is defined by [operator].
+  ///
+  /// For instance:
+  ///     lookup(a, b) => a[b]++;
+  ///
+  R visitIndexPostfix(
+      Send node,
+      Node receiver,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
   /// Index expression `super[index]` where 'operator []' is implemented on a
   /// superclass by [function].
   ///
   /// For instance:
   ///     class B {
   ///       operator [](_) => null;
   ///     }
   ///     class C extends B {
   ///       m(a) => super[a];
   ///     }
   ///
   R visitSuperIndex(
       Send node,
       FunctionElement function,
       Node index,
       A arg);
 
+  /// Prefix operation on an index expression `operator super[index]` where
+  /// 'operator []' is implemented on a superclass by [indexFunction] and
+  /// 'operator []=' is implemented on by [indexSetFunction] and the operation
+  /// is defined by [operator].
+  ///
+  /// For instance:
+  ///     class B {
+  ///       operator [](_) => null;
+  ///       operator []=(a, b) {}
+  ///     }
+  ///     class C extends B {
+  ///       m(a) => --super[a];
+  ///     }
+  ///
+  R visitSuperIndexPrefix(
+      Send node,
+      FunctionElement indexFunction,
+      FunctionElement indexSetFunction,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
+  /// Postfix operation on an index expression `super[index] operator` where
+  /// 'operator []' is implemented on a superclass by [indexFunction] and
+  /// 'operator []=' is implemented on by [indexSetFunction] and the operation
+  /// is defined by [operator].
+  ///
+  /// For instance:
+  ///     class B {
+  ///       operator [](_) => null;
+  ///       operator []=(a, b) {}
+  ///     }
+  ///     class C extends B {
+  ///       m(a) => super[a]++;
+  ///     }
+  ///
+  R visitSuperIndexPostfix(
+      Send node,
+      FunctionElement indexFunction,
+      FunctionElement indexSetFunction,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
+  /// Index expression `super[index]` where 'operator []' is unresolved.
+  ///
+  /// For instance:
+  ///     class B {}
+  ///     class C extends B {
+  ///       m(a) => super[a];
+  ///     }
+  ///
+  R errorUnresolvedSuperIndex(
+      Send node,
+      Element element,
+      Node index,
+      A arg);
+
+  /// Prefix operation on an index expression `operator super[index]` where
+  /// 'operator []' or 'operator []=' is unresolved and the operation
+  /// is defined by [operator].
+  ///
+  /// For instance:
+  ///     class B {}
+  ///     class C extends B {
+  ///       m(a) => --super[a];
+  ///     }
+  ///
+  R errorUnresolvedSuperIndexPrefix(
+      Send node,
+      Element function,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
+  /// Postfix operation on an index expression `super[index] operator` where
+  /// 'operator []' or 'operator []=' is unresolved and the operation
+  /// is defined by [operator].
+  ///
+  /// For instance:
+  ///     class B {}
+  ///     class C extends B {
+  ///       m(a) => super[a]++;
+  ///     }
+  ///
+  R errorUnresolvedSuperIndexPostfix(
+      Send node,
+      Element function,
+      Node index,
+      IncDecOperator operator,
+      A arg);
+
   /// Binary expression `left == right`.
   ///
   /// For instance:
   ///     neq(a, b) => a != b;
   ///
   R visitNotEquals(
       Send node,
       Node left,
       Node right,
       A arg);
@@ skipping 1506 matching lines @@
 
   /// Invocation of an undefined unary [operator] with operands
   /// [left] and [right].
   R errorUndefinedBinaryExpression(
       Send node,
       Node left,
       Operator operator,
       Node right,
       A arg);
 }