From e2b589d8551a0d27fcea9e318e1647f23ddb458c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Wed, 24 Sep 2014 14:01:18 +0200
Subject: [PATCH] algo: fix exception messages
---
alib2algo/src/automaton/PDAToRHPDA.cpp | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/alib2algo/src/automaton/PDAToRHPDA.cpp b/alib2algo/src/automaton/PDAToRHPDA.cpp
index 52d77a3294..ab9e561e3e 100644
--- a/alib2algo/src/automaton/PDAToRHPDA.cpp
+++ b/alib2algo/src/automaton/PDAToRHPDA.cpp
@@ -113,23 +113,23 @@ void PDAToRHPDA::Visit(void*, const ExtendedNFA&) const {
}
void PDAToRHPDA::Visit(void*, const CompactNFA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type CompactNFA");
}
void PDAToRHPDA::Visit(void*, const DPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type DPDA");
}
void PDAToRHPDA::Visit(void*, const SinglePopDPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
}
void PDAToRHPDA::Visit(void*, const InputDrivenNPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
}
void PDAToRHPDA::Visit(void*, const VisiblyPushdownNPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
}
void PDAToRHPDA::Visit(void* data, const RealTimeHeightDeterministicNPDA& automaton) const {
@@ -143,11 +143,11 @@ void PDAToRHPDA::Visit(void* data, const NPDA& automaton) const {
}
void PDAToRHPDA::Visit(void*, const SinglePopNPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
}
void PDAToRHPDA::Visit(void*, const OneTapeDTM&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type OneTapeDTM");
}
const PDAToRHPDA PDAToRHPDA::PDA_TO_RHPDA;
--
GitLab