Class AnnotationFileStore
- java.lang.Object
-
- org.checkerframework.framework.ajava.AnnotationFileStore
-
public class AnnotationFileStore extends java.lang.Object
Stores a collection of annotation files. Given a type name, can return a list of paths to stored annotation files corresponding to that type name.
-
-
Constructor Summary
Constructors Constructor Description AnnotationFileStore()
Constructs anAnnotationFileStore
.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addFileOrDirectory(java.io.File location)
Iflocation
is a file, stores it in this as an annotation file.java.util.List<java.lang.String>
getAnnotationFileForType(java.lang.String typeName)
Given a fully qualified type name, returns a List of paths to annotation files containing annotations for the type.
-
-
-
Method Detail
-
addFileOrDirectory
public void addFileOrDirectory(java.io.File location)
Iflocation
is a file, stores it in this as an annotation file. Iflocation
is a directory, stores all annotation files contained in it.- Parameters:
location
- an annotation file or a directory containing annotation files
-
getAnnotationFileForType
public java.util.List<java.lang.String> getAnnotationFileForType(java.lang.String typeName)
Given a fully qualified type name, returns a List of paths to annotation files containing annotations for the type.- Parameters:
typeName
- fully qualified name of a type- Returns:
- a list of paths to annotation files with annotations for
typeName
-
-