regal::Converter Class Reference

#include <Converter.hpp>

Inheritance diagram for regal::Converter:

regal::DotConverter regal::GasteXConverter List of all members.

Public Member Functions

virtual void beginAutomaton (const int &sizeX, const int &sizeY)=0
 Converter ()
virtual void draw_edge (char *&start, char *&end, char *&word)=0
virtual void draw_node (char *&name, int posx, int posy, bool initial, bool final)=0
virtual void endAutomaton ()=0
virtual ~Converter ()

Protected Attributes

FILE * output

Constructor & Destructor Documentation

regal::Converter::Converter (  )  [inline]

Creates a Converter, which translate an automaton into its graphical version, such as DoT or GasteX.

virtual regal::Converter::~Converter (  )  [inline, virtual]

Destroy a Converter


Member Function Documentation

virtual void regal::Converter::beginAutomaton ( const int &  sizeX,
const int &  sizeY 
) [pure virtual]

Write a new declaration of an automaton

Parameters:
sizeX is the width of the graphical output
sizeY is the heigth of the graphical output

Implemented in regal::DotConverter, and regal::GasteXConverter.

virtual void regal::Converter::draw_edge ( char *&  start,
char *&  end,
char *&  word 
) [pure virtual]

Convert a representation of an edge/transition into another one

Parameters:
start indicates the name of the starting node
end indicates the name of the ending node
word is the word associated to the edge/transition

Implemented in regal::DotConverter, and regal::GasteXConverter.

virtual void regal::Converter::draw_node ( char *&  name,
int  posx,
int  posy,
bool  initial,
bool  final 
) [pure virtual]

Convert a representation of a node into another one

Parameters:
name is the name of the node
posx is the horizontal position of the node
posy is the vertical position of the node
initial indicates if the states is initial
final indicates if the states is final

Implemented in regal::DotConverter, and regal::GasteXConverter.

virtual void regal::Converter::endAutomaton (  )  [pure virtual]

Indicates the end of the automaton's declaration in the output

Implemented in regal::DotConverter, and regal::GasteXConverter.


Member Data Documentation

FILE* regal::Converter::output [protected]

Possible output for the converter


The documentation for this class was generated from the following file:
Generated on Mon Sep 29 16:33:59 2008 for REGAL by  doxygen 1.5.1