public DesignExtractor() { PkbReference = Initialization.PkbReference; }
public SuchThat(DeclarationsArray Declarations) { this.Declarations = Declarations; Pkb = Initialization.PkbReference; }
public Parser() { PkbReference = Initialization.PkbReference; }
public ControlFlowGraph() { this.CfgRoots = new List <CfgNode>(); PkbReference = Initialization.PkbReference; }