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