From aabcb469a5471ea8fae92d0d681b6f56b5fcfe9f Mon Sep 17 00:00:00 2001 From: thurston Date: Thu, 27 Sep 2007 21:21:09 +0000 Subject: [PATCH] Not yet supporting minimization of states with eof targets. git-svn-id: http://svn.complang.org/ragel/trunk@290 052ea7fc-9027-0410-9066-f65837a77df0 --- ragel/fsmstate.cpp | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/ragel/fsmstate.cpp b/ragel/fsmstate.cpp index ac2113a..1250329 100644 --- a/ragel/fsmstate.cpp +++ b/ragel/fsmstate.cpp @@ -172,7 +172,7 @@ StateAp::~StateAp() /* Compare two states using pointers to the states. With the approximate * compare the idea is that if the compare finds them the same, they can * immediately be merged. */ -int ApproxCompare::compare( const StateAp *state1 , const StateAp *state2 ) +int ApproxCompare::compare( const StateAp *state1, const StateAp *state2 ) { int compareRes; @@ -223,6 +223,9 @@ int ApproxCompare::compare( const StateAp *state1 , const StateAp *state2 ) } } + /* Not yet supporting minimization of states with EOF targets. */ + assert( state1->eofTarget == 0 && state2->eofTarget == 0 ); + /* Got through the entire state comparison, deem them equal. */ return 0; } @@ -303,6 +306,9 @@ int InitPartitionCompare::compare( const StateAp *state1 , const StateAp *state2 } } + /* Not yet supporting minimization of states with EOF targets. */ + assert( state1->eofTarget == 0 && state2->eofTarget == 0 ); + return 0; } @@ -341,6 +347,9 @@ int PartitionCompare::compare( const StateAp *state1, const StateAp *state2 ) } } + /* Not yet supporting minimization of states with EOF targets. */ + assert( state1->eofTarget == 0 && state2->eofTarget == 0 ); + return 0; } -- 2.7.4