Definition getDef ( String name , Node useNode ) { checkArgument ( getCfg ( ) . hasNode ( useNode ) ) ; GraphNode < Node , Branch > n = getCfg ( ) . getNode ( useNode ) ; FlowState < MustDef > state = n . getAnnotation ( ) ; return state . getIn ( ) . reachingDef . get ( allVarsInFn . get ( name ) ) ; }
Gets the must reaching definition of a given node .