public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) {
LocalVariableBinding local = this.expression.localVariableBinding();
if (local != null && (local.type.tagBits & TagBits.IsBaseType) == 0) {
flowInfo =
this.expression.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits();
FlowInfo initsWhenTrue = flowInfo.copy();
initsWhenTrue.markAsComparedEqualToNonNull(local);
if ((flowContext.tagBits & FlowContext.HIDE_NULL_COMPARISON_WARNING) != 0) {
initsWhenTrue.markedAsNullOrNonNullInAssertExpression(local);
}
flowContext.recordUsingNullReference(
currentScope,
local,
this.expression,
FlowContext.CAN_ONLY_NULL | FlowContext.IN_INSTANCEOF,
flowInfo);
// no impact upon enclosing try context
return FlowInfo.conditional(initsWhenTrue, flowInfo.copy());
}
return this.expression.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits();
}
