From 51c7c1414b43e740d9e989d34aa902e0d6c168a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Tue, 23 Sep 2014 08:34:02 +0200
Subject: [PATCH] algo: conversion fa2rg: correct exception strings

---
 .../fa2rg/fa2lrg/FAtoLRGConverter.cpp         | 22 +++++++++----------
 .../fa2rg/fa2rrg/FAtoRRGConverter.cpp         | 21 +++++++++---------
 2 files changed, 21 insertions(+), 22 deletions(-)

diff --git a/alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp b/alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp
index 90bd5233c1..1067fdee53 100644
--- a/alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp
+++ b/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;
diff --git a/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp b/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp
index d841b06996..cc5c043aa7 100644
--- a/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp
+++ b/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;
-- 
GitLab