Class AddressFactory


  • public class AddressFactory
    extends java.lang.Object
    A factory for generating unique "addresses" for each factory instance. An address is an abstract notion and will depending on the implementation of the points-to analysis. Typically an address will be used to differentiate allocation sites for some given context.
    Author:
    Ben Holland
    • Constructor Detail

      • AddressFactory

        public AddressFactory()
    • Method Detail

      • getNewAddress

        public int getNewAddress()
      • peekCurrentAddress

        public int peekCurrentAddress()