Kernel debugging; service tests

pkg/kernel/binary.md

Index: pkg/kernel/binary.md
diff --git a/pkg/kernel/binary.md b/pkg/kernel/binary.md
index a287dd6be83b9b2884a61d04c12ab347a3fb7af5..f25b46341ea12aff2ea0db78434ccbd287acd8a5 100644
--- a/pkg/kernel/binary.md
+++ b/pkg/kernel/binary.md
@@ -435,6 +435,7 @@ type StaticGet extends Expression {
 
 type StaticSet extends Expression {
   Byte tag = 27;
+  FileOffset fileOffset;
   MemberReference target;
   Expression value;
 }
@@ -545,6 +546,7 @@ type IsExpression extends Expression {
 
 type AsExpression extends Expression {
   Byte tag = 38;
+  FileOffset fileOffset;
   Expression operand;
   DartType type;
 }
@@ -607,6 +609,7 @@ type ThisExpression extends Expression {
 
 type Rethrow extends Expression {
   Byte tag = 47;
+  FileOffset fileOffset;
 }
 
 type Throw extends Expression {
@@ -617,12 +620,14 @@ type Throw extends Expression {
 
 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;
 }
@@ -697,6 +702,7 @@ type LabeledStatement extends Statement {
 
 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.
@@ -812,7 +818,14 @@ type VariableDeclarationStatement extends Statement {
 }
 
 type VariableDeclaration {
+  // The offset for the variable declaration, i.e. the offset of the start of
+  // the declaration.
   FileOffset fileOffset;
+
+  // The offset for the equal sign in the declaration (if it contains one).
+  // If it does not contain one this should be -1.
+  FileOffset fileEqualsOffset;
+
   Byte flags (isFinal, isConst);
   // For named parameters, this is the parameter name.
   // For other variables, the name is cosmetic, may be empty,