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

Unified Diff: pkg/analyzer/lib/src/summary/fasta/model.dart

Issue 2972093002: Remove code for computing summaries based on the Fasta parser. (Closed)
Patch Set: Created 3 years, 5 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/analyzer/lib/src/summary/fasta/model.dart
diff --git a/pkg/analyzer/lib/src/summary/fasta/model.dart b/pkg/analyzer/lib/src/summary/fasta/model.dart
deleted file mode 100644
index 7af9f102d5346d97e13003cb6f42a19016878c2b..0000000000000000000000000000000000000000
--- a/pkg/analyzer/lib/src/summary/fasta/model.dart
+++ /dev/null
@@ -1,190 +0,0 @@
-// Copyright (c) 2017, 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.
-
-/// Additional data model classes used by the summary builder.
-///
-/// The summary builder uses 4 pieces of data:
-///
-/// * Unlinked**Builders: builder classes for each piece of output in the
-/// summary (see format.dart).
-///
-/// * A simplified expression syntax: model relevant pieces of initializers
-/// and constants before serializing them (see expressions.dart).
-///
-/// * Lazy references: a way to model references on the fly so we can build
-/// summaries in a single pass.
-///
-/// * Scopes: used to track the current context of the parser, used in great
-/// part to easily resolve lazy references at the end of the build process.
-library summary.src.scope;
-
-import 'package:analyzer/src/summary/format.dart';
-import 'package:analyzer/src/summary/idl.dart';
-
-export 'package:analyzer/src/summary/format.dart';
-export 'package:analyzer/src/summary/idl.dart';
-export 'package:front_end/src/base/api_signature.dart';
-
-export 'expressions.dart';
-export 'visitor.dart';
-
-class ClassScope extends TypeParameterScope {
- String className;
- UnlinkedClassBuilder currentClass = new UnlinkedClassBuilder();
- UnlinkedPublicNameBuilder publicName = new UnlinkedPublicNameBuilder();
- Set<String> members = new Set<String>();
- ClassScope(Scope parent) : super(parent);
-
- void computeReference(LazyEntityRef ref) {
- if (!members.contains(ref.name)) {
- return super.computeReference(ref);
- }
- ref.reference = top.serializeReference(
- top.serializeReference(null, className), ref.name);
- }
-
- toString() => "<class-scope: $className>";
-}
-
-class EnumScope extends Scope {
- final Scope parent;
- UnlinkedEnumBuilder currentEnum = new UnlinkedEnumBuilder();
-
- EnumScope(this.parent);
-
- void computeReference(LazyEntityRef ref) => throw "unexpected";
-}
-
-/// A lazily encoded reference.
-///
-/// References in summaries are encoded based on the scope where they appear.
-/// Most top-level references can be encoded eagerly, but references in the
-/// scope of a class need to check whether a name is a member of such class.
-/// Because we don't have such list of members available upfront, we create
-/// these lazy references and finalize them after we finish going through the
-/// program.
-class LazyEntityRef extends EntityRefBuilder {
- Scope scope;
- String name;
- bool wasExpanded = false;
-
- LazyEntityRef(this.name, this.scope) : super() {
- scope.top._toExpand.add(this);
- }
- @override
- int get paramReference {
- expand();
- return super.paramReference;
- }
-
- @override
- int get reference {
- expand();
- return super.reference;
- }
-
- expand() {
- if (!wasExpanded) {
- scope.computeReference(this);
- wasExpanded = true;
- }
- }
-}
-
-/// A nested lazy reference, modeling something like `a.b.c`.
-class NestedLazyEntityRef extends LazyEntityRef {
- EntityRef prefix;
- NestedLazyEntityRef(this.prefix, String name, Scope scope)
- : super(name, scope.top);
-
- @override
- expand() {
- if (!wasExpanded) {
- super.reference = scope.top.serializeReference(prefix.reference, name);
- wasExpanded = true;
- }
- }
-}
-
-/// A scope corresponding to a scope in the program like units, classes, or
-/// enums.
-///
-/// It is used to hold results that correspond to a given scope in the program
-/// and to lazily resolve name references.
-abstract class Scope {
- Scope get parent;
-
- TopScope get top {
- var s = this;
- while (s.parent != null) s = s.parent;
- return s;
- }
-
- void computeReference(LazyEntityRef ref);
-}
-
-/// Top scope, where the top-level unit is built.
-class TopScope extends Scope {
- /// Results of parsing the unit.
- final UnlinkedUnitBuilder unit = new UnlinkedUnitBuilder(
- classes: [],
- enums: [],
- executables: [],
- exports: [],
- imports: [],
- parts: [],
- references: [new UnlinkedReferenceBuilder()],
- typedefs: [],
- variables: []);
-
- /// Stores publicly visible names exported from the unit.
- final UnlinkedPublicNamespaceBuilder publicNamespace =
- new UnlinkedPublicNamespaceBuilder(names: [], exports: [], parts: []);
-
- /// Lazy references that need to be expanded after all scope information is
- /// known.
- List<LazyEntityRef> _toExpand = [];
-
- final Map<int, Map<String, int>> nameToReference = <int, Map<String, int>>{};
-
- TopScope() {
- unit.publicNamespace = publicNamespace;
- }
-
- get parent => null;
-
- void computeReference(LazyEntityRef ref) {
- ref.reference = serializeReference(null, ref.name);
- }
-
- void expandLazyReferences() {
- _toExpand.forEach((r) => r.expand());
- }
-
- int serializeReference(int prefixIndex, String name) => nameToReference
- .putIfAbsent(prefixIndex, () => <String, int>{})
- .putIfAbsent(name, () {
- int index = unit.references.length;
- unit.references.add(new UnlinkedReferenceBuilder(
- prefixReference: prefixIndex, name: name));
- return index;
- });
-
- toString() => "<top-scope>";
-}
-
-class TypeParameterScope extends Scope {
- final Scope parent;
- List<String> typeParameters = [];
-
- TypeParameterScope(this.parent);
-
- void computeReference(LazyEntityRef ref) {
- var i = typeParameters.indexOf(ref.name);
- if (i < 0) return parent.computeReference(ref);
- // Note: there is no indexOffset here because we don't go into functions at
- // all (so there is no nesting of type-parameter scopes).
- ref.paramReference = typeParameters.length - i;
- }
-}
« no previous file with comments | « pkg/analyzer/lib/src/summary/fasta/expressions.dart ('k') | pkg/analyzer/lib/src/summary/fasta/stack_listener.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698