Class Reference


  • public class Reference
    extends java.lang.Object
    A reference points at an object or an array at the heap. It is identified by the program point when it was created and the memory location where it appears first.
    • Field Detail

      • creationTime

        public final JvmCfaNode creationTime
        The program point at which the reference was created.
      • creationSite

        public final JvmMemoryLocation creationSite
        The memory location where the reference was encountered for the first time.
    • Constructor Detail

      • Reference

        public Reference​(JvmCfaNode creationTime,
                         JvmMemoryLocation creationSite)
        Create a reference.
        Parameters:
        creationTime - the program point at which the reference was created
        creationSite - the memory location where the reference was encountered for the first time
    • Method Detail

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

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