Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(544)

Unified Diff: lib/src/compiler/element_helpers.dart

Issue 1879373004: Implement modular compilation (Closed) Base URL: git@github.com:dart-lang/dev_compiler.git@master
Patch Set: Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « lib/src/compiler/compiler.dart ('k') | lib/src/compiler/element_loader.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: lib/src/compiler/element_helpers.dart
diff --git a/lib/src/compiler/element_helpers.dart b/lib/src/compiler/element_helpers.dart
new file mode 100644
index 0000000000000000000000000000000000000000..dc8ff6cb93a769ceaaecda88cc6751b1d650b371
--- /dev/null
+++ b/lib/src/compiler/element_helpers.dart
@@ -0,0 +1,102 @@
+// Copyright (c) 2016, 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.
+
+/// Helpers for Analyzer's Element model and corelib model.
+
+import 'package:analyzer/dart/ast/ast.dart'
+ show Expression, MethodInvocation, SimpleIdentifier;
+import 'package:analyzer/dart/element/element.dart'
+ show Element, FunctionElement;
+import 'package:analyzer/dart/element/type.dart'
+ show DartType, InterfaceType, ParameterizedType;
+import 'package:analyzer/src/dart/element/type.dart' show DynamicTypeImpl;
+import 'package:analyzer/src/generated/constant.dart' show DartObject;
+
+class Tuple2<T0, T1> {
+ final T0 e0;
+ final T1 e1;
+ Tuple2(this.e0, this.e1);
+}
+
+/*=T*/ fillDynamicTypeArgs/*<T extends DartType>*/(/*=T*/ t) {
+ if (t is ParameterizedType) {
+ var dyn = new List.filled(t.typeArguments.length, DynamicTypeImpl.instance);
+ return t.substitute2(dyn, t.typeArguments);
+ }
+ return t;
+}
+
+/// Given an annotated [node] and a [test] function, returns the first matching
+/// constant valued annotation.
+///
+/// For example if we had the ClassDeclaration node for `FontElement`:
+///
+/// @js.JS('HTMLFontElement')
+/// @deprecated
+/// class FontElement { ... }
+///
+/// We could match `@deprecated` with a test function like:
+///
+/// (v) => v.type.name == 'Deprecated' && v.type.element.library.isDartCore
+///
+DartObject findAnnotation(Element element, bool test(DartObject value)) {
+ for (var metadata in element.metadata) {
+ var value = metadata.constantValue;
+ if (value != null && test(value)) return value;
+ }
+ return null;
+}
+
+/// Searches all supertype, in order of most derived members, to see if any
+/// [match] a condition. If so, returns the first match, otherwise returns null.
+InterfaceType findSupertype(InterfaceType type, bool match(InterfaceType t)) {
+ for (var m in type.mixins.reversed) {
+ if (match(m)) return m;
+ }
+ var s = type.superclass;
+ if (s == null) return null;
+
+ if (match(s)) return type;
+ return findSupertype(s, match);
+}
+
+//TODO(leafp): Is this really necessary? In theory I think
+// the static type should always be filled in for resolved
+// ASTs. This may be a vestigial workaround.
+DartType getStaticType(Expression e) =>
+ e.staticType ?? DynamicTypeImpl.instance;
+
+// TODO(leafp) Factor this out or use an existing library
+/// Similar to [SimpleIdentifier] inGetterContext, inSetterContext, and
+/// inDeclarationContext, this method returns true if [node] is used in an
+/// invocation context such as a MethodInvocation.
+bool inInvocationContext(SimpleIdentifier node) {
+ var parent = node.parent;
+ return parent is MethodInvocation && parent.methodName == node;
+}
+
+bool isInlineJS(Element e) =>
+ e is FunctionElement &&
+ e.name == 'JS' &&
+ e.library.isInSdk &&
+ e.library.source.uri.toString() == 'dart:_foreign_helper';
+
+/// Returns the value of the `name` field from the [match]ing annotation on
+/// [element], or `null` if we didn't find a valid match or it was not a string.
+///
+/// For example, consider this code:
+///
+/// class MyAnnotation {
+/// final String name;
+/// // ...
+/// const MyAnnotation(this.name/*, ... other params ... */);
+/// }
+///
+/// @MyAnnotation('FooBar')
+/// main() { ... }
+///
+/// If we match the annotation for the `@MyAnnotation('FooBar')` this will
+/// return the string 'FooBar'.
+String getAnnotationName(Element element, bool match(DartObject value)) =>
+ findAnnotation(element, match)?.getField('name')?.toStringValue();
« no previous file with comments | « lib/src/compiler/compiler.dart ('k') | lib/src/compiler/element_loader.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698