1 package annotator.specification; 2 3 import java.util.List; 4 5 import plume.FileIOException; 6 import 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 */ 13 public 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
