src/edu/uci/eecs/specCompiler/specExtraction/ClassBeginConstruct.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4
   5 public class ClassBeginConstruct extends Construct {
   6         public ClassBeginConstruct(File file, int beginLineNum) {
   7                 super(file, beginLineNum);
   8         }
   9
  10         public String toString() {
  11                 return "@Class_begin";
  12         }
  13 }