remove the body field from StaticInitializer and relax the valuye type on MemberDefinition

javascript/extractor/src/com/semmle/js/ast/DefaultVisitor.java

@@ -785,6 +785,6 @@ public class DefaultVisitor<C, R> implements Visitor<C, R> {
 
   @Override
   public R visit(StaticInitializer nd, C c) {
-    return visit((MemberDefinition<Expression>) nd, c);
+    return visit((MemberDefinition<BlockStatement>) nd, c);
   }
 }

javascript/extractor/src/com/semmle/js/ast/MemberDefinition.java

@@ -9,7 +9,7 @@ import java.util.List;
  * <p>A member definition has a name and an optional initial value, whose type is given by the type
  * parameter {@code V}.
  */
-public abstract class MemberDefinition<V extends Expression> extends Node {
+public abstract class MemberDefinition<V extends Node> extends Node {
   /** A bitmask of flags defined in {@linkplain DeclarationFlags}. */
   private final int flags;
 
@@ -21,7 +21,7 @@ public abstract class MemberDefinition<V extends Expression> extends Node {
    */
   private final Expression key;
 
-  /** The initial value of the member. */
+  /** The initial value / initializer of the member. */
   private final V value;
 
   /** The decorators applied to this member, if any. */

javascript/extractor/src/com/semmle/js/ast/NodeCopier.java

@@ -902,6 +902,6 @@ public class NodeCopier implements Visitor<Void, INode> {
 
   @Override
   public INode visit(StaticInitializer nd, Void c) {
-    return new StaticInitializer(visit(nd.getLoc()), copy(nd.getBody()));
+    return new StaticInitializer(visit(nd.getLoc()), copy(nd.getValue()));
   }
 }

javascript/extractor/src/com/semmle/js/ast/StaticInitializer.java

@@ -1,30 +1,12 @@
 package com.semmle.js.ast;
 
 /**
- * A static initializer block in a class.
+ * A static initializer block in a class. E.g. ```TypeScript class Foo { static
- * E.g. 
+ * bar : number; static { Foo.bar = 42; } }
- * ```TypeScript
- * class Foo {
- *  static bar : number;
- *  static {
- *   Foo.bar = 42;
- *  }
- * }
  */
-public class StaticInitializer extends MemberDefinition<Expression> {
+public class StaticInitializer extends MemberDefinition<BlockStatement> {
-  private final BlockStatement body;
-
   public StaticInitializer(SourceLocation loc, BlockStatement body) {
-    super("StaticInitializer", loc, DeclarationFlags.static_, null, null);
+    super("StaticInitializer", loc, DeclarationFlags.static_, null, body);
-    this.body = body;
-  }
-
-  /**
-   * Gets the body of this static initializer.
-   * @return The body of this static initializer.
-   */
-  public BlockStatement getBody() {
-    return body;
   }
 
   @Override
@@ -32,7 +14,6 @@ public class StaticInitializer extends MemberDefinition<Expression> {
     return false;
   }
 
-
   @Override
   public <C, R> R accept(Visitor<C, R> v, C c) {
     return v.visit(this, c);

javascript/extractor/src/com/semmle/js/extractor/ASTExtractor.java

@@ -1646,11 +1646,6 @@ public class ASTExtractor {
         }
       }
 
-      if (nd instanceof StaticInitializer) {
-        StaticInitializer si = (StaticInitializer) nd;
-        visit(si.getBody(), methkey, 3, IdContext.VAR_BIND);
-      }
-
       if (nd instanceof FieldDefinition) {
         FieldDefinition field = (FieldDefinition) nd;
         if (field.isParameterField() && constructorKey != null) {

javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java

@@ -1165,7 +1165,7 @@ public class CFGExtractor {
 
     private Void visit(Node nd, AClass ac, SuccessorInfo i) {
       for (MemberDefinition<?> md : ac.getBody().getBody()) {
-        if (md.isConstructor() && md.isConcrete()) constructor2Class.put(md.getValue(), ac);
+        if (md.isConstructor() && md.isConcrete()) constructor2Class.put((Expression)md.getValue(), ac);
       }
       visitSequence(ac.getId(), ac.getSuperClass(), ac.getBody(), nd);
       writeSuccessors(nd, visitSequence(getStaticInitializers(ac.getBody()), getDecoratorsOfClass(ac), i.getAllSuccessors()));
@@ -1627,7 +1627,7 @@ public class CFGExtractor {
       List<Node> nodes = new ArrayList<>();
       for (MemberDefinition<?> node : nd.getBody()) {
         if (node instanceof FieldDefinition && ((FieldDefinition)node).isStatic()) nodes.add(node);
-        if (node instanceof StaticInitializer) nodes.add(((StaticInitializer)node).getBody());
+        if (node instanceof StaticInitializer) nodes.add(node.getValue());
       }
       return nodes;
     }