1package annotator.specification;
2
3import java.util.List;
4
5import plume.FileIOException;
6import annotator.find.Insertion;
7// import annotations.io.FileIOException;
8
9/**
10 * Represents a file containing a "specification" for placing annotations on
11 * program elements.
12 */
13public interface Specification {
14
15    /**
16     * Parses the specification file.
17     *
18     * @return the insertions that the annotator should make, as determined from
19     *         parsing the specification file
20     */
21    List<Insertion> parse() throws FileIOException;
22}
23