/***********************************************************************
** FileSystem.h                                                       **
**                                                                    **
** This file is part of dvisvgm -- the DVI to SVG converter           **
** Copyright (C) 2005-2007 Martin Gieseking <martin.gieseking@uos.de> **
**                                                                    **
** This program is free software; you can redistribute it and/or      **
** modify it under the terms of the GNU General Public License        **
** as published by the Free Software Foundation; either version 2     **
** of the License, or (at your option) any later version.             **
**                                                                    **
** This program is distributed in the hope that it will be useful,    **
** but WITHOUT ANY WARRANTY; without even the implied warranty of     **
** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the      **
** GNU General Public License for more details.                       **
**                                                                    **
** You should have received a copy of the GNU General Public License  **
** along with this program; if not, write to the Free Software        **
** Foundation, Inc., 51 Franklin Street, Fifth Floor,                 **
** Boston, MA 02110-1301, USA.                                        **
***********************************************************************/
// $Id: FileSystem.h 49 2007-03-22 14:02:13Z mgieseki $

#ifndef FILESYSTEM_H
#define FILESYSTEM_H

#include <string>
#include "types.h"

using std::string;

struct FileSystem
{
	static bool remove (string fname);
	static bool rename (string oldname, string newname);
	static UInt64 filesize (string fname);
	static string adaptPathSeperators (string path);
	static string getcwd ();
	static const char* DEVNULL;
	static const char PATHSEP;
};

#endif