+++ /dev/null
-package edu.uci.eecs.specCompiler.specExtraction;
-
-import java.io.File;
-
-public class EntryPointConstruct extends Construct {
- public EntryPointConstruct(File file, int beginLineNum) {
- super(file, beginLineNum);
- }
-
- public String toString() {
- return "@Entry_point";
- }
-}