org.aspectj.org.eclipse.jdt.internal.compiler.flow

Class ConditionalFlowInfo

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.flow.FlowInfo

org.aspectj.org.eclipse.jdt.internal.compiler.flow.ConditionalFlowInfo

public class ConditionalFlowInfo
extends FlowInfo

Record conditional initialization status during definite assignment analysis

Field Summary

Fields

Modifier and Type	Field and Description
FlowInfo	initsWhenFalse
FlowInfo	initsWhenTrue

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.flow.FlowInfo

DEAD_END, NON_NULL, NULL, NULL_FLAG_MASK, POTENTIALLY_NON_NULL, POTENTIALLY_NULL, POTENTIALLY_UNKNOWN, REACHABLE, tagBits, UNKNOWN, UNREACHABLE, UNREACHABLE_BY_NULLANALYSIS, UNREACHABLE_OR_DEAD, UNROOTED

Method Summary

Modifier and Type	Method and Description
FlowInfo	addInitializationsFrom(FlowInfo otherInits) Add other inits to this flow info, then return this.
FlowInfo	addNullInfoFrom(FlowInfo otherInits) Add all null information from otherInits to this flow info and return this.
FlowInfo	addPotentialInitializationsFrom(FlowInfo otherInits) Compose other inits over this flow info, then return this.
FlowInfo	asNegatedCondition()
FlowInfo	copy() Return a deep copy of the current instance.
boolean	hasNullInfoFor(LocalVariableBinding local) Check if any null info has been recorded for a given local variable.
FlowInfo	initsWhenFalse() Return the flow info that would result from the path associated to the value false for the condition expression that generated this flow info.
FlowInfo	initsWhenTrue() Return the flow info that would result from the path associated to the value true for the condition expression that generated this flow info.
boolean	isDefinitelyAssigned(FieldBinding field) Check status of definite assignment for a field.
boolean	isDefinitelyAssigned(LocalVariableBinding local) Check status of definite assignment for a local.
boolean	isDefinitelyNonNull(LocalVariableBinding local) Check status of definite non-null value for a given local variable.
boolean	isDefinitelyNull(LocalVariableBinding local) Check status of definite null value for a given local variable.
boolean	isDefinitelyUnknown(LocalVariableBinding local) Check status of definite unknown value for a given local variable.
boolean	isPotentiallyAssigned(FieldBinding field) Check status of potential assignment for a field.
boolean	isPotentiallyAssigned(LocalVariableBinding local) Check status of potential assignment for a local variable.
boolean	isPotentiallyNonNull(LocalVariableBinding local) Check status of potential null assignment for a local.
boolean	isPotentiallyNull(LocalVariableBinding local) Check status of potential null assignment for a local.
boolean	isPotentiallyUnknown(LocalVariableBinding local) Return true if the given local may have been assigned to an unknown value.
boolean	isProtectedNonNull(LocalVariableBinding local) Return true if the given local is protected by a test against a non null value.
boolean	isProtectedNull(LocalVariableBinding local) Return true if the given local is protected by a test against null.
void	markAsComparedEqualToNonNull(LocalVariableBinding local) Record that a local variable got checked to be non null.
void	markAsComparedEqualToNull(LocalVariableBinding local) Record that a local variable got checked to be null.
void	markAsDefinitelyAssigned(FieldBinding field) Record a field got definitely assigned.
void	markAsDefinitelyAssigned(LocalVariableBinding local) Record a local got definitely assigned.
void	markAsDefinitelyNonNull(LocalVariableBinding local) Record a local got definitely assigned to a non-null value.
void	markAsDefinitelyNull(LocalVariableBinding local) Record a local got definitely assigned to null.
void	markAsDefinitelyUnknown(LocalVariableBinding local) Record a local got definitely assigned to an unknown value.
void	markPotentiallyNonNullBit(LocalVariableBinding local) Record a local may have got assigned to non-null (set the bit on existing info).
void	markPotentiallyNullBit(LocalVariableBinding local) Record a local may have got assigned to null (set the bit on existing info).
void	markPotentiallyUnknownBit(LocalVariableBinding local) Record a local may have got assigned to unknown (set the bit on existing info).
UnconditionalFlowInfo	mergedWith(UnconditionalFlowInfo otherInits) Return the intersection of this and otherInits, that is one of: the receiver updated in the following way: intersection of definitely assigned variables, union of potentially assigned variables, similar operations for null, or the receiver or otherInits if the other one is non reachable. otherInits is not affected, and is not returned either (no need to protect the result).
UnconditionalFlowInfo	nullInfoLessUnconditionalCopy() Return a copy of this unconditional flow info, deprived from its null info.
void	resetAssignmentInfo(LocalVariableBinding local) Resets the definite and potential initialization info for the given local variable
void	resetNullInfo(LocalVariableBinding local) Reset all null-information about a given local.
FlowInfo	safeInitsWhenTrue() Return a flow info that carries the same information as the result of initsWhenTrue, but warrantied to be different from this. Caveat: side effects on the result may affect components of this.
FlowInfo	setReachMode(int reachMode) Set this flow info reach mode and return this.
java.lang.String	toString()
UnconditionalFlowInfo	unconditionalCopy() Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected.
UnconditionalFlowInfo	unconditionalFieldLessCopy() Return a new flow info that holds the same information as this would after a call to unconditionalInits followed by the erasure of fields specific information, but leaving this flow info unaffected.
UnconditionalFlowInfo	unconditionalInits() Return a flow info that merges the possible paths of execution described by this flow info.
UnconditionalFlowInfo	unconditionalInitsWithoutSideEffect() Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected.

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.flow.FlowInfo

cannotBeDefinitelyNullOrNonNull, cannotBeNull, canOnlyBeNull, conditional, initial, markNullStatus, mergedOptimizedBranches, mergedOptimizedBranchesIfElse, mergeNullStatus, nullStatus, reachMode, tagBitsToNullStatus

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

initsWhenTrue

public FlowInfo initsWhenTrue

initsWhenFalse

public FlowInfo initsWhenFalse

Method Detail

addInitializationsFrom

public FlowInfo addInitializationsFrom(FlowInfo otherInits)

Description copied from class: FlowInfo

Add other inits to this flow info, then return this. The operation semantics are to match as closely as possible the application to this flow info of all the operations that resulted into otherInits.

Specified by:

addInitializationsFrom in class FlowInfo

Parameters:

otherInits - other inits to add to this

Returns:

this, modified according to otherInits information

addNullInfoFrom

public FlowInfo addNullInfoFrom(FlowInfo otherInits)

Description copied from class: FlowInfo

Add all null information from otherInits to this flow info and return this. The operation models the effect of an unconditional sequence of this flow info and otherInits.

Specified by:

addNullInfoFrom in class FlowInfo

addPotentialInitializationsFrom

public FlowInfo addPotentialInitializationsFrom(FlowInfo otherInits)

Description copied from class: FlowInfo

Compose other inits over this flow info, then return this. The operation semantics are to wave into this flow info the consequences of a possible path into the operations that resulted into otherInits. The fact that this path may be left unexecuted under peculiar conditions results into less specific results than addInitializationsFrom.

Specified by:

addPotentialInitializationsFrom in class FlowInfo

Parameters:

otherInits - other inits to compose over this

Returns:

this, modified according to otherInits information

asNegatedCondition

public FlowInfo asNegatedCondition()

Overrides:

asNegatedCondition in class FlowInfo

copy

public FlowInfo copy()

Description copied from class: FlowInfo

Return a deep copy of the current instance.

Specified by:

copy in class FlowInfo

Returns:

a deep copy of this flow info

initsWhenFalse

public FlowInfo initsWhenFalse()

Description copied from class: FlowInfo

Return the flow info that would result from the path associated to the value false for the condition expression that generated this flow info. May be this flow info if it is not an instance of ConditionalFlowInfo. May have a side effect on subparts of this flow info (subtrees get merged).

Specified by:

initsWhenFalse in class FlowInfo

Returns:

the flow info associated to the false branch of the condition that generated this flow info

initsWhenTrue

public FlowInfo initsWhenTrue()

Description copied from class: FlowInfo

Return the flow info that would result from the path associated to the value true for the condition expression that generated this flow info. May be this flow info if it is not an instance of ConditionalFlowInfo. May have a side effect on subparts of this flow info (subtrees get merged).

Specified by:

initsWhenTrue in class FlowInfo

Returns:

the flow info associated to the true branch of the condition that generated this flow info

isDefinitelyAssigned

public boolean isDefinitelyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Check status of definite assignment for a field.

Specified by:

isDefinitelyAssigned in class FlowInfo

isDefinitelyAssigned

public boolean isDefinitelyAssigned(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of definite assignment for a local.

Specified by:

isDefinitelyAssigned in class FlowInfo

isDefinitelyNonNull

public boolean isDefinitelyNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of definite non-null value for a given local variable.

Specified by:

isDefinitelyNonNull in class FlowInfo

Parameters:

local - the variable to ckeck

Returns:

true iff local is definitely non null for this flow info

isDefinitelyNull

public boolean isDefinitelyNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of definite null value for a given local variable.

Specified by:

isDefinitelyNull in class FlowInfo

Parameters:

local - the variable to ckeck

Returns:

true iff local is definitely null for this flow info

isDefinitelyUnknown

public boolean isDefinitelyUnknown(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of definite unknown value for a given local variable.

Specified by:

isDefinitelyUnknown in class FlowInfo

Parameters:

local - the variable to ckeck

Returns:

true iff local is definitely unknown for this flow info

hasNullInfoFor

public boolean hasNullInfoFor(LocalVariableBinding local)

Description copied from class: FlowInfo

Check if any null info has been recorded for a given local variable. Here even recording of 'UNKNOWN' is considered as null info.

Specified by:

hasNullInfoFor in class FlowInfo

isPotentiallyAssigned

public boolean isPotentiallyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Check status of potential assignment for a field.

Specified by:

isPotentiallyAssigned in class FlowInfo

isPotentiallyAssigned

public boolean isPotentiallyAssigned(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of potential assignment for a local variable.

Specified by:

isPotentiallyAssigned in class FlowInfo

isPotentiallyNonNull

public boolean isPotentiallyNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of potential null assignment for a local. Return true if there is a reasonable expectation that the variable be non null at this point.

Specified by:

isPotentiallyNonNull in class FlowInfo

Parameters:

local - LocalVariableBinding - the binding for the checked local

Returns:

true if there is a reasonable expectation that local be non null at this point

isPotentiallyNull

public boolean isPotentiallyNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of potential null assignment for a local. Return true if there is a reasonable expectation that the variable be null at this point. This includes the protected null case, so as to augment diagnostics, but does not really check that someone deliberately assigned to null on any specific path

Specified by:

isPotentiallyNull in class FlowInfo

Parameters:

local - LocalVariableBinding - the binding for the checked local

Returns:

true if there is a reasonable expectation that local be null at this point

isPotentiallyUnknown

public boolean isPotentiallyUnknown(LocalVariableBinding local)

Description copied from class: FlowInfo

Return true if the given local may have been assigned to an unknown value.

Specified by:

isPotentiallyUnknown in class FlowInfo

Parameters:

local - the local to check

Returns:

true if the given local may have been assigned to an unknown value

isProtectedNonNull

public boolean isProtectedNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Return true if the given local is protected by a test against a non null value.

Specified by:

isProtectedNonNull in class FlowInfo

Parameters:

local - the local to check

Returns:

true if the given local is protected by a test against a non null

isProtectedNull

public boolean isProtectedNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Return true if the given local is protected by a test against null.

Specified by:

isProtectedNull in class FlowInfo

Parameters:

local - the local to check

Returns:

true if the given local is protected by a test against null

markAsComparedEqualToNonNull

public void markAsComparedEqualToNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Record that a local variable got checked to be non null.

Specified by:

markAsComparedEqualToNonNull in class FlowInfo

Parameters:

local - the checked local variable

markAsComparedEqualToNull

public void markAsComparedEqualToNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Record that a local variable got checked to be null.

Specified by:

markAsComparedEqualToNull in class FlowInfo

Parameters:

local - the checked local variable

markAsDefinitelyAssigned

public void markAsDefinitelyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Record a field got definitely assigned.

Specified by:

markAsDefinitelyAssigned in class FlowInfo

markAsDefinitelyAssigned

public void markAsDefinitelyAssigned(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned.

Specified by:

markAsDefinitelyAssigned in class FlowInfo

markAsDefinitelyNonNull

public void markAsDefinitelyNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned to a non-null value.

Specified by:

markAsDefinitelyNonNull in class FlowInfo

markAsDefinitelyNull

public void markAsDefinitelyNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned to null.

Specified by:

markAsDefinitelyNull in class FlowInfo

resetNullInfo

public void resetNullInfo(LocalVariableBinding local)

Description copied from class: FlowInfo

Reset all null-information about a given local.

Specified by:

resetNullInfo in class FlowInfo

markPotentiallyNullBit

public void markPotentiallyNullBit(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local may have got assigned to null (set the bit on existing info).

Specified by:

markPotentiallyNullBit in class FlowInfo

markPotentiallyNonNullBit

public void markPotentiallyNonNullBit(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local may have got assigned to non-null (set the bit on existing info).

Specified by:

markPotentiallyNonNullBit in class FlowInfo

markAsDefinitelyUnknown

public void markAsDefinitelyUnknown(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned to an unknown value.

Specified by:

markAsDefinitelyUnknown in class FlowInfo

markPotentiallyUnknownBit

public void markPotentiallyUnknownBit(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local may have got assigned to unknown (set the bit on existing info).

Specified by:

markPotentiallyUnknownBit in class FlowInfo

setReachMode

public FlowInfo setReachMode(int reachMode)

Description copied from class: FlowInfo

Set this flow info reach mode and return this.

Specified by:

setReachMode in class FlowInfo

Parameters:

reachMode - one of REACHABLE, UNREACHABLE_OR_DEAD, UNREACHABLE_BY_NULLANALYSIS or UNREACHABLE

Returns:

this, with the reach mode set to reachMode

mergedWith

public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits)

Description copied from class: FlowInfo

Return the intersection of this and otherInits, that is one of:

• the receiver updated in the following way:
  • intersection of definitely assigned variables,
  • union of potentially assigned variables,
  • similar operations for null,
• or the receiver or otherInits if the other one is non reachable.

otherInits is not affected, and is not returned either (no need to protect the result).

Specified by:

mergedWith in class FlowInfo

Parameters:

otherInits - the flow info to merge with this

Returns:

the intersection of this and otherInits.

nullInfoLessUnconditionalCopy

public UnconditionalFlowInfo nullInfoLessUnconditionalCopy()

Description copied from class: FlowInfo

Return a copy of this unconditional flow info, deprived from its null info. DEAD_END is returned unmodified.

Specified by:

nullInfoLessUnconditionalCopy in class FlowInfo

Returns:

a copy of this unconditional flow info deprived from its null info

toString

public java.lang.String toString()

Overrides:

toString in class FlowInfo

safeInitsWhenTrue

public FlowInfo safeInitsWhenTrue()

Description copied from class: FlowInfo

Return a flow info that carries the same information as the result of initsWhenTrue, but warrantied to be different from this.
Caveat: side effects on the result may affect components of this.

Specified by:

safeInitsWhenTrue in class FlowInfo

Returns:

the result of initsWhenTrue or a copy of it

unconditionalCopy

public UnconditionalFlowInfo unconditionalCopy()

Description copied from class: FlowInfo

Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected. Moreover, the result can be modified without affecting this.

Specified by:

unconditionalCopy in class FlowInfo

Returns:

a new flow info carrying this unconditional flow info

unconditionalFieldLessCopy

public UnconditionalFlowInfo unconditionalFieldLessCopy()

Description copied from class: FlowInfo

Return a new flow info that holds the same information as this would after a call to unconditionalInits followed by the erasure of fields specific information, but leaving this flow info unaffected.

Specified by:

unconditionalFieldLessCopy in class FlowInfo

Returns:

a new flow info carrying the unconditional flow info for local variables

unconditionalInits

public UnconditionalFlowInfo unconditionalInits()

Description copied from class: FlowInfo

Return a flow info that merges the possible paths of execution described by this flow info. In case of an unconditional flow info, return this. In case of a conditional flow info, merge branches recursively. Caveat: this may be affected, and modifying the result may affect this.

Specified by:

unconditionalInits in class FlowInfo

Returns:

a flow info that merges the possible paths of execution described by this

unconditionalInitsWithoutSideEffect

public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect()

Description copied from class: FlowInfo

Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected. Side effects on the result might affect this though (consider it as read only).

Specified by:

unconditionalInitsWithoutSideEffect in class FlowInfo

Returns:

a flow info carrying this unconditional flow info

resetAssignmentInfo

public void resetAssignmentInfo(LocalVariableBinding local)

Description copied from class: FlowInfo

Resets the definite and potential initialization info for the given local variable

Specified by:

resetAssignmentInfo in class FlowInfo