public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
@Override public UnconditionalFlowInfo mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergeDefiniteInitsWith(otherInits); } @Override
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
@Override public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergedWith(otherInits); } @Override
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergedWith(otherInits); }
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
public UnconditionalFlowInfo mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergeDefiniteInitsWith(otherInits); } public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() {
@Override public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergedWith(otherInits); }
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergedWith(otherInits); } public UnconditionalFlowInfo mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits) {
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }
public static FlowInfo conditional(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){ if (initsWhenTrue == initsWhenFalse) return initsWhenTrue; // if (initsWhenTrue.equals(initsWhenFalse)) return initsWhenTrue; -- could optimize if #equals is defined return new ConditionalFlowInfo(initsWhenTrue, initsWhenFalse); }
public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) { return unconditionalInits().mergedWith(otherInits); }
public UnconditionalFlowInfo nullInfoLessUnconditionalCopy() { return unconditionalInitsWithoutSideEffect(). nullInfoLessUnconditionalCopy(); }