From 52f81583fc42d231ca43842968dc517763255f4d Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 10 Oct 2014 20:53:23 +0200
Subject: [PATCH] fix typos
---
alib2algo/src/automaton/FSMSingleInitialState.cpp | 2 +-
alib2algo/src/automaton/FSMTotal.cpp | 2 +-
alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp | 2 +-
alib2algo/src/determinize/vpa/VPADeterminizer.h | 2 +-
astat2/src/AutomataStat.cpp | 2 +-
5 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/alib2algo/src/automaton/FSMSingleInitialState.cpp b/alib2algo/src/automaton/FSMSingleInitialState.cpp
index 9172dece3d..d9278c6e2f 100644
--- a/alib2algo/src/automaton/FSMSingleInitialState.cpp
+++ b/alib2algo/src/automaton/FSMSingleInitialState.cpp
@@ -89,7 +89,7 @@ void FSMSingleInitialState::Visit(void* data, const CompactNFA& automaton) const
}
void FSMSingleInitialState::Visit(void*, const DPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type DPDA");
}
void FSMSingleInitialState::Visit(void*, const SinglePopDPDA&) const {
diff --git a/alib2algo/src/automaton/FSMTotal.cpp b/alib2algo/src/automaton/FSMTotal.cpp
index 0f2d3cdd82..584d28535a 100644
--- a/alib2algo/src/automaton/FSMTotal.cpp
+++ b/alib2algo/src/automaton/FSMTotal.cpp
@@ -81,7 +81,7 @@ void FSMTotal::Visit(void*, const CompactNFA&) const {
}
void FSMTotal::Visit(void*, const DPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type DPDA");
}
void FSMTotal::Visit(void*, const SinglePopDPDA&) const {
diff --git a/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp b/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp
index 83cb5e59c6..6aa21c6066 100644
--- a/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp
+++ b/alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp
@@ -110,7 +110,7 @@ grammar::Grammar FAtoRRGConverter::convert(const automaton::Automaton& automaton
}
void FAtoRRGConverter::Visit(void*, const automaton::EpsilonNFA& ) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type EpsilonNFA");
}
void FAtoRRGConverter::Visit(void* data, const automaton::NFA& automaton) const {
diff --git a/alib2algo/src/determinize/vpa/VPADeterminizer.h b/alib2algo/src/determinize/vpa/VPADeterminizer.h
index f5a7dc3138..129a90f2a3 100644
--- a/alib2algo/src/determinize/vpa/VPADeterminizer.h
+++ b/alib2algo/src/determinize/vpa/VPADeterminizer.h
@@ -22,4 +22,4 @@ public:
} /* namespace determinize */
-#endif /* VPADETERMINIZER_h_ */
+#endif /* VPADETERMINIZER_H_ */
diff --git a/astat2/src/AutomataStat.cpp b/astat2/src/AutomataStat.cpp
index 2e3a16599d..878c07bad4 100644
--- a/astat2/src/AutomataStat.cpp
+++ b/astat2/src/AutomataStat.cpp
@@ -195,7 +195,7 @@ void AutomataStat::Visit(void*, const automaton::CompactNFA&) const {
}
void AutomataStat::Visit(void*, const automaton::DPDA&) const {
- throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+ throw exception::AlibException("Unsupported automaton type DPDAAutomaton");
}
void AutomataStat::Visit(void*, const automaton::SinglePopDPDA&) const {
--
GitLab