1 files changed, 145 insertions, 0 deletions
diff --git a/test/erract1.rl b/test/erract1.rl
new file mode 100644
index 0000000..ee0237d
--- /dev/null
+++ b/test/erract1.rl
@@ -0,0 +1,145 @@
+/*
+ * @LANG: c++
+ */
+
+/*
+ * Test error actions.
+ */
+
+#include <iostream>
+#include <stdio.h>
+#include <string.h>
+
+using namespace std;
+
+struct ErrAct 
+{
+	int cs;
+
+	// Initialize the machine. Invokes any init statement blocks. Returns 0
+	// if the machine begins in a non-accepting state and 1 if the machine
+	// begins in an accepting state.
+	int init( );
+
+	// Execute the machine on a block of data. Returns -1 if after processing
+	// the data, the machine is in the error state and can never accept, 0 if
+	// the machine is in a non-accepting state and 1 if the machine is in an
+	// accepting state.
+	int execute( const char *data, int len );
+
+	// Indicate that there is no more data. Returns -1 if the machine finishes
+	// in the error state and does not accept, 0 if the machine finishes
+	// in any other non-accepting state and 1 if the machine finishes in an
+	// accepting state.
+	int finish( );
+};
+
+%%{
+	machine ErrAct;
+
+	action expect_digit_plus_minus { printf(" DIGIT PLUS MINUS\n"); } 
+	action expect_digit { printf(" DIGIT\n"); } 
+	action expect_digit_decimal { printf(" DIGIT DECIMAL\n"); }
+
+	float = (
+		( 
+			[\-+] >err expect_digit_plus_minus %err expect_digit |
+			""
+		)
+		( [0-9] [0-9]* $err expect_digit_decimal )
+		( '.' [0-9]+ $err expect_digit )? 
+	);
+
+	main := float '\n';
+}%%
+
+%% write data;
+
+int ErrAct::init( )
+{
+	%% write init;
+	return 0;
+}
+
+int ErrAct::execute( const char *_data, int _len )
+{
+	const char *p = _data;
+	const char *pe = _data+_len;
+	%% write exec;
+
+	if ( cs == ErrAct_error )
+		return -1;
+	if ( cs >= ErrAct_first_final )
+		return 1;
+	return 0;
+}
+
+int ErrAct::finish( )
+{
+	%% write eof;
+	if ( cs == ErrAct_error )
+		return -1;
+	if ( cs >= ErrAct_first_final )
+		return 1;
+	return 0;
+}
+
+#define BUFSIZE 1024
+
+void test( char *buf )
+{
+	ErrAct errAct;
+	errAct.init();
+	errAct.execute( buf, strlen(buf) );
+	if ( errAct.finish() > 0 )
+		cout << "ACCEPT" << endl;
+	else
+		cout << "FAIL" << endl;
+}
+
+int main()
+{
+	test( "1\n" );
+	test( "+1\n" );
+	test( "-1\n" );
+	test( "1.1\n" );
+	test( "+1.1\n" );
+	test( "-1.1\n" );
+	test( "a\n" );
+	test( "-\n" );
+	test( "+\n" );
+	test( "-a\n" );
+	test( "+b\n" );
+	test( "1.\n" );
+	test( "1d\n" );
+	test( "1.d\n" );
+	test( "1.1d\n" );
+	return 0;
+}
+
+#ifdef _____OUTPUT_____
+ACCEPT
+ACCEPT
+ACCEPT
+ACCEPT
+ACCEPT
+ACCEPT
+ DIGIT PLUS MINUS
+FAIL
+ DIGIT
+FAIL
+ DIGIT
+FAIL
+ DIGIT
+FAIL
+ DIGIT
+FAIL
+ DIGIT
+FAIL
+ DIGIT DECIMAL
+FAIL
+ DIGIT
+FAIL
+ DIGIT
+FAIL
+#endif