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