mcrl2::utilities::file_format Class Reference

#include <file_utility.h>

Public Member Functions
	file_format ()
	file_format (const std::string &shortname, const std::string &description, bool is_text_format)
void	add_extension (const std::string &ext)
const std::string &	shortname () const
const std::string &	description () const
bool	text_format () const
bool	matches (const std::string &filename) const
bool	operator== (const file_format &other) const
bool	operator< (const file_format &other) const

Protected Attributes
std::string	m_shortname
std::string	m_description
bool	m_text_format
std::vector< std::string >	m_extensions

Detailed Description

Definition at line 39 of file file_utility.h.

Constructor & Destructor Documentation

file_format() [1/2]

mcrl2::utilities::file_format::file_format ( )

inline

Definition at line 48 of file file_utility.h.

file_format() [2/2]

mcrl2::utilities::file_format::file_format ( const std::string &  shortname, const std::string &  description, bool  is_text_format  )

inline

Definition at line 53 of file file_utility.h.

Member Function Documentation

add_extension()

void mcrl2::utilities::file_format::add_extension ( const std::string &  ext )

inline

Definition at line 57 of file file_utility.h.

description()

const std::string & mcrl2::utilities::file_format::description ( ) const

inline

Definition at line 64 of file file_utility.h.

matches()

bool mcrl2::utilities::file_format::matches ( const std::string &  filename ) const

inline

Definition at line 68 of file file_utility.h.

operator<()

bool mcrl2::utilities::file_format::operator< ( const file_format &  other ) const

inline

Definition at line 85 of file file_utility.h.

operator==()

bool mcrl2::utilities::file_format::operator== ( const file_format &  other ) const

inline

Definition at line 80 of file file_utility.h.

shortname()

const std::string & mcrl2::utilities::file_format::shortname ( ) const

inline

Definition at line 62 of file file_utility.h.

text_format()

bool mcrl2::utilities::file_format::text_format ( ) const

inline

Definition at line 66 of file file_utility.h.

Member Data Documentation

m_description

std::string mcrl2::utilities::file_format::m_description

protected

Definition at line 43 of file file_utility.h.

m_extensions

std::vector<std::string> mcrl2::utilities::file_format::m_extensions

protected

Definition at line 45 of file file_utility.h.

m_shortname

std::string mcrl2::utilities::file_format::m_shortname

protected

Definition at line 42 of file file_utility.h.

m_text_format

bool mcrl2::utilities::file_format::m_text_format

protected

Definition at line 44 of file file_utility.h.

---

The documentation for this class was generated from the following file:

• utilities/include/mcrl2/utilities/file_utility.h