src/edu/uci/eecs/specExtraction/EntryConstruct.java

   1 package edu.uci.eecs.specExtraction;
   2
   3 import java.io.File;
   4
   5 /**
   6  * <p>
   7  * This class is a subclass of Construct. It represents a complete entry
   8  * annotation.
   9  * </p>
  10  *
  11  * @author Peizhao Ou
  12  *
  13  */
  14 public class EntryConstruct extends Construct {
  15
  16         // The original line of text of the entry annotation
  17         public final String annotation;
  18
  19         public EntryConstruct(File file, int beginLineNum, String annotation) {
  20                 super(file, beginLineNum);
  21                 this.annotation = annotation;
  22         }
  23
  24         public String toString() {
  25                 StringBuffer res = new StringBuffer();
  26                 res.append(super.toString() + "\n");
  27                 res.append("@Entry");
  28                 return res.toString();
  29         }
  30 }