org.checkerframework.framework.ajava

Class AnnotationFileStore

java.lang.Object

org.checkerframework.framework.ajava.AnnotationFileStore

public class AnnotationFileStore
extends 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 and Description
AnnotationFileStore() Constructs an AnnotationFileStore.

Method Summary

Modifier and Type	Method and Description
void	addFileOrDirectory(File location) If location is a file, stores it in this as an annotation file.
List<String>	getAnnotationFileForType(String typeName) Given a fully qualified type name, returns a List of paths to annotation files containing annotations for the type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnnotationFileStore

public AnnotationFileStore()

Constructs an AnnotationFileStore.

Method Detail

addFileOrDirectory

public void addFileOrDirectory(File location)

If location is a file, stores it in this as an annotation file. If location is a directory, stores all annotation files contained in it.

Parameters:

location - an annotation file or a directory containing annotation files

getAnnotationFileForType

public List<String> getAnnotationFileForType(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