Interface RTAContextInterpreter

    • Method Detail

      • iterateNewSites

        Iterator<NewSiteReference> iterateNewSites​(CGNode node)
        Returns:
        an Iterator of the types that may be allocated by a given method in a given context.
      • recordFactoryType

        boolean recordFactoryType​(CGNode node,
                                  IClass klass)
        record that the "factory" method of a node should be interpreted to allocate a particular class. TODO: this is a little ugly, is there a better place to move this?
        Parameters:
        node -
        klass -
        Returns:
        true iff a NEW type was recorded, false if the type was previously recorded.