if (branches()) { if (context.considerAccessMode() && fAccessModes != null) { for (int i= 0; i < fAccessModes.length; i++) fAccessModes[i]= ACCESS_MODE_OPEN_BRANCH_TABLE[getIndex(fAccessModes[i])]; } if (context.considerExecutionFlow() && fReturnKind == VALUE_RETURN) fReturnKind= PARTIAL_RETURN; }
	private void mergeBranches(FlowInfo otherInfo, FlowContext context) {		HashSet otherBranches= otherInfo.fBranches;		if (otherBranches != null) {			if (fBranches == null) {				fBranches= otherBranches;			} else {				Iterator iter= otherBranches.iterator();				while (iter.hasNext()) {					Object elem= iter.next();					fBranches.add(elem);				}			}		}	}