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

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

  • Felddetails

    • COVERAGE_TEST_FLAG

      public static final boolean COVERAGE_TEST_FLAG
      Siehe auch:

    • 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
      Siehe auch:

    • extra

      public long[][] extra

    • maxFieldCount

      public int maxFieldCount

    • BitCacheSize

      public static final int BitCacheSize
      Siehe auch:

    • IN

      public static final int IN
      Siehe auch:

    • INN

      public static final int INN
      Siehe auch:

  • Konstruktordetails

    • UnconditionalFlowInfo

      public UnconditionalFlowInfo()

  • Methodendetails

    • fakeInitializedFlowInfo

      public static UnconditionalFlowInfo fakeInitializedFlowInfo(int localsCount, int maxFieldCount)

    • addInitializationsFrom

      public FlowInfo addInitializationsFrom(FlowInfo inits)
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      addInitializationsFrom in Klasse FlowInfo
      Parameter:
      inits - other inits to add to this
      Gibt zurück:
      this, modified according to otherInits information

    • addNullInfoFrom

      public FlowInfo addNullInfoFrom(FlowInfo inits)
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      addNullInfoFrom in Klasse FlowInfo

    • addPotentialInitializationsFrom

      public FlowInfo addPotentialInitializationsFrom(FlowInfo inits)
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      addPotentialInitializationsFrom in Klasse FlowInfo
      Parameter:
      inits - other inits to compose over this
      Gibt zurück:
      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.
      Parameter:
      otherInits - other null inits to compose over this
      Gibt zurück:
      this, modified according to otherInits information

    • cannotBeDefinitelyNullOrNonNull

      public final boolean cannotBeDefinitelyNullOrNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: 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).
      Setzt außer Kraft:
      cannotBeDefinitelyNullOrNonNull in Klasse FlowInfo
      Parameter:
      local - the variable to check
      Gibt zurück:
      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)
      Beschreibung aus Klasse kopiert: 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.
      Setzt außer Kraft:
      cannotBeNull in Klasse FlowInfo
      Parameter:
      local - the variable to ckeck
      Gibt zurück:
      true iff local cannot be null for this flow info

    • canOnlyBeNull

      public final boolean canOnlyBeNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: 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.
      Setzt außer Kraft:
      canOnlyBeNull in Klasse FlowInfo
      Parameter:
      local - the variable to ckeck
      Gibt zurück:
      true iff local can only be null for this flow info

    • copy

      public FlowInfo copy()
      Beschreibung aus Klasse kopiert: FlowInfo
      Return a deep copy of the current instance.
      Angegeben von:
      copy in Klasse FlowInfo
      Gibt zurück:
      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.
      Gibt zurück:
      this flow info, minus definite inits and potential inits

    • discardNonFieldInitializations

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

    • initsWhenFalse

      public FlowInfo initsWhenFalse()
      Beschreibung aus Klasse kopiert: 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).
      Angegeben von:
      initsWhenFalse in Klasse FlowInfo
      Gibt zurück:
      the flow info associated to the false branch of the condition that generated this flow info

    • initsWhenTrue

      public FlowInfo initsWhenTrue()
      Beschreibung aus Klasse kopiert: 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).
      Angegeben von:
      initsWhenTrue in Klasse FlowInfo
      Gibt zurück:
      the flow info associated to the true branch of the condition that generated this flow info

    • isDefinitelyAssigned

      public final boolean isDefinitelyAssigned(FieldBinding field)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of definite assignment for a field.
      Angegeben von:
      isDefinitelyAssigned in Klasse FlowInfo

    • isDefinitelyAssigned

      public final boolean isDefinitelyAssigned(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of definite assignment for a local.
      Angegeben von:
      isDefinitelyAssigned in Klasse FlowInfo

    • isDefinitelyNonNull

      public final boolean isDefinitelyNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of definite non-null value for a given local variable.
      Angegeben von:
      isDefinitelyNonNull in Klasse FlowInfo
      Parameter:
      local - the variable to ckeck
      Gibt zurück:
      true iff local is definitely non null for this flow info

    • isDefinitelyNull

      public final boolean isDefinitelyNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of definite null value for a given local variable.
      Angegeben von:
      isDefinitelyNull in Klasse FlowInfo
      Parameter:
      local - the variable to ckeck
      Gibt zurück:
      true iff local is definitely null for this flow info

    • isDefinitelyUnknown

      public final boolean isDefinitelyUnknown(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of definite unknown value for a given local variable.
      Angegeben von:
      isDefinitelyUnknown in Klasse FlowInfo
      Parameter:
      local - the variable to ckeck
      Gibt zurück:
      true iff local is definitely unknown for this flow info

    • hasNullInfoFor

      public final boolean hasNullInfoFor(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check if any null info has been recorded for a given local variable. Here even recording of 'UNKNOWN' is considered as null info.
      Angegeben von:
      hasNullInfoFor in Klasse FlowInfo

    • isPotentiallyAssigned

      public final boolean isPotentiallyAssigned(FieldBinding field)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of potential assignment for a field.
      Angegeben von:
      isPotentiallyAssigned in Klasse FlowInfo

    • isPotentiallyAssigned

      public final boolean isPotentiallyAssigned(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Check status of potential assignment for a local variable.
      Angegeben von:
      isPotentiallyAssigned in Klasse FlowInfo

    • isPotentiallyNonNull

      public final boolean isPotentiallyNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      isPotentiallyNonNull in Klasse FlowInfo
      Parameter:
      local - LocalVariableBinding - the binding for the checked local
      Gibt zurück:
      true if there is a reasonable expectation that local be non null at this point

    • isPotentiallyNull

      public final boolean isPotentiallyNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: 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
      Angegeben von:
      isPotentiallyNull in Klasse FlowInfo
      Parameter:
      local - LocalVariableBinding - the binding for the checked local
      Gibt zurück:
      true if there is a reasonable expectation that local be null at this point

    • isPotentiallyUnknown

      public final boolean isPotentiallyUnknown(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Return true if the given local may have been assigned to an unknown value.
      Angegeben von:
      isPotentiallyUnknown in Klasse FlowInfo
      Parameter:
      local - the local to check
      Gibt zurück:
      true if the given local may have been assigned to an unknown value

    • isProtectedNonNull

      public final boolean isProtectedNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Return true if the given local is protected by a test against a non null value.
      Angegeben von:
      isProtectedNonNull in Klasse FlowInfo
      Parameter:
      local - the local to check
      Gibt zurück:
      true if the given local is protected by a test against a non null

    • isProtectedNull

      public final boolean isProtectedNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Return true if the given local is protected by a test against null.
      Angegeben von:
      isProtectedNull in Klasse FlowInfo
      Parameter:
      local - the local to check
      Gibt zurück:
      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.
      Parameter:
      expression - the outcome of the check
      message - the message to include in the exception
      Gibt zurück:
      true if the check passes (does not return if the check fails)

    • markAsComparedEqualToNonNull

      public void markAsComparedEqualToNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record that a local variable got checked to be non null.
      Angegeben von:
      markAsComparedEqualToNonNull in Klasse FlowInfo
      Parameter:
      local - the checked local variable

    • markAsComparedEqualToNull

      public void markAsComparedEqualToNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record that a local variable got checked to be null.
      Angegeben von:
      markAsComparedEqualToNull in Klasse FlowInfo
      Parameter:
      local - the checked local variable

    • markAsDefinitelyAssigned

      public void markAsDefinitelyAssigned(FieldBinding field)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a field got definitely assigned.
      Angegeben von:
      markAsDefinitelyAssigned in Klasse FlowInfo

    • markAsDefinitelyAssigned

      public void markAsDefinitelyAssigned(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a local got definitely assigned.
      Angegeben von:
      markAsDefinitelyAssigned in Klasse FlowInfo

    • markAsDefinitelyNonNull

      public void markAsDefinitelyNonNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a local got definitely assigned to a non-null value.
      Angegeben von:
      markAsDefinitelyNonNull in Klasse FlowInfo

    • markAsDefinitelyNull

      public void markAsDefinitelyNull(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a local got definitely assigned to null.
      Angegeben von:
      markAsDefinitelyNull in Klasse FlowInfo

    • markAsDefinitelyUnknown

      public void markAsDefinitelyUnknown(LocalVariableBinding local)
      Mark a local as having been assigned to an unknown value.
      Angegeben von:
      markAsDefinitelyUnknown in Klasse FlowInfo
      Parameter:
      local - the local to mark

    • resetNullInfo

      public void resetNullInfo(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Reset all null-information about a given local.
      Angegeben von:
      resetNullInfo in Klasse FlowInfo

    • markPotentiallyUnknownBit

      public void markPotentiallyUnknownBit(LocalVariableBinding local)
      Mark a local as potentially having been assigned to an unknown value.
      Angegeben von:
      markPotentiallyUnknownBit in Klasse FlowInfo
      Parameter:
      local - the local to mark

    • markPotentiallyNullBit

      public void markPotentiallyNullBit(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a local may have got assigned to null (set the bit on existing info).
      Angegeben von:
      markPotentiallyNullBit in Klasse FlowInfo

    • markPotentiallyNonNullBit

      public void markPotentiallyNonNullBit(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Record a local may have got assigned to non-null (set the bit on existing info).
      Angegeben von:
      markPotentiallyNonNullBit in Klasse FlowInfo

    • mergedWith

      public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits)
      Beschreibung aus Klasse kopiert: 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).
      Angegeben von:
      mergedWith in Klasse FlowInfo
      Parameter:
      otherInits - the flow info to merge with this
      Gibt zurück:
      the intersection of this and otherInits.

    • nullInfoLessUnconditionalCopy

      public UnconditionalFlowInfo nullInfoLessUnconditionalCopy()
      Beschreibung aus Klasse kopiert: FlowInfo
      Return a copy of this unconditional flow info, deprived from its null info. DEAD_END is returned unmodified.
      Angegeben von:
      nullInfoLessUnconditionalCopy in Klasse FlowInfo
      Gibt zurück:
      a copy of this unconditional flow info deprived from its null info

    • safeInitsWhenTrue

      public FlowInfo safeInitsWhenTrue()
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      safeInitsWhenTrue in Klasse FlowInfo
      Gibt zurück:
      the result of initsWhenTrue or a copy of it

    • setReachMode

      public FlowInfo setReachMode(int reachMode)
      Beschreibung aus Klasse kopiert: FlowInfo
      Set this flow info reach mode and return this.
      Angegeben von:
      setReachMode in Klasse FlowInfo
      Parameter:
      reachMode - one of REACHABLE, UNREACHABLE_OR_DEAD, UNREACHABLE_BY_NULLANALYSIS or UNREACHABLE
      Gibt zurück:
      this, with the reach mode set to reachMode

    • toString

      public String toString()
      Setzt außer Kraft:
      toString in Klasse FlowInfo

    • unconditionalCopy

      public UnconditionalFlowInfo unconditionalCopy()
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      unconditionalCopy in Klasse FlowInfo
      Gibt zurück:
      a new flow info carrying this unconditional flow info

    • unconditionalFieldLessCopy

      public UnconditionalFlowInfo unconditionalFieldLessCopy()
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      unconditionalFieldLessCopy in Klasse FlowInfo
      Gibt zurück:
      a new flow info carrying the unconditional flow info for local variables

    • unconditionalInits

      public UnconditionalFlowInfo unconditionalInits()
      Beschreibung aus Klasse kopiert: 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.
      Angegeben von:
      unconditionalInits in Klasse FlowInfo
      Gibt zurück:
      a flow info that merges the possible paths of execution described by this

    • unconditionalInitsWithoutSideEffect

      public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect()
      Beschreibung aus Klasse kopiert: 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).
      Angegeben von:
      unconditionalInitsWithoutSideEffect in Klasse FlowInfo
      Gibt zurück:
      a flow info carrying this unconditional flow info

    • mergeDefiniteInitsWith

      public UnconditionalFlowInfo mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
      Angegeben von:
      mergeDefiniteInitsWith in Klasse FlowInfo

    • resetAssignmentInfo

      public void resetAssignmentInfo(LocalVariableBinding local)
      Beschreibung aus Klasse kopiert: FlowInfo
      Resets the definite and potential initialization info for the given local variable
      Angegeben von:
      resetAssignmentInfo in Klasse FlowInfo
      Parameter:
      local -

    • resetAssignmentInfo

      public void resetAssignmentInfo(int position)

    • growSpace

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

    • acceptAllIncomingNullness

      public void acceptAllIncomingNullness()