1 package edu.uci.eecs.specExtraction;
7 * This class is a subclass of Construct. It represents a complete entry
14 public class EntryConstruct extends Construct {
16 // The original line of text of the entry annotation
17 public final String annotation;
19 public EntryConstruct(File file, int beginLineNum, String annotation) {
20 super(file, beginLineNum);
21 this.annotation = annotation;
24 public String toString() {
25 StringBuffer res = new StringBuffer();
26 res.append(super.toString() + "\n");
28 return res.toString();