check whether a given local variable is known to be unable to gain a definite non null or definite null status by the use of an enclosing flow info . the semantics are that if the current flow info marks the variable as potentially unknown or else as being both potentially null and potentially non null , then it wo n't ever be promoted as definitely null or definitely non null . it could still get promoted to definite unknown . concode_field_sep int NULL concode_elem_sep int tagBits concode_elem_sep UnconditionalFlowInfo DEAD_END concode_elem_sep int UNREACHABLE concode_elem_sep int REACHABLE concode_elem_sep int NULL_FLAG_MASK concode_elem_sep int UNKNOWN concode_elem_sep int NON_NULL concode_field_sep boolean isDefinitelyNull concode_elem_sep FlowInfo conditional concode_elem_sep boolean isPotentiallyNull concode_elem_sep boolean isDefinitelyAssigned concode_elem_sep boolean isDefinitelyAssigned concode_elem_sep boolean isDefinitelyUnknown concode_elem_sep boolean isProtectedNull concode_elem_sep boolean isProtectedNonNull concode_elem_sep boolean canOnlyBeNull concode_elem_sep UnconditionalFlowInfo unconditionalInitsWithoutSideEffect concode_elem_sep FlowInfo asNegatedCondition concode_elem_sep boolean cannotBeNull concode_elem_sep void markAsDefinitelyUnknown concode_elem_sep FlowInfo addPotentialInitializationsFrom concode_elem_sep FlowInfo copy concode_elem_sep boolean isPotentiallyNonNull concode_elem_sep boolean isPotentiallyUnknown concode_elem_sep UnconditionalFlowInfo mergedWith concode_elem_sep boolean isDefinitelyNonNull concode_elem_sep void markAsDefinitelyNonNull concode_elem_sep UnconditionalFlowInfo initial concode_elem_sep UnconditionalFlowInfo unconditionalFieldLessCopy concode_elem_sep FlowInfo initsWhenFalse concode_elem_sep boolean isPotentiallyAssigned concode_elem_sep boolean isPotentiallyAssigned concode_elem_sep UnconditionalFlowInfo nullInfoLessUnconditionalCopy concode_elem_sep FlowInfo initsWhenTrue concode_elem_sep UnconditionalFlowInfo mergedOptimizedBranches concode_elem_sep void markAsDefinitelyNull concode_elem_sep int reachMode concode_elem_sep UnconditionalFlowInfo unconditionalInits concode_elem_sep FlowInfo setReachMode concode_elem_sep void markAsComparedEqualToNull concode_elem_sep UnconditionalFlowInfo unconditionalCopy concode_elem_sep void markAsDefinitelyAssigned concode_elem_sep void markAsDefinitelyAssigned concode_elem_sep void markAsComparedEqualToNonNull concode_elem_sep FlowInfo addInitializationsFrom concode_elem_sep String toString concode_elem_sep FlowInfo safeInitsWhenTrue
boolean function ( LocalVariableBinding arg0 ) { return isPotentiallyUnknown ( arg0 ) || isPotentiallyNonNull ( arg0 ) && isPotentiallyNull ( arg0 ) ; }