Add StaticUse for more precise registration of statically known element use.

pkg/compiler/lib/src/universe/use.dart

Index: pkg/compiler/lib/src/universe/use.dart
diff --git a/pkg/compiler/lib/src/universe/use.dart b/pkg/compiler/lib/src/universe/use.dart
new file mode 100644
index 0000000000000000000000000000000000000000..e291700a998a6ee8ef66e977bf1ca60695dc1899
--- /dev/null
+++ b/pkg/compiler/lib/src/universe/use.dart
@@ -0,0 +1,191 @@
+// Copyright (c) 2012, 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.universe.use;
+
+import '../closure.dart' show
+  BoxFieldElement;
+import '../common.dart';
+import '../elements/elements.dart';
+import '../util/util.dart' show
+    Hashing;
+
+import 'call_structure.dart' show
+    CallStructure;
+
+enum StaticUseKind {
+  GENERAL,

[sigurdm, 2015/11/02 11:19:56]

I think the current style guide recommends lowerCamelCase for constants.

[Johnni Winther, 2015/11/02 13:23:25]

Acknowledged.

+  STATIC_TEAR_OFF,
+  SUPER_TEAR_OFF,
+  FIELD_GET,
+  FIELD_SET,
+}
+
+/// Statically known use of an [Element].
+// TODO(johnniwinther): Create backend-specific implementations with better
+// invariants.
+class StaticUse {
+  final Element element;
+  final StaticUseKind kind;
+  final int hashCode;
+
+  StaticUse._(Element element, StaticUseKind kind)
+      : this.element = element,
+        this.kind = kind,
+        this.hashCode = Hashing.objectHash(element, Hashing.objectHash(kind)) {
+    assert(invariant(element, element.isDeclaration,
+        message: "Static use element $element must be "
+                 "the declaration element."));
+  }
+
+  /// Invocation of a static or top-level [element] with the given
+  /// [callStructure].
+  factory StaticUse.staticInvoke(MethodElement element,
+                                 CallStructure callStructure) {
+    // TODO(johnniwinther): Use the [callStructure].
+    assert(invariant(element, element.isStatic || element.isTopLevel,
+        message: "Static invoke element $element must be a top-level "
+                 "or static method."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Closurization of a static or top-level function [element].
+  factory StaticUse.staticTearOff(MethodElement element) {
+    assert(invariant(element, element.isStatic || element.isTopLevel,
+        message: "Static tear-off element $element must be a top-level "
+                 "or static method."));
+    return new StaticUse._(element, StaticUseKind.STATIC_TEAR_OFF);
+  }
+
+  /// Read access of a static or top-level field or getter [element].
+  factory StaticUse.staticGet(MemberElement element) {
+    assert(invariant(element, element.isStatic || element.isTopLevel,
+        message: "Static get element $element must be a top-level "
+                 "or static method."));
+    assert(invariant(element, element.isField || element.isGetter,
+        message: "Static get element $element must be a field or a getter."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Write access of a static or top-level field or setter [element].
+  factory StaticUse.staticSet(MemberElement element) {
+    assert(invariant(element, element.isStatic || element.isTopLevel,
+        message: "Static set element $element must be a top-level "
+                 "or static method."));
+    assert(invariant(element, element.isField || element.isSetter,
+        message: "Static set element $element must be a field or a setter."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Invocation of the lazy initializer for a static or top-level field
+  /// [element].
+  factory StaticUse.staticInit(FieldElement element) {
+    assert(invariant(element, element.isStatic || element.isTopLevel,
+        message: "Static init element $element must be a top-level "
+                 "or static method."));
+    assert(invariant(element, element.isField,
+        message: "Static init element $element must be a field."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Invocation of a super method [element] with the given [callStructure].
+  factory StaticUse.superInvoke(MethodElement element,
+                                CallStructure callStructure) {
+    // TODO(johnniwinther): Use the [callStructure].
+    assert(invariant(element, element.isInstanceMember,
+        message: "Super invoke element $element must be an instance method."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Read access of a super field or getter [element].
+  factory StaticUse.superGet(MemberElement element) {
+    assert(invariant(element, element.isInstanceMember,
+        message: "Super get element $element must be an instance method."));
+    assert(invariant(element, element.isField || element.isGetter,
+        message: "Super get element $element must be a field or a getter."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Write access of a super field or setter [element].
+  factory StaticUse.superSet(Element element) {
+    assert(invariant(element, element.isInstanceMember,
+        message: "Super set element $element must be an instance method."));
+    assert(invariant(element, element.isField || element.isSetter,
+        message: "Super set element $element must be a field or a setter."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Closurization of a super method [element].
+  factory StaticUse.superTearOff(MethodElement element) {
+    assert(invariant(element, element.isInstanceMember && element.isFunction,
+        message: "Super invoke element $element must be an instance method."));
+    return new StaticUse._(element, StaticUseKind.SUPER_TEAR_OFF);
+  }
+
+  /// Invocation of a constructor (body) [element] through a this or super
+  /// constructor call with the given [callStructure].
+  factory StaticUse.superConstructorInvoke(Element element,

[sigurdm, 2015/11/02 11:19:56]

cf discussion: Split into
superConstructorInvoke and constructorBodyInvoke

[Johnni Winther, 2015/11/02 13:23:25]

Done.

+                                           CallStructure callStructure) {
+    // TODO(johnniwinther): Use the [callStructure].
+    assert(invariant(element,
+        element.isGenerativeConstructor ||
+        element.isGenerativeConstructorBody,
+        message: "Constructor invoke element $element must be a "
+                 "generative constructor (body)."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Constructor invocation of [element] with the given [callStructure].
+  factory StaticUse.constructorInvoke(ConstructorElement element,
+                                      CallStructure callStructure) {
+    // TODO(johnniwinther): Use the [callStructure].
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Constructor redirection to [element].
+  factory StaticUse.constructorRedirect(ConstructorElement element) {
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Initialization of an instance field [element].
+  factory StaticUse.fieldInit(FieldElement element) {
+    assert(invariant(element, element.isInstanceMember,
+        message: "Field init element $element must be an instance field."));
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  /// Read access of an instance field or boxed field [element].
+  factory StaticUse.fieldGet(Element element) {
+    assert(invariant(element,
+        element.isInstanceMember || element is BoxFieldElement,
+        message: "Field init element $element must be an instance "
+                 "or boxed field."));
+    return new StaticUse._(element, StaticUseKind.FIELD_GET);
+  }
+
+  /// Write access of an instance field or boxed field [element].
+  factory StaticUse.fieldSet(Element element) {
+    assert(invariant(element,
+        element.isInstanceMember || element is BoxFieldElement,
+        message: "Field init element $element must be an instance "
+                 "or boxed field."));
+    return new StaticUse._(element, StaticUseKind.FIELD_SET);
+  }
+
+  /// Unknown use of [element].
+  @deprecated
+  factory StaticUse.foreignUse(Element element) {
+    return new StaticUse._(element, StaticUseKind.GENERAL);
+  }
+
+  bool operator ==(other) {
+    if (identical(this, other)) return true;
+    if (other is! StaticUse) return false;
+    return element == other.element &&
+           kind == other.kind;
+  }
+
+  String toString() => 'StaticUse($element,$kind)';
+}
+