include/Converter.hpp

Go to the documentation of this file.
00001 // Converter.hpp: this file is part of the REGAL project.
00002 //
00003 // REGAL : Random and Exhaustive Generators for Automata - Library
00004 //
00005 // Copyright (C) 2007 Julien DAVID.
00006 //
00007 // This program is free software; you can redistribute it and/or
00008 // modify it under the terms of the GNU General Public License
00009 // as published by the Free Software Foundation; either version 2
00010 // of the License, or (at your option) any later version.
00011 //
00012 // The complete GNU General Public Licence Notice can be found as the
00013 // `COPYING' file in the root directory.
00014 //
00015 //
00016 #ifndef CONVERTER
00017 #define CONVERTER
00018 
00019 #include <iostream>
00020 #include "VerboseOption.hpp"
00021 
00022 namespace regal{
00023   
00024   struct InvalidFileException : public std::exception {};
00025   
00026   class Converter{
00027   protected:
00028     FILE * output; 
00030   public:
00031     
00040     virtual void draw_node(char * & name,int posx,int posy,bool initial,bool final)=0;
00041     
00048     virtual void draw_edge(char * & start,char * & end,char * & word)=0;
00049     
00055     virtual void beginAutomaton(const int & sizeX,const int & sizeY)=0;
00056     
00060     virtual void endAutomaton()=0;
00061     
00066     Converter(){}
00067     
00071     virtual ~Converter(){}
00072     
00073   };
00074 
00075 }
00076 
00077 #endif

Generated on Mon Sep 29 16:33:58 2008 for REGAL by  doxygen 1.5.1