regal::DotConverter Class Reference

#include <DotConverter.hpp>

Inheritance diagram for regal::DotConverter:

regal::Converter List of all members.

Public Member Functions

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

Constructor & Destructor Documentation

regal::DotConverter::DotConverter ( const char *  path  )  [inline]

Creates a DotConverter

Parameters:
path is the path of the output file

regal::DotConverter::~DotConverter (  )  [inline]

Destroy a DotConverter


Member Function Documentation

void regal::DotConverter::beginAutomaton ( const int &  sizeX,
const int &  sizeY 
) [inline, virtual]

Write in output the header to creates a GasteX automaton

Parameters:
sizeX is the max width of the drawning
sizeY is the max height of the drawning

Implements regal::Converter.

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

Print in output the Dot line to draw an egde Make a loop if start and end are the same

Implements regal::Converter.

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

Print in output the Dot line to draw a node

Implements regal::Converter.

void regal::DotConverter::endAutomaton (  )  [inline, virtual]

Write in output that the current automaton's description is finished

Implements regal::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