void Board::saveTikZ( const char * filename, double pageWidth, double pageHeight, double margin ) const { std::ofstream out( filename ); saveTikZ(out,pageWidth,pageHeight,margin); out.close(); }
void Board::save( const char * filename, double pageWidth, double pageHeight, double margin ) const { const char * extension = filename + strlen( filename ); while ( extension > filename && *extension != '.' ) --extension; if ( !(strcmp( extension, ".eps" )) || !(strcmp( extension, ".EPS" )) ) { saveEPS( filename, pageWidth, pageHeight, margin ); return; } if ( !(strcmp( extension, ".fig" )) || !(strcmp( extension, ".FIG" )) ) { saveFIG( filename, pageWidth, pageHeight, margin ); return; } if ( !(strcmp( extension, ".svg" )) || !(strcmp( extension, ".SVG" )) ) { saveSVG( filename, pageWidth, pageHeight, margin ); return; } if ( !(strcmp( extension, ".tikz" )) || !(strcmp( extension, ".TIKZ" )) ) { saveTikZ( filename, pageWidth, pageHeight, margin ); return; } }
void Board::saveTikZ( const char * filename, PageSize size, double margin ) const { saveTikZ( filename, pageSizes[size][0], pageSizes[size][1], margin ); }
void Board::saveTikZ( std::ostream & out, PageSize size, double margin ) const { saveTikZ( out, pageSizes[size][0], pageSizes[size][1], margin ); }