Class AbstractReflectionInterpreter

    • Constructor Detail

      • AbstractReflectionInterpreter

        public AbstractReflectionInterpreter()
    • Method Detail

      • getLocalForType

        protected int getLocalForType​(TypeReference T)
      • getExceptionsForType

        protected int getExceptionsForType​(TypeReference T)
      • getCallSiteForType

        protected int getCallSiteForType​(TypeReference T)
      • getNewSiteForType

        protected int getNewSiteForType​(TypeReference T)
      • typeRef2TypeAbstraction

        protected TypeAbstraction typeRef2TypeAbstraction​(IClassHierarchy cha,
                                                          TypeReference type)
        Parameters:
        type -
        Returns:
        a TypeAbstraction object representing this type. We just use ConeTypes by default, since we don't propagate information allowing us to distinguish between points and cones yet.