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

Class UnconditionalFlowInfo

java.lang.Object
org.aspectj.org.eclipse.jdt.internal.compiler.flow.FlowInfo
org.aspectj.org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo
public class UnconditionalFlowInfo extends FlowInfo
Record initialization status during definite assignment analysis No caching of pre-allocated instances.

  • Field Details

    • COVERAGE_TEST_FLAG

      public static final boolean COVERAGE_TEST_FLAG
      See Also:
      Constant Field Values

    • CoverageTestId

      public static int CoverageTestId

    • definiteInits

      public long definiteInits

    • potentialInits

      public long potentialInits

    • nullBit1

      public long nullBit1

    • nullBit2

      public long nullBit2

    • nullBit3

      public long nullBit3

    • nullBit4

      public long nullBit4

    • iNBit

      public long iNBit

    • iNNBit

      public long iNNBit

    • extraLength

      public static final int extraLength
      See Also:
      Constant Field Values

    • extra

      public long[][] extra

    • maxFieldCount

      public int maxFieldCount

    • BitCacheSize

      public static final int BitCacheSize
      See Also:
      Constant Field Values

    • IN

      public static final int IN
      See Also:
      Constant Field Values

    • INN

      public static final int INN
      See Also:
      Constant Field Values

  • Constructor Details

    • UnconditionalFlowInfo

      public UnconditionalFlowInfo()

  • Method Details

    • fakeInitializedFlowInfo

      public static UnconditionalFlowInfo fakeInitializedFlowInfo​(int localsCount, int maxFieldCount)

    • addInitializationsFrom

      public FlowInfo addInitializationsFrom​(FlowInfo inits)
      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:
      inits - other inits to add to this
      Returns:
      this, modified according to otherInits information

    • addNullInfoFrom

      public FlowInfo addNullInfoFrom​(FlowInfo inits)
      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 inits)
      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:
      inits - other inits to compose over this
      Returns:
      this, modified according to otherInits information

    • addPotentialNullInfoFrom

      public UnconditionalFlowInfo addPotentialNullInfoFrom​(UnconditionalFlowInfo otherInits)
      Compose other inits over this flow info, then return this. The operation semantics are to wave into this flow info the consequences upon null information 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; moreover, only the null information is affected.
      Parameters:
      otherInits - other null inits to compose over this
      Returns:
      this, modified according to otherInits information

    • cannotBeDefinitelyNullOrNonNull

      public final boolean cannotBeDefinitelyNullOrNonNull​(LocalVariableBinding local)
      Description copied from class: FlowInfo
      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 won't ever be promoted as definitely null or definitely non null. (It could still get promoted to definite unknown).
      Overrides:
      cannotBeDefinitelyNullOrNonNull in class FlowInfo
      Parameters:
      local - the variable to check
      Returns:
      true iff this flow info prevents local from being promoted to definite non null or definite null against an enclosing flow info

    • cannotBeNull

      public final boolean cannotBeNull​(LocalVariableBinding local)
      Description copied from class: FlowInfo
      Check whether a given local variable is known to be non null, either because it is definitely non null, or because is has been tested against non null.
      Overrides:
      cannotBeNull in class FlowInfo
      Parameters:
      local - the variable to ckeck
      Returns:
      true iff local cannot be null for this flow info

    • canOnlyBeNull

      public final boolean canOnlyBeNull​(LocalVariableBinding local)
      Description copied from class: FlowInfo
      Check whether a given local variable is known to be null, either because it is definitely null, or because is has been tested against null.
      Overrides:
      canOnlyBeNull in class FlowInfo
      Parameters:
      local - the variable to ckeck
      Returns:
      true iff local can only be null for this flow info

    • 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

    • discardInitializationInfo

      public UnconditionalFlowInfo discardInitializationInfo()
      Discard definite inits and potential inits from this, then return this. The returned flow info only holds null related information.
      Returns:
      this flow info, minus definite inits and potential inits

    • discardNonFieldInitializations

      public UnconditionalFlowInfo discardNonFieldInitializations()
      Remove local variables information from this flow info and return this.
      Returns:
      this, deprived from any local variable information

    • 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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 final 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

    • isTrue

      protected static boolean isTrue​(boolean expression, String message)
      Asserts that the given boolean is true. If this is not the case, some kind of unchecked exception is thrown. The given message is included in that exception, to aid debugging.
      Parameters:
      expression - the outcome of the check
      message - the message to include in the exception
      Returns:
      true if the check passes (does not return if the check fails)

    • 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

    • markAsDefinitelyUnknown

      public void markAsDefinitelyUnknown​(LocalVariableBinding local)
      Mark a local as having been assigned to an unknown value.
      Specified by:
      markAsDefinitelyUnknown in class FlowInfo
      Parameters:
      local - the local to mark

    • 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

    • markPotentiallyUnknownBit

      public void markPotentiallyUnknownBit​(LocalVariableBinding local)
      Mark a local as potentially having been assigned to an unknown value.
      Specified by:
      markPotentiallyUnknownBit in class FlowInfo
      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).
      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

    • 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

    • 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

    • 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

    • toString

      public String toString()
      Overrides:
      toString in class FlowInfo

    • 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

    • mergeDefiniteInitsWith

      public UnconditionalFlowInfo mergeDefiniteInitsWith​(UnconditionalFlowInfo otherInits)
      Specified by:
      mergeDefiniteInitsWith in class FlowInfo

    • 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

    • resetAssignmentInfo

      public void resetAssignmentInfo​(int position)

    • growSpace

      public void growSpace​(int newLength, int copyStart, int copyLength)

    • acceptAllIncomingNullness

      public void acceptAllIncomingNullness()