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

Unified Diff: pkg/compiler/lib/src/stats/analysis_result.dart

Issue 1385443003: dart2js: rename folder (stats -> info) (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: Created 5 years, 2 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
Index: pkg/compiler/lib/src/stats/analysis_result.dart
diff --git a/pkg/compiler/lib/src/stats/analysis_result.dart b/pkg/compiler/lib/src/stats/analysis_result.dart
deleted file mode 100644
index 5266a013915a80e09b24077175b4854aeecb365b..0000000000000000000000000000000000000000
--- a/pkg/compiler/lib/src/stats/analysis_result.dart
+++ /dev/null
@@ -1,73 +0,0 @@
-// 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.
-
-/// API to get results from a static analysis of the source program.
-library compiler.src.stats.analysis_result;
-
-import '../tree/tree.dart' show Node;
-import '../universe/selector.dart' show Selector;
-
-/// A three-value logic bool (yes, no, maybe). We say that `yes` and `maybe` are
-/// "truthy", while `no` and `maybe` are "falsy".
-// TODO(sigmund): is it worth using an enum? or switch to true/false/null?
-enum Boolish { yes, no, maybe }
-
-/// Specifies results of some kind of static analysis on a source program.
-abstract class AnalysisResult {
- /// Information computed about a specific [receiver].
- ReceiverInfo infoForReceiver(Node receiver);
-
- /// Information computed about a specific [selector] applied to a specific
- /// [receiver].
- SelectorInfo infoForSelector(Node receiver, Selector selector);
-}
-
-/// Analysis information about a receiver of a send.
-abstract class ReceiverInfo {
- /// Receiver node for which this information is computed.
- Node get receiver;
-
- /// Return whether [receiver] resolves to a value that implements no such
- /// method. The answer is `yes` if all values that [receiver] could evaluate
- /// to at runtime contain it, or `no` if none of them does. Maybe if it
- /// depends on some context or we can't determine this information precisely.
- Boolish get hasNoSuchMethod;
-
- /// When [hasNoSuchMethod] is yes, the precise number of possible noSuchMethod
- /// handlers for this receiver.
- int get possibleNsmTargets;
-
- /// Return whether [receiver] may ever be null.
- Boolish get isNull;
-}
-
-/// Information about a specific selector applied to a specific receiver.
-abstract class SelectorInfo {
- /// Receiver node of the [selector].
- Node get receiver;
-
- /// Specific selector on [receiver] for which this information is computed.
- Selector get selector;
-
- /// Whether a member matching [selector] exists in [receiver].
- Boolish get exists;
-
- /// Whether [receiver] needs an interceptor to implement [selector].
- Boolish get usesInterceptor;
-
- /// Possible total number of methods that could be the target of the selector.
- /// This needs to be combined with [isAccurate] to correctly understand the
- /// value. Some invariants:
- ///
- /// * If [exists] is `no`, the value here should be 0, regardless of
- /// accuracy.
- /// * If [exists] is `yes`, the value is always considered 1 or more.
- /// If [isAccurate] is false, we treat it as there may be many possible
- /// targets.
- /// * If [exists] is `maybe`, the value is considered 0 or more.
- int get possibleTargets;
-
- /// Whether the information about [possibleTargets] is accurate.
- bool get isAccurate;
-}
« no previous file with comments | « pkg/compiler/lib/src/info/trusted_types_analysis_result.dart ('k') | pkg/compiler/lib/src/stats/builder.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698