From 62a5bd04e377d5735f234fe690d5a65c3a152bfc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Sun, 23 Feb 2014 12:48:28 +0100
Subject: [PATCH] Delete all executables
---
aconversions/src/fa2re/afa2re.brzozowski.cpp | 34 ----------
aconversions/src/fa2re/afa2re.elimination.cpp | 34 ----------
aconversions/src/fa2rg/afa2lrg.cpp | 34 ----------
aconversions/src/fa2rg/afa2rg.cpp | 46 -------------
aconversions/src/fa2rg/afa2rrg.cpp | 34 ----------
aconversions/src/re2fa/are2fa.brzozowski.cpp | 37 ----------
aconversions/src/re2fa/are2fa.glushkov.cpp | 37 ----------
aconversions/src/re2fa/are2fa.thompson.cpp | 37 ----------
aconversions/src/rg2fa/alrg2fa.cpp | 34 ----------
aconversions/src/rg2fa/arg2fa.cpp | 68 -------------------
aconversions/src/rg2fa/arrg2fa.cpp | 34 ----------
11 files changed, 429 deletions(-)
delete mode 100644 aconversions/src/fa2re/afa2re.brzozowski.cpp
delete mode 100644 aconversions/src/fa2re/afa2re.elimination.cpp
delete mode 100644 aconversions/src/fa2rg/afa2lrg.cpp
delete mode 100644 aconversions/src/fa2rg/afa2rg.cpp
delete mode 100644 aconversions/src/fa2rg/afa2rrg.cpp
delete mode 100644 aconversions/src/re2fa/are2fa.brzozowski.cpp
delete mode 100644 aconversions/src/re2fa/are2fa.glushkov.cpp
delete mode 100644 aconversions/src/re2fa/are2fa.thompson.cpp
delete mode 100644 aconversions/src/rg2fa/alrg2fa.cpp
delete mode 100644 aconversions/src/rg2fa/arg2fa.cpp
delete mode 100644 aconversions/src/rg2fa/arrg2fa.cpp
diff --git a/aconversions/src/fa2re/afa2re.brzozowski.cpp b/aconversions/src/fa2re/afa2re.brzozowski.cpp
deleted file mode 100644
index 17ca209077..0000000000
--- a/aconversions/src/fa2re/afa2re.brzozowski.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <AutomatonFactory.h>
-#include <regexp/RegExpPrinter.h>
-
-#include "BrzozowskiAlgebraic.h"
-
-using namespace std;
-using namespace automaton;
-using namespace regexp;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>(cin), ( istreambuf_iterator<char>( ) ) );
-
- FSM fsm = AutomatonFactory::buildFSM( AutomatonFactory::fromString( input ) );
-
- BrzozowskiAlgebraic conv( fsm );
- const RegExp re = conv.convert( );
- const_cast<RegExp&>( re ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/fa2re/afa2re.elimination.cpp b/aconversions/src/fa2re/afa2re.elimination.cpp
deleted file mode 100644
index 332bd3960f..0000000000
--- a/aconversions/src/fa2re/afa2re.elimination.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <AutomatonFactory.h>
-#include <regexp/RegExpPrinter.h>
-
-#include "StateElimination.h"
-
-using namespace std;
-using namespace automaton;
-using namespace regexp;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>(cin), ( istreambuf_iterator<char>( ) ) );
-
- FSM fsm = AutomatonFactory::buildFSM( AutomatonFactory::fromString( input ) );
-
- StateElimination conv( fsm );
- const RegExp re = conv.convert( );
- const_cast<RegExp&>( re ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/fa2rg/afa2lrg.cpp b/aconversions/src/fa2rg/afa2lrg.cpp
deleted file mode 100644
index 223a833958..0000000000
--- a/aconversions/src/fa2rg/afa2lrg.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <AutomatonFactory.h>
-#include <grammar/GrammarPrinter.h>
-#include <grammar/Regular/RightRegularGrammar.h>
-
-#include "FAtoLRGConverter.h"
-
-using namespace std;
-using namespace automaton;
-using namespace grammar;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>(cin), ( istreambuf_iterator<char>( ) ) );
-
- FSM fsm = AutomatonFactory::buildFSM( AutomatonFactory::fromString( input ) );
-
- FAtoLRGConverter conv( fsm );
- conv.convert().toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/fa2rg/afa2rg.cpp b/aconversions/src/fa2rg/afa2rg.cpp
deleted file mode 100644
index 8d8c3ad38b..0000000000
--- a/aconversions/src/fa2rg/afa2rg.cpp
+++ /dev/null
@@ -1,46 +0,0 @@
-#include <cstdio>
-#include <cstdlib>
-#include <getopt.h>
-#include <unistd.h>
-
-int main( int argc, char *argv [ ] )
-{
- int i, option_index = 0;
- int left = 0, right = 0;
-
- static struct option long_options [ ] =
- {
- { "left", no_argument, NULL, 'l' },
- { "right", no_argument, NULL, 'r' },
- { 0, 0, 0, 0 }
- };
-
- while( ( i = getopt_long( argc, argv, "lr", long_options, &option_index ) ) != -1 )
- {
- switch( i )
- {
- case 'l':
- left = 1;
- break;
- case 'r':
- right = 1;
- break;
- }
- }
-
- if( optind != argc - 1 || ( left == 1 && right == 1 ) )
- {
- fprintf( stderr, "Usage: afa2rg [--left XOR --right] input\n" );
- return EXIT_FAILURE;
- }
- else if( left == 1 )
- {
- execvp( "afa2lrg", argv + optind );
- return EXIT_SUCCESS;
- }
- else
- {
- execvp( "afa2rrg", argv + optind );
- return EXIT_SUCCESS;
- }
-}
diff --git a/aconversions/src/fa2rg/afa2rrg.cpp b/aconversions/src/fa2rg/afa2rrg.cpp
deleted file mode 100644
index 9bc23ffda2..0000000000
--- a/aconversions/src/fa2rg/afa2rrg.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <AutomatonFactory.h>
-#include <grammar/GrammarPrinter.h>
-#include <grammar/Regular/RegularGrammar.h>
-
-#include "FAtoRRGConverter.h"
-
-using namespace std;
-using namespace automaton;
-using namespace grammar;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>(cin), ( istreambuf_iterator<char>( ) ) );
-
- FSM fsm = AutomatonFactory::buildFSM( AutomatonFactory::fromString( input ) );
-
- FAtoRRGConverter conv( fsm );
- conv.convert().toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/re2fa/are2fa.brzozowski.cpp b/aconversions/src/re2fa/are2fa.brzozowski.cpp
deleted file mode 100644
index e23912e899..0000000000
--- a/aconversions/src/re2fa/are2fa.brzozowski.cpp
+++ /dev/null
@@ -1,37 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <automaton/AutomatonPrinter.h>
-#include <regexp/RegExp.h>
-#include <regexp/RegExpParser.h>
-#include <sax/SaxInterface.h>
-
-#include "Brzozowski.h"
-
-
-using namespace std;
-using namespace automaton;
-using namespace regexp;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- list<Token> tokens;
- string input(istreambuf_iterator<char>(cin), (istreambuf_iterator<char>()));
- SaxInterface::parseMemory(input, tokens);
- RegExp re = RegExpParser::parse(tokens);
-
- Brzozowski conv( re );
- conv.convert( ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/re2fa/are2fa.glushkov.cpp b/aconversions/src/re2fa/are2fa.glushkov.cpp
deleted file mode 100644
index 9fb57c5d65..0000000000
--- a/aconversions/src/re2fa/are2fa.glushkov.cpp
+++ /dev/null
@@ -1,37 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <automaton/AutomatonPrinter.h>
-#include <regexp/RegExp.h>
-#include <regexp/RegExpParser.h>
-#include <sax/SaxInterface.h>
-
-#include "Glushkov.h"
-
-
-using namespace std;
-using namespace automaton;
-using namespace regexp;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- list<Token> tokens;
- string input(istreambuf_iterator<char>(cin), (istreambuf_iterator<char>()));
- SaxInterface::parseMemory(input, tokens);
- RegExp re = RegExpParser::parse(tokens);
-
- Glushkov conv( re );
- conv.convert( ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/re2fa/are2fa.thompson.cpp b/aconversions/src/re2fa/are2fa.thompson.cpp
deleted file mode 100644
index 0535c949d1..0000000000
--- a/aconversions/src/re2fa/are2fa.thompson.cpp
+++ /dev/null
@@ -1,37 +0,0 @@
-#include <iostream>
-
-#include <AlibException.h>
-#include <automaton/AutomatonPrinter.h>
-#include <regexp/RegExp.h>
-#include <regexp/RegExpParser.h>
-#include <sax/SaxInterface.h>
-
-#include "Thompson.h"
-
-
-using namespace std;
-using namespace automaton;
-using namespace regexp;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- list<Token> tokens;
- string input(istreambuf_iterator<char>(cin), (istreambuf_iterator<char>()));
- SaxInterface::parseMemory(input, tokens);
- RegExp re = RegExpParser::parse(tokens);
-
- Thompson conv( re );
- conv.convert( ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what() << endl;
- return 1;
- }
-
- return 0;
-}
diff --git a/aconversions/src/rg2fa/alrg2fa.cpp b/aconversions/src/rg2fa/alrg2fa.cpp
deleted file mode 100644
index bf7251fad2..0000000000
--- a/aconversions/src/rg2fa/alrg2fa.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-#include <cstdlib>
-
-#include <GrammarFactory.h>
-#include <AlibException.h>
-
-#include <automaton/AutomatonPrinter.h>
-
-#include "LRGtoFAConverter.h"
-
-using namespace std;
-using namespace grammar;
-using namespace automaton;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>( cin ), ( istreambuf_iterator<char>( ) ) );
-
- UnknownGrammar rg = GrammarFactory::fromString( input );
-
- LeftRegularGrammar rrg = GrammarFactory::buildLeftRegularGrammar( rg );
- LRGtoFAConverter conv( rrg );
- conv.convert( ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what( ) << endl;
- return 0;
- }
-}
diff --git a/aconversions/src/rg2fa/arg2fa.cpp b/aconversions/src/rg2fa/arg2fa.cpp
deleted file mode 100644
index c3be230b36..0000000000
--- a/aconversions/src/rg2fa/arg2fa.cpp
+++ /dev/null
@@ -1,68 +0,0 @@
-#include <iostream>
-#include <cstdlib>
-
-#include <GrammarFactory.h>
-#include <AlibException.h>
-
-#include "LRGtoFAConverter.h"
-#include "RRGtoFAConverter.h"
-#include "../../utils/ConversionException.h"
-
-using namespace alib;
-using namespace conversions;
-using namespace grammar;
-
-int main(int argc, char** argv)
-{
- bool successfullyParsedLRG = true;
- UnknownGrammar rg;
- string input( istreambuf_iterator<char>( cin ), ( istreambuf_iterator<char>( ) ) );
-
- try
- {
- rg = GrammarFactory::fromString( input );
- }
- catch( AlibException & e )
- {
- cout << e.what( ) << endl;
- return 1;
- }
-
- try
- {
- LeftRegularGrammar rrg = GrammarFactory::buildLeftRegularGrammar( rg );
- LRGtoFAConverter conv( rrg );
- conv.convert( ).toXML( cout );
- }
- catch ( ConversionException & e )
- {
- cout << e.what( ) << endl;
- return 1;
- }
- catch ( AlibException & e )
- {
- successfullyParsedLRG = false;
- }
-
- if( ! successfullyParsedLRG )
- {
- try
- {
- RightRegularGrammar rrg = GrammarFactory::buildRightRegularGrammar( rg );
- RRGtoFAConverter conv( rrg );
- conv.convert( ).toXML( cout );
- }
- catch ( ConversionException & e )
- {
- cout << e.what( ) << endl;
- return 1;
- }
- catch ( AlibException & e )
- {
- cout << e.what( ) << endl;
- return 1;
- }
- }
-
- return 0;
-}
diff --git a/aconversions/src/rg2fa/arrg2fa.cpp b/aconversions/src/rg2fa/arrg2fa.cpp
deleted file mode 100644
index 6aea8d07b5..0000000000
--- a/aconversions/src/rg2fa/arrg2fa.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <iostream>
-#include <cstdlib>
-
-#include <GrammarFactory.h>
-#include <AlibException.h>
-
-#include <automaton/AutomatonPrinter.h>
-
-#include "RRGtoFAConverter.h"
-
-using namespace std;
-using namespace grammar;
-using namespace automaton;
-using namespace alib;
-using namespace conversions;
-
-int main(int argc, char** argv)
-{
- try
- {
- string input( istreambuf_iterator<char>( cin ), ( istreambuf_iterator<char>( ) ) );
-
- UnknownGrammar rg = GrammarFactory::fromString( input );
-
- RightRegularGrammar rrg = GrammarFactory::buildRightRegularGrammar( rg );
- RRGtoFAConverter conv( rrg );
- conv.convert( ).toXML( cout );
- }
- catch( AlibException & e )
- {
- cout << e.what( ) << endl;
- return 0;
- }
-}
--
GitLab