Package org.checkerframework.framework.stub

Interface AnnotationFileResource

All Known Implementing Classes:
FileAnnotationFileResource, JarEntryAnnotationFileResource
public interface AnnotationFileResource
Interface for sources of stub data.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getDescription()
    Returns a user-friendly description of the resource (e.g.
    InputStream
    getInputStream()
    Returns a stream for reading the contents of the resource.

  • Method Details

    • getDescription

      String getDescription()
      Returns a user-friendly description of the resource (e.g. a filesystem path).
      Returns:
      a description of the resource

    • getInputStream

      InputStream getInputStream() throws IOException
      Returns a stream for reading the contents of the resource.
      Throws:
      IOException