Injector BooleanCompletion
The expression completes with value outerValue
overall and with the last control
flow node having value innerValue
.
Import path
import semmle.code.java.Completion
BooleanCompletion BooleanCompletion(boolean outerValue, boolean innerValue)