Skip to content
Snippets Groups Projects
Commit ea4c0e45 authored by Tomáš Pecka's avatar Tomáš Pecka
Browse files

algo: eps: correct exception string

parent 2cfcc027
No related branches found
No related tags found
No related merge requests found
...@@ -92,43 +92,43 @@ void FSMEpsilonRemover::Visit(void* data, const automaton::DFA& automaton) const ...@@ -92,43 +92,43 @@ void FSMEpsilonRemover::Visit(void* data, const automaton::DFA& automaton) const
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::ExtendedNFA& ) const { void FSMEpsilonRemover::Visit(void*, const automaton::ExtendedNFA& ) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type ExtendedNFA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::CompactNFA& ) const { void FSMEpsilonRemover::Visit(void*, const automaton::CompactNFA& ) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type CompactNFA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::DPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::DPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type DPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopDPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopDPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::InputDrivenNPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::InputDrivenNPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::VisiblyPushdownNPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::NPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::NPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type NPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopNPDA&) const { void FSMEpsilonRemover::Visit(void*, const automaton::SinglePopNPDA&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
} }
   
void FSMEpsilonRemover::Visit(void*, const automaton::OneTapeDTM&) const { void FSMEpsilonRemover::Visit(void*, const automaton::OneTapeDTM&) const {
throw exception::AlibException("Unsupported automaton type UnknownAutomaton"); throw exception::AlibException("Unsupported automaton type OneTapeDTM");
} }
   
const FSMEpsilonRemover FSMEpsilonRemover::FSM_EPSILON_REMOVER; const FSMEpsilonRemover FSMEpsilonRemover::FSM_EPSILON_REMOVER;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment