Class ReferenceCollection

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Iterable<Reference>

    public final class ReferenceCollection
    extends java.lang.Object
    implements java.lang.Iterable<Reference>, java.io.Serializable
    A collection of references. Can be subclassed to apply checks or store additional state when adding.
    See Also:
    Serialized Form
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected boolean isWellDefined()
      Determines if the variable for this reference collection is "well-defined." A variable is well-defined if we can prove at compile-time that it's assigned a value before it's used.
      java.util.Iterator<Reference> iterator()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.lang.Iterable

        forEach, spliterator
    • Constructor Detail

      • ReferenceCollection

        public ReferenceCollection()
    • Method Detail

      • iterator

        public java.util.Iterator<Reference> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<Reference>
      • isWellDefined

        protected boolean isWellDefined()
        Determines if the variable for this reference collection is "well-defined." A variable is well-defined if we can prove at compile-time that it's assigned a value before it's used.

        Notice that if this function returns false, this doesn't imply that the variable is used before it's assigned. It just means that we don't have enough information to make a definitive judgment.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object