Class UnconditionalDualFlowInfo

java.lang.Object

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

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

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

public class UnconditionalDualFlowInfo
extends UnconditionalFlowInfo

A wrapper for two flow infos being co-maintained side-by-side. Dispatch all modifications to both variant infos. Where copying is involved wrap the result in a new DualFlowInfo or UnconditionalDualFlowInfo.

Nested Class Summary

Nested classes/interfaces inherited from class UnconditionalFlowInfo

UnconditionalFlowInfo.AssertionFailedException

Field Summary

Fields inherited from class UnconditionalFlowInfo

BitCacheSize, COVERAGE_TEST_FLAG, CoverageTestId, DEFIN, definiteInits, DEFINN, extra, extraLength, iDefNBit, iDefNNBit, IN, iNBit, INN, iNNBit, maxFieldCount, nullBit1, nullBit2, nullBit3, nullBit4, potentialInits

Fields inherited from class FlowInfo

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

Constructor Summary

Constructors

Constructor	Description
UnconditionalDualFlowInfo(FlowInfo mainInits, FlowInfo companionInits)

Method Summary

Modifier and Type	Method	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.
FlowInfo	getMainInits()
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	isPotentiallyAssigned(FieldBinding field)	Check status of potential assignment for a field.
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)	Mark a local as having been 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)	Mark a local as potentially having been assigned to an unknown value.
UnconditionalFlowInfo	mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
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	setReachMode(int reachMode)	Set this flow info reach mode and return this.
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.

Methods inherited from class UnconditionalFlowInfo

acceptAllIncomingNullness, acceptIncomingNullnessFrom, addPotentialNullInfoFrom, cannotBeDefinitelyNullOrNonNull, cannotBeNull, canOnlyBeNull, discardInitializationInfo, discardNonFieldInitializations, fakeInitializedFlowInfo, growSpace, hasInits, hasNullInfoFor, initsWhenFalse, initsWhenTrue, isDefinitelyNonNull, isDefinitelyNull, isDefinitelyUnknown, isPotentiallyAssigned, isPotentiallyNonNull, isPotentiallyNull, isPotentiallyUnknown, isProtectedNonNull, isProtectedNull, isTrue, resetAssignmentInfo, safeInitsWhenTrue, toString, unconditionalInits, unconditionalInitsWithoutSideEffect

Methods inherited from class FlowInfo

conditional, initial, markNullStatus, mergedOptimizedBranches, mergedOptimizedBranchesIfElse, mergeNullStatus, nullStatus, reachMode, tagBitsToNullStatus

Methods inherited from class Object

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

Constructor Details

UnconditionalDualFlowInfo

public UnconditionalDualFlowInfo(FlowInfo mainInits,
 FlowInfo companionInits)

Method Details

getMainInits

public FlowInfo getMainInits()

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.

Overrides:

addInitializationsFrom in class UnconditionalFlowInfo

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.

Overrides:

addNullInfoFrom in class UnconditionalFlowInfo

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.

Overrides:

addPotentialInitializationsFrom in class UnconditionalFlowInfo

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.

Overrides:

copy in class UnconditionalFlowInfo

Returns:

a deep copy of this flow info

isDefinitelyAssigned

public boolean isDefinitelyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Check status of definite assignment for a field.

Overrides:

isDefinitelyAssigned in class UnconditionalFlowInfo

isDefinitelyAssigned

public boolean isDefinitelyAssigned(LocalVariableBinding local)

Description copied from class: FlowInfo

Check status of definite assignment for a local.

Overrides:

isDefinitelyAssigned in class UnconditionalFlowInfo

isPotentiallyAssigned

public boolean isPotentiallyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Check status of potential assignment for a field.

Overrides:

isPotentiallyAssigned in class UnconditionalFlowInfo

markAsComparedEqualToNonNull

public void markAsComparedEqualToNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

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

Overrides:

markAsComparedEqualToNonNull in class UnconditionalFlowInfo

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.

Overrides:

markAsComparedEqualToNull in class UnconditionalFlowInfo

Parameters:

local - the checked local variable

markAsDefinitelyAssigned

public void markAsDefinitelyAssigned(FieldBinding field)

Description copied from class: FlowInfo

Record a field got definitely assigned.

Overrides:

markAsDefinitelyAssigned in class UnconditionalFlowInfo

markAsDefinitelyAssigned

public void markAsDefinitelyAssigned(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned.

Overrides:

markAsDefinitelyAssigned in class UnconditionalFlowInfo

markAsDefinitelyNonNull

public void markAsDefinitelyNonNull(LocalVariableBinding local)

Description copied from class: FlowInfo

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

Overrides:

markAsDefinitelyNonNull in class UnconditionalFlowInfo

markAsDefinitelyNull

public void markAsDefinitelyNull(LocalVariableBinding local)

Description copied from class: FlowInfo

Record a local got definitely assigned to null.

Overrides:

markAsDefinitelyNull in class UnconditionalFlowInfo

markAsDefinitelyUnknown

public void markAsDefinitelyUnknown(LocalVariableBinding local)

Description copied from class: UnconditionalFlowInfo

Mark a local as having been assigned to an unknown value.

Overrides:

markAsDefinitelyUnknown in class UnconditionalFlowInfo

Parameters:

local - the local to mark

markPotentiallyUnknownBit

public void markPotentiallyUnknownBit(LocalVariableBinding local)

Description copied from class: UnconditionalFlowInfo

Mark a local as potentially having been assigned to an unknown value.

Overrides:

markPotentiallyUnknownBit in class UnconditionalFlowInfo

Parameters:

local - the local to mark

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).

Overrides:

markPotentiallyNullBit in class UnconditionalFlowInfo

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).

Overrides:

markPotentiallyNonNullBit in class UnconditionalFlowInfo

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).

Overrides:

mergedWith in class UnconditionalFlowInfo

Parameters:

otherInits - the flow info to merge with this

Returns:

the intersection of this and otherInits.

mergeDefiniteInitsWith

public UnconditionalFlowInfo mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)

Overrides:

mergeDefiniteInitsWith in class UnconditionalFlowInfo

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.

Overrides:

nullInfoLessUnconditionalCopy in class UnconditionalFlowInfo

Returns:

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

resetNullInfo

public void resetNullInfo(LocalVariableBinding local)

Description copied from class: FlowInfo

Reset all null-information about a given local.

Overrides:

resetNullInfo in class UnconditionalFlowInfo

resetAssignmentInfo

public void resetAssignmentInfo(LocalVariableBinding local)

Description copied from class: FlowInfo

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

Overrides:

resetAssignmentInfo in class UnconditionalFlowInfo

setReachMode

public FlowInfo setReachMode(int reachMode)

Description copied from class: FlowInfo

Set this flow info reach mode and return this.

Overrides:

setReachMode in class UnconditionalFlowInfo

Parameters:

reachMode - one of REACHABLE, UNREACHABLE_OR_DEAD, UNREACHABLE_BY_NULLANALYSIS or UNREACHABLE

Returns:

this, with the reach mode set to reachMode

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.

Overrides:

unconditionalCopy in class UnconditionalFlowInfo

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.

Overrides:

unconditionalFieldLessCopy in class UnconditionalFlowInfo

Returns:

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