algo: conversion fa2rg: correct exception strings

alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp

@@ -121,7 +121,7 @@ void FAtoLRGConverter::Visit(void*, const automaton::UnknownAutomaton&) const {
 }
 void FAtoLRGConverter::Visit(void*, const automaton::EpsilonNFA& ) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type EpsilonNFA");
 }
 void FAtoLRGConverter::Visit(void* data, const automaton::NFA& automaton) const {
@@ -135,43 +135,43 @@ void FAtoLRGConverter::Visit(void* data, const automaton::DFA& automaton) const
 }
 void FAtoLRGConverter::Visit(void*, const automaton::ExtendedNFA& ) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type ExtendedNFA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::CompactNFA& ) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type CompactNFA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::DPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type DPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::SinglePopDPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::InputDrivenNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::NPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type NPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::SinglePopNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
 }
 void FAtoLRGConverter::Visit(void*, const automaton::OneTapeDTM&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type OneTapeDTM");
 }
 const FAtoLRGConverter FAtoLRGConverter::FA_TO_LRG_CONVERTER;

alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp

@@ -127,45 +127,44 @@ void FAtoRRGConverter::Visit(void* data, const automaton::DFA& automaton) const
 	grammar::Grammar* & out = *((grammar::Grammar**) data);
 	out = new grammar::Grammar(this->convert(automaton));
 }
-
 void FAtoRRGConverter::Visit(void*, const automaton::ExtendedNFA& ) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type ExtendedNFA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::CompactNFA& ) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type CompactNFA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::DPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type DPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::SinglePopDPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::InputDrivenNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::VisiblyPushdownNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::RealTimeHeightDeterministicNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type RealTimeHeightDeterministicNPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::NPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type NPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::SinglePopNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
 }
 void FAtoRRGConverter::Visit(void*, const automaton::OneTapeDTM&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type OneTapeDTM");
 }
 const FAtoRRGConverter FAtoRRGConverter::FA_TO_RRG_CONVERTER;