protected void initialize ( ) { // TODO(user): Calling clear doesn't deallocate the memory in a // LinkedHashSet. Consider creating a new work set if we plan to repeatedly // call analyze. orderedWorkSet . clear ( ) ; for ( DiGraphNode < N , Branch > node : cfg . getDirectedGraphNodes ( ) ) { node . setAnnotation ( new FlowState <> ( createInitialEstimateLattice ( ) , createInitialEstimateLattice ( ) ) ) ; if ( node != cfg . getImplicitReturn ( ) ) { orderedWorkSet . add ( node ) ; } } }
Initializes the work list and the control flow graph .