Kernel debugging; service tests

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 417 matching lines @@
 }
 
 type StaticGet extends Expression {
   Byte tag = 26;
   FileOffset fileOffset;
   MemberReference target;
 }
 
 type StaticSet extends Expression {
   Byte tag = 27;
+  FileOffset fileOffset;
   MemberReference target;
   Expression value;
 }
 
 type Arguments {
   // Note: there is no tag on Arguments.
   List<DartType> types;
   List<Expression> positional;
   List<NamedExpression> named;
 }
@@ skipping 90 matching lines @@
 
 type IsExpression extends Expression {
   Byte tag = 37;
   FileOffset fileOffset;
   Expression operand;
   DartType type;
 }
 
 type AsExpression extends Expression {
   Byte tag = 38;
+  FileOffset fileOffset;
   Expression operand;
   DartType type;
 }
 
 type StringLiteral extends Expression {
   Byte tag = 39;
   StringReference value;
 }
 
 type SpecializedIntLiteral extends Expression {
@@ skipping 52 matching lines @@
 }
 
 type Throw extends Expression {
   Byte tag = 48;
   FileOffset fileOffset;
   Expression value;
 }
 
 type ListLiteral extends Expression {
   Byte tag = 49;
+  FileOffset fileOffset;
   DartType typeArgument;
   List<Expression> values;
 }
 
 type ConstListLiteral extends Expression {
   Byte tag = 58; // Note: tag is out of order.
+  FileOffset fileOffset;
   DartType typeArgument;
   List<Expression> values;
 }
 
 type MapLiteral extends Expression {
   Byte tag = 50;
   FileOffset fileOffset;
   DartType keyType;
   DartType valueType;
   List<MapEntry> entries;
@@ skipping 54 matching lines @@
   Option<Expression> message;
 }
 
 type LabeledStatement extends Statement {
   Byte tag = 65;
   Statement body;
 }
 
 type BreakStatement extends Statement {
   Byte tag = 66;
+  FileOffset fileOffset;
 
   // Reference to the Nth LabeledStatement in scope, with 0 being the
   // outermost enclosing labeled statement within the same FunctionNode.
   //
   // Labels are not in scope across function boundaries.
   UInt labelIndex;
 }
 
 type WhileStatement extends Statement {
   Byte tag = 67;
@@ skipping 95 matching lines @@
   Byte flags (isYieldStar);
   Expression expression;
 }
 
 type VariableDeclarationStatement extends Statement {
   Byte tag = 78;
   VariableDeclaration variable;
 }
 
 type VariableDeclaration {
   FileOffset fileOffset;

[Kevin Millikin (Google), 2017/02/08 15:37:51]

Document these two offsets here.

[jensj, 2017/02/13 14:04:15]

Done.

+  FileOffset fileEqualsOffset;
   Byte flags (isFinal, isConst);
   // For named parameters, this is the parameter name.
   // For other variables, the name is cosmetic, may be empty,
   // and is not necessarily unique.
   StringReference name;
   DartType type;
   Option<InferredValue> inferredValue;
 
   // For statements and for-loops, this is the initial value.
   // For optional parameters, this is the default value (if given).
@@ skipping 91 matching lines @@
 
 /* enum BaseClassKind { None, Exact, Subclass, Subtype, } */
 
 type InferredValue {
   ClassReference baseClass; // May be NullReference if kind = None.
   Byte kind; // Index into BaseClassKind.
   Byte valueBits; // See lib/type_propagation/type_propagation.dart
 }
 
 ```