1 package edu.uci.eecs.specCompiler.specExtraction;
5 public class ClassBeginConstruct extends Construct {
6 public ClassBeginConstruct(File file, int beginLineNum) {
7 super(file, beginLineNum);
10 public String toString() {
11 return "@Class_begin";