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

Merge branch 'master' of gitlab.fit.cvut.cz:travnja3/automata-library

parents ddf07183 f8c4eba1
No related branches found
No related tags found
No related merge requests found
...@@ -126,6 +126,11 @@ void AutomatonDiff::printDiff(const automaton::UnknownAutomaton& a, const automa ...@@ -126,6 +126,11 @@ void AutomatonDiff::printDiff(const automaton::UnknownAutomaton& a, const automa
} }
} }
   
void AutomatonDiff::diff(const automaton::UnknownAutomaton& a, const automaton::UnknownAutomaton& b) { int AutomatonDiff::diff(const automaton::UnknownAutomaton& a, const automaton::UnknownAutomaton& b) {
if(!AutomatonDiff::testDiff(a, b)) AutomatonDiff::printDiff(a, b); if(!AutomatonDiff::testDiff(a, b)) {
AutomatonDiff::printDiff(a, b);
return 1;
} else {
return 0;
}
} }
...@@ -21,7 +21,7 @@ class AutomatonDiff { ...@@ -21,7 +21,7 @@ class AutomatonDiff {
template <class T> static void setDiff(const std::set<T> a, const std::set<T> b); template <class T> static void setDiff(const std::set<T> a, const std::set<T> b);
template <class T> static void listDiff(const std::list<T> a, const std::list<T> b); template <class T> static void listDiff(const std::list<T> a, const std::list<T> b);
public: public:
static void diff(const automaton::UnknownAutomaton& a, const automaton::UnknownAutomaton& b); static int diff(const automaton::UnknownAutomaton& a, const automaton::UnknownAutomaton& b);
}; };
   
#endif /* AUTOMATON_DIFF_H_ */ #endif /* AUTOMATON_DIFF_H_ */
...@@ -35,7 +35,7 @@ int main(int argc, char** argv) { ...@@ -35,7 +35,7 @@ int main(int argc, char** argv) {
automaton2 = AutomatonFactory::fromFile(argv[2]); automaton2 = AutomatonFactory::fromFile(argv[2]);
} }
   
AutomatonDiff::diff(automaton1, automaton2); return AutomatonDiff::diff(automaton1, automaton2);
} catch (AlibException& e) { } catch (AlibException& e) {
cout << e.getCause() << endl; cout << e.getCause() << endl;
return 0; return 0;
......
...@@ -89,6 +89,11 @@ void GrammarDiff::printDiff(const grammar::UnknownGrammar& a, const grammar::Unk ...@@ -89,6 +89,11 @@ void GrammarDiff::printDiff(const grammar::UnknownGrammar& a, const grammar::Unk
   
} }
   
void GrammarDiff::diff(const grammar::UnknownGrammar& a, const grammar::UnknownGrammar& b) { int GrammarDiff::diff(const grammar::UnknownGrammar& a, const grammar::UnknownGrammar& b) {
if(!GrammarDiff::testDiff(a, b)) GrammarDiff::printDiff(a, b); if(!GrammarDiff::testDiff(a, b)) {
GrammarDiff::printDiff(a, b);
return 1;
} else {
return 0;
}
} }
...@@ -21,7 +21,7 @@ class GrammarDiff { ...@@ -21,7 +21,7 @@ class GrammarDiff {
template <class T> static void setDiff(const std::set<T> a, const std::set<T> b); template <class T> static void setDiff(const std::set<T> a, const std::set<T> b);
template <class T> static void listDiff(const std::list<T> a, const std::list<T> b); template <class T> static void listDiff(const std::list<T> a, const std::list<T> b);
public: public:
static void diff(const grammar::UnknownGrammar& a, const grammar::UnknownGrammar& b); static int diff(const grammar::UnknownGrammar& a, const grammar::UnknownGrammar& b);
}; };
   
#endif /* GRAMMAR_DIFF_H_ */ #endif /* GRAMMAR_DIFF_H_ */
...@@ -35,7 +35,7 @@ int main(int argc, char** argv) { ...@@ -35,7 +35,7 @@ int main(int argc, char** argv) {
grammar2 = GrammarFactory::fromFile(argv[2]); grammar2 = GrammarFactory::fromFile(argv[2]);
} }
   
GrammarDiff::diff(grammar1, grammar2); return GrammarDiff::diff(grammar1, grammar2);
} catch (AlibException& e) { } catch (AlibException& e) {
cout << e.getCause() << endl; cout << e.getCause() << endl;
return 0; return 0;
......
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