1 files changed, 13 insertions, 0 deletions
diff --git a/src/goto.h b/src/goto.h
index e8fc11dd..056d5f5c 100644
--- a/src/goto.h
+++ b/src/goto.h
@@ -103,6 +103,11 @@ public:
 		ck( "_ck" ),
 		nbreak( "_nbreak" ),
 		ps( "_ps" ),
+		_out("_out"),
+		_pop("_pop"),
+		_again("_again"),
+		_resume("_resume"),
+		_test_eof("_test_eof"),
 		actions(           "actions",             *this ),
 		toStateActions(    "to_state_actions",    *this ),
 		fromStateActions(  "from_state_actions",  *this ),
@@ -128,6 +133,12 @@ public:
 	Variable nbreak;
 	Variable ps;
 
+	GotoLabel _out;
+	GotoLabel _pop;
+	GotoLabel _again;
+	GotoLabel _resume;
+	GotoLabel _test_eof;
+
 	TableArray actions;
 	TableArray toStateActions;
 	TableArray fromStateActions;
@@ -144,6 +155,8 @@ public:
 	void taNfaPushActions();
 	void taNfaPopTrans();
 
+	void EOF_CHECK( ostream &ret );
+
 	void GOTO( ostream &ret, int gotoDest, bool inFinish );
 	void CALL( ostream &ret, int callDest, int targState, bool inFinish );
 	void NCALL( ostream &ret, int callDest, int targState, bool inFinish );