WIP instantiate shared basic blocks lib

Author: owen-mc

go/ql/lib/semmle/go/controlflow/BasicBlocks.qll

@@ -4,7 +4,47 @@
 
 import go
 private import ControlFlowGraphImpl
+private import codeql.controlflow.BasicBlock as BB
+private import codeql.controlflow.SuccessorType
+
+private module Input implements BB::InputSig<Location> {
+  // /** Hold if `t` represents a conditional successor type. */
+  // predicate successorTypeIsCondition(SuccessorType t) { none() }
+  /** A delineated part of the AST with its own CFG. */
+  class CfgScope = ControlFlow::Root;
+
+  /** The class of control flow nodes. */
+  class Node = ControlFlowNode;
+
+  /** Gets the CFG scope in which this node occurs. */
+  CfgScope nodeGetCfgScope(Node node) { node.getRoot() = result }
+
+  /** Gets an immediate successor of this node. */
+  Node nodeGetASuccessor(Node node, SuccessorType t) { result = node.getASuccessor(t) }
+  // /**
+  //  * Holds if `node` represents an entry node to be used when calculating
+  //  * dominance.
+  //  */
+  // predicate nodeIsDominanceEntry(Node node) {
+  //   exists(Stmt entrystmt | entrystmt = node.asStmt() |
+  //     exists(Callable c | entrystmt = c.getBody())
+  //     or
+  //     // This disjunct is technically superfluous, but safeguards against extractor problems.
+  //     entrystmt instanceof BlockStmt and
+  //     not exists(entrystmt.getEnclosingCallable()) and
+  //     not entrystmt.getParent() instanceof Stmt
+  //   )
+  // }
+  // /**
+  //  * Holds if `node` represents an exit node to be used when calculating
+  //  * post dominance.
+  //  */
+  // predicate nodeIsPostDominanceExit(Node node) { node instanceof ControlFlow::NormalExitNode }
+}
+
+private module BbImpl = BB::Make<Location, Input>;
 
+// import BbImpl
 /**
  * Holds if `nd` starts a new basic block.
  */