fun hasDefClearPathToMethodExit(duVertex: Definition): Boolean { require(graph.containsVertex(duVertex)) { "vertex not in graph" } return if (duVertex.isLocalDU()) false else hasDefClearPathToMethodExit( duVertex, duVertex, HashSet<BytecodeInstruction>() ) }
< p > hasDefClearPathToMethodExit < /p >