Examples of org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo.discardInitializationInfo()

Package org.eclipse.jdt.internal.compiler.flow

Class org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo

Examples of org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo.discardInitializationInfo()

org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo.discardInitializationInfo()
Discard definite inits and potential inits from this, then return this. The returned flow info only holds null related information. @return this flow info, minus definite inits and potential inits

          // viz. org.eclipse.core.runtime.Assert.isLegal(false && o != null)
          
          // keep the merge from the initial code for the definite assignment
          // analysis, tweak the null part to influence nulls downstream
          flowInfo = flowInfo.mergedWith(assertInfo.nullInfoLessUnconditionalCopy()).
            addInitializationsFrom(assertWhenTrueInfo.discardInitializationInfo());
        }
      } else {
        flowInfo = argument.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits();
      }
      if (analyseResources) {

View Full Code Here

    // viz. org.eclipse.core.runtime.Assert.isLegal(false && o != null)
    
    // keep the merge from the initial code for the definite assignment
    // analysis, tweak the null part to influence nulls downstream
    flowInfo = flowInfo.mergedWith(assertWhenFailInfo.nullInfoLessUnconditionalCopy()).
      addInitializationsFrom(assertWhenPassInfo.discardInitializationInfo());
  }
  return flowInfo;
}
private FlowInfo analyseNullAssertion(BlockScope currentScope, Expression argument,
    FlowContext flowContext, FlowInfo flowInfo, boolean expectingNull)

View Full Code Here

    // viz. org.eclipse.core.runtime.Assert.isLegal(false && o != null)
    
    // keep the merge from the initial code for the definite assignment
    // analysis, tweak the null part to influence nulls downstream
    flowInfo = flowInfo.mergedWith(assertWhenFailInfo.nullInfoLessUnconditionalCopy()).
      addInitializationsFrom(assertWhenPassInfo.discardInitializationInfo());
  }
  return flowInfo;
}
private FlowInfo analyseNullAssertion(BlockScope currentScope, Expression argument,
    FlowContext flowContext, FlowInfo flowInfo, boolean expectingNull)

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.