improve automata string parsers

alib2str/src/automaton/AutomatonFromStringLexer.cpp

@@ -6,6 +6,8 @@
  */
 #include "AutomatonFromStringLexer.h"
+#include <exception/CommonException.h>
+#include <iterator>
 namespace automaton {
@@ -75,7 +77,7 @@ L0:
 		return token;
 	} else {
 		in.clear();
-		putback(in, std::move(token));
+		putback(in, token);
 		token.type = TokenType::ERROR;
 		return token;
 	}
@@ -92,19 +94,46 @@ L1:
 	} else {
 		in.clear ( );
 		in.unget ( );
-		putback(in, std::move(token));
+		putback(in, token);
 		token.type = TokenType::ERROR;
 		return token;
 	}
 }
-void AutomatonFromStringLexer::putback(std::istream& in, AutomatonFromStringLexer::Token token) {
+AutomatonFromStringLexer::Token AutomatonFromStringLexer::peek ( std::istream & in ) {
+	Token token = next ( in );
+	putback ( in, token );
+	return token;
+}
+
+void AutomatonFromStringLexer::putback ( std::istream& in, const std::string & data ) {
 	in.clear();
-	while(!token.raw.empty()) {
-		in.putback(token.raw.back());
-		token.raw.pop_back();
+	for ( char character : ext::make_reverse ( data ) )
+		in.putback ( character );
+}
+
+void AutomatonFromStringLexer::putback ( std::istream& in, const Token & token ) {
+	putback ( in, token.raw );
+}
+
+bool AutomatonFromStringLexer::test ( std::istream & in, const std::string & value ) {
+	if ( testAndConsume ( in, value ) ) {
+		in.clear ( );
+		putback ( in, value );
+		return true;
+	} else {
+		return false;
 	}
 }
+bool AutomatonFromStringLexer::testAndConsume ( std::istream & in, const std::string & value ) {
+	return ( bool ) ( in >> ext::string ( value ) );
+}
+
+void AutomatonFromStringLexer::consume ( std::istream & in, const std::string & value ) {
+	if ( ! testAndConsume ( in, value ) )
+		throw exception::CommonException ( "Can't consume " + value + " from input stream." );
+}
+
 } /* namespace automaton */

alib2str/src/automaton/AutomatonFromStringLexer.h

@@ -36,8 +36,14 @@ public:
 		std::string raw;
 	};
-	static Token next(std::istream& input);
-	static void putback(std::istream&, Token token);
+	static Token next(std::istream & input);
+	static Token peek(std::istream & input);
+	static void putback ( std::istream&, const std::string & token);
+	static void putback ( std::istream&, const Token & token);
+
+	static bool test ( std::istream & input, const std::string & value );
+	static void consume ( std::istream & input, const std::string & value );
+	static bool testAndConsume ( std::istream & input, const std::string & value );
 };
 } /* namepsace automaton */

alib2str/src/automaton/string/FSM/DFA.h

@@ -123,10 +123,7 @@ void stringApi < automaton::DFA < SymbolType, StateType > >::parseTransition(std
 template<class SymbolType, class StateType >
 bool stringApi < automaton::DFA < SymbolType, StateType > >::first ( std::istream & input ) {
-	automaton::AutomatonFromStringLexer::Token token = automaton::AutomatonFromStringLexer::next ( input );
-	bool res = token.type == automaton::AutomatonFromStringLexer::TokenType::DFA;
-	automaton::AutomatonFromStringLexer::putback ( input, token );
-	return res;
+	return automaton::AutomatonFromStringLexer::peek ( input ).type == automaton::AutomatonFromStringLexer::TokenType::DFA;
 }
 template<class SymbolType, class StateType >

alib2str/src/automaton/string/FSM/EpsilonNFA.h

@@ -132,10 +132,7 @@ void stringApi < automaton::EpsilonNFA < SymbolType, EpsilonType, StateType > >:
 template<class SymbolType, class EpsilonType, class StateType >
 bool stringApi < automaton::EpsilonNFA < SymbolType, EpsilonType, StateType > >::first ( std::istream & input ) {
-	automaton::AutomatonFromStringLexer::Token token = automaton::AutomatonFromStringLexer::next ( input );
-	bool res = token.type == automaton::AutomatonFromStringLexer::TokenType::EPSILON_NFA;
-	automaton::AutomatonFromStringLexer::putback ( input, token );
-	return res;
+	return automaton::AutomatonFromStringLexer::peek ( input ).type == automaton::AutomatonFromStringLexer::TokenType::EPSILON_NFA;
 }
 template<class SymbolType, class EpsilonType, class StateType >

alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h

@@ -104,10 +104,7 @@ void stringApi < automaton::MultiInitialStateNFA < SymbolType, StateType > >::pa
 template<class SymbolType, class StateType >
 bool stringApi < automaton::MultiInitialStateNFA < SymbolType, StateType > >::first ( std::istream & input ) {
-	automaton::AutomatonFromStringLexer::Token token = automaton::AutomatonFromStringLexer::next ( input );
-	bool res = token.type == automaton::AutomatonFromStringLexer::TokenType::MULTI_INITIAL_STATE_NFA;
-	automaton::AutomatonFromStringLexer::putback ( input, token );
-	return res;
+	return automaton::AutomatonFromStringLexer::peek ( input ).type == automaton::AutomatonFromStringLexer::TokenType::MULTI_INITIAL_STATE_NFA;
 }
 template<class SymbolType, class StateType >

alib2str/src/automaton/string/FSM/NFA.h

@@ -124,10 +124,7 @@ void stringApi < automaton::NFA < SymbolType, StateType > >::parseTransition(std
 template<class SymbolType, class StateType >
 bool stringApi < automaton::NFA < SymbolType, StateType > >::first ( std::istream & input ) {
-	automaton::AutomatonFromStringLexer::Token token = automaton::AutomatonFromStringLexer::next ( input );
-	bool res = token.type == automaton::AutomatonFromStringLexer::TokenType::NFA;
-	automaton::AutomatonFromStringLexer::putback ( input, token );
-	return res;
+	return automaton::AutomatonFromStringLexer::peek ( input ).type == automaton::AutomatonFromStringLexer::TokenType::NFA;
 }
 template<class SymbolType, class StateType >