/** * Perform deferred checks relative to the null status of local variables. * @param scope the scope to which this context is associated * @param callerFlowInfo the flow info against which checks must be performed */ public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo) { complainOnDeferredNullChecks(scope, callerFlowInfo, true); } public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo, boolean updateInitsOnBreak) {
/** * Perform deferred checks relative to the null status of local variables. * @param scope the scope to which this context is associated * @param callerFlowInfo the flow info against which checks must be performed */ public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo) { complainOnDeferredNullChecks(scope, callerFlowInfo, true); } public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo, boolean updateInitsOnBreak) {
/** * Perform deferred checks relative to the null status of local variables. * @param scope the scope to which this context is associated * @param callerFlowInfo the flow info against which checks must be performed */ public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo) { complainOnDeferredNullChecks(scope, callerFlowInfo, true); } public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo, boolean updateInitsOnBreak) {
/** * Perform deferred checks relative to the null status of local variables. * @param scope the scope to which this context is associated * @param callerFlowInfo the flow info against which checks must be performed */ public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo) { complainOnDeferredNullChecks(scope, callerFlowInfo, true); } public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo, boolean updateInitsOnBreak) {
/** * Perform deferred checks relative to the null status of local variables. * @param scope the scope to which this context is associated * @param callerFlowInfo the flow info against which checks must be performed */ public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo) { complainOnDeferredNullChecks(scope, callerFlowInfo, true); } public void complainOnDeferredNullChecks(BlockScope scope, FlowInfo callerFlowInfo, boolean updateInitsOnBreak) {
loopingContext.complainOnDeferredFinalChecks(currentScope, condInfo); condLoopContext.complainOnDeferredFinalChecks(currentScope, condInfo); loopingContext.complainOnDeferredNullChecks(currentScope, flowInfo.unconditionalCopy().addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits())); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo.addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits())); } else { loopingContext.complainOnDeferredNullChecks(currentScope, flowInfo.unconditionalCopy().addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits()), false); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo.addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits()), false);
loopingContext.complainOnDeferredFinalChecks(currentScope, condInfo); condLoopContext.complainOnDeferredFinalChecks(currentScope, condInfo); loopingContext.complainOnDeferredNullChecks(currentScope, flowInfo.unconditionalCopy().addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits())); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo.addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits()));
condLoopContext.complainOnDeferredFinalChecks(currentScope, condInfo); condLoopContext.complainOnDeferredNullChecks(currentScope, condInfo.unconditionalInits()); if (isConditionTrue) { condInfo); actionInfo = actionInfo.mergedWith(loopingContext.initsOnContinue.unconditionalInits()); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo); loopingContext.complainOnDeferredFinalChecks(currentScope, actionInfo); loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); exitBranch.
condLoopContext.complainOnDeferredFinalChecks(currentScope, condInfo); condLoopContext.complainOnDeferredNullChecks(currentScope, condInfo.unconditionalInits()); if (isConditionTrue) { condInfo); actionInfo = actionInfo.mergedWith(loopingContext.initsOnContinue.unconditionalInits()); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo); loopingContext.complainOnDeferredFinalChecks(currentScope, actionInfo); loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); exitBranch.
loopingContext.complainOnDeferredFinalChecks(currentScope, condInfo); condLoopContext.complainOnDeferredFinalChecks(currentScope, condInfo); loopingContext.complainOnDeferredNullChecks(currentScope, flowInfo.unconditionalCopy().addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits())); condLoopContext.complainOnDeferredNullChecks(currentScope, actionInfo.addPotentialNullInfoFrom( condInfo.initsWhenTrue().unconditionalInits()));
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo);
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); if (loopingContext.hasEscapingExceptions()) { // https://bugs.eclipse.org/bugs/show_bug.cgi?id=321926 FlowInfo loopbackFlowInfo = flowInfo.copy();
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); if (loopingContext.hasEscapingExceptions()) { // https://bugs.eclipse.org/bugs/show_bug.cgi?id=321926 FlowInfo loopbackFlowInfo = flowInfo.copy();
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); if (loopingContext.hasEscapingExceptions()) { // https://bugs.eclipse.org/bugs/show_bug.cgi?id=321926 FlowInfo loopbackFlowInfo = flowInfo.copy();
loopingContext.complainOnDeferredNullChecks(currentScope, actionInfo); if (loopingContext.hasEscapingExceptions()) { // https://bugs.eclipse.org/bugs/show_bug.cgi?id=321926 FlowInfo loopbackFlowInfo = flowInfo.copy();