[kernel] Streaming ScopeBuilder

pkg/kernel/binary.md

 This file describes the binary format of Dart Kernel.
 
 Notation
 --------
 Bitmasks are described with the syntax:
 ```scala
     Byte flags (flag1, flag2, ..., flagN)
 ```
 where 'flag<N>' is the N-th least significant bit,
 (so flag1 is the least significant bit).
@@ skipping 213 matching lines @@
 }
 
 abstract type Member extends Node {}
 
 type Field extends Member {
   Byte tag = 4;
   CanonicalNameReference canonicalName;
   FileOffset fileOffset;
   FileOffset fileEndOffset;
   Byte flags (isFinal, isConst, isStatic);
+  // Byte offset in the binary for the parent class,
+  // or 0 if parent is not a class
+  UInt parentPosition;
   Name name;
   // An absolute path URI to the .dart file from which the field was created.
   UriReference fileUri;
   List<Expression> annotations;
   DartType type;
   Option<Expression> initializer;
 }
 
 type Constructor extends Member {
   Byte tag = 5;
   CanonicalNameReference canonicalName;
   FileOffset fileOffset;
   FileOffset fileEndOffset;
   Byte flags (isConst, isExternal);
+  UInt parentPosition; // Byte offset in the binary for the parent class.
   Name name;
   List<Expression> annotations;
   FunctionNode function;
   List<Initializer> initializers;
 }
 
 /*
 enum ProcedureKind {
   Method,
   Getter,
   Setter,
   Operator,
   Factory,
 }
 */
 
 type Procedure extends Member {
   Byte tag = 6;
   CanonicalNameReference canonicalName;
   FileOffset fileOffset;
   FileOffset fileEndOffset;
   Byte kind; // Index into the ProcedureKind enum above.
   Byte flags (isStatic, isAbstract, isExternal, isConst);
+  // Byte offset in the binary for the parent class,
+  // or 0 if parent is not a class.
+  UInt parentPosition;
   Name name;
   // An absolute path URI to the .dart file from which the class was created.
   UriReference fileUri;
   List<Expression> annotations;
   // Can only be absent if abstract, but tag is there anyway.
   Option<FunctionNode> function;
 }
 
 abstract type Initializer extends Node {}
 
@@ skipping 28 matching lines @@
 enum AsyncMarker {
   Sync,
   SyncStar,
   Async,
   AsyncStar,
   SyncYielding
 }
 */
 
 type FunctionNode {
-  // Note: there is no tag on FunctionNode.
+  Byte tag = 3;
   FileOffset fileOffset;
   FileOffset fileEndOffset;
   Byte asyncMarker; // Index into AsyncMarker above.
   Byte dartAsyncMarker; // Index into AsyncMarker above.
   List<TypeParameter> typeParameters;
   UInt requiredParameterCount;
   List<VariableDeclaration> positionalParameters;
   List<VariableDeclaration> namedParameters;
   DartType returnType;
   Option<Statement> body;
@@ skipping 24 matching lines @@
 
 abstract type Expression extends Node {}
 
 type InvalidExpression extends Expression {
   Byte tag = 19;
 }
 
 type VariableGet extends Expression {
   Byte tag = 20;
   FileOffset fileOffset;
-  UInt variableDeclarationPosition; // Byte offset in the binary for the variable declaration.
+  // Byte offset in the binary for the variable declaration (without tag).
+  UInt variableDeclarationPosition;
   VariableReference variable;
 }
 
 type SpecializedVariableGet extends Expression {
   Byte tag = 128 + N; // Where 0 <= N < 8.
   // Equivalent to a VariableGet with index N.
   FileOffset fileOffset;
-  UInt variableDeclarationPosition; // Byte offset in the binary for the variable declaration.
+  // Byte offset in the binary for the variable declaration (without tag).
+  UInt variableDeclarationPosition;
 }
 
 type VariableSet extends Expression {
   Byte tag = 21;
   FileOffset fileOffset;
-  UInt variableDeclarationPosition; // Byte offset in the binary for the variable declaration.
+  // Byte offset in the binary for the variable declaration (without tag).
+  UInt variableDeclarationPosition;
   VariableReference variable;
   Expression value;
 }
 
 type SpecializedVariableSet extends Expression {
   Byte tag = 136 + N; // Where 0 <= N < 8.
   FileOffset fileOffset;
-  UInt variableDeclarationPosition; // Byte offset in the binary for the variable declaration.
+  // Byte offset in the binary for the variable declaration (without tag).
+  UInt variableDeclarationPosition;
   Expression value;
   // Equivalent to VariableSet with index N.
 }
 
 type PropertyGet extends Expression {
   Byte tag = 22;
   FileOffset fileOffset;
   Expression receiver;
   Name name;
   MemberReference interfaceTarget; // May be NullReference.
@@ skipping 434 matching lines @@
 
 type ReturnStatement extends Statement {
   Byte tag = 74;
   FileOffset fileOffset;
   Option<Expression> expression;
 }
 
 type TryCatch extends Statement {
   Byte tag = 75;
   Statement body;
-  Byte anyCatchNeedsStackTrace; // 1 if any catch needs a stacktrace (have a stacktrace variable).
+  // 1 if any catch needs a stacktrace (have a stacktrace variable).
+  Byte anyCatchNeedsStackTrace;
   List<Catch> catches;
 }
 
 type Catch {
   DartType guard;
   Option<VariableDeclaration> exception;
   Option<VariableDeclaration> stackTrace;
   Statement body;
 }
 
@@ skipping 75 matching lines @@
 type SimpleInterfaceType extends DartType {
   Byte tag = 96; // Note: tag is out of order.
   ClassReference class;
   // Equivalent to InterfaceType with empty list of type arguments.
 }
 
 type FunctionType extends DartType {
   Byte tag = 94;
   List<TypeParameter> typeParameters;
   UInt requiredParameterCount;
-  UInt totalParameterCount; // positionalParameters.length + namedParameters.length
+  // positionalParameters.length + namedParameters.length
+  UInt totalParameterCount;
   List<DartType> positionalParameters;
   List<NamedDartType> namedParameters;
   DartType returnType;
 }
 
 type SimpleFunctionType extends DartType {
   Byte tag = 97; // Note: tag is out of order.
   List<DartType> positionalParameters;
   DartType returnType;
   // Equivalent to a FunctionType with no type parameters or named parameters,
@@ skipping 21 matching lines @@
   // scope there.
   //
   // The type parameter can be bound by a Class, FunctionNode, or FunctionType.
   //
   // Note that constructors currently do not declare type parameters.  Uses of
   // the class type parameters in a constructor refer to those declared on the
   // class.
   UInt index;
 
   // Byte offset in the binary for the type declaration.
-  // Note: This can also be 0, which is a 'forward reference' and is not to be used.
+  // Note: This can also be 0,
+  // which is a 'forward reference' and is not to be used.
   UInt typeParameterPosition;
   Option<DartType> bound;
 }
 
 type TypeParameter {
   // Note: there is no tag on TypeParameter
   StringReference name; // Cosmetic, may be empty, not unique.
   DartType bound; // 'dynamic' if no explicit bound was given.
 }
 
 ```