storm::io::ArchiveReader Class Reference

#include <ArchiveReader.h>

Classes
class	ArchiveReadEntry
	Object that reads the archive entry. More...
class	Iterator

Public Member Functions
	ArchiveReader (std::filesystem::path const &file)
bool	isReadableArchive () const
Iterator	begin () const
Iterator	end () const

Detailed Description

Definition at line 25 of file ArchiveReader.h.

Constructor & Destructor Documentation

ArchiveReader()

storm::io::ArchiveReader::ArchiveReader

(

std::filesystem::path const &

file

)

Definition at line 289 of file ArchiveReader.cpp.

Member Function Documentation

begin()

ArchiveReader::Iterator storm::io::ArchiveReader::begin

(

)

const

Returns

an iterator to the beginning of the archive entries

Exceptions

MissingLibraryException

if libarchive is not installed.

Definition at line 291 of file ArchiveReader.cpp.

end()

ArchiveReader::Iterator storm::io::ArchiveReader::end

(

)

const

Returns

an iterator to the end of the archive entries

Exceptions

MissingLibraryException

if libarchive is not installed

Definition at line 299 of file ArchiveReader.cpp.

isReadableArchive()

bool storm::io::ArchiveReader::isReadableArchive

(

)

const

Returns

true if the provided file is a readable archive

Note

if libarchive is not installed, this check looks at the magic bytes and might be inaccurate

Definition at line 239 of file ArchiveReader.cpp.

---

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

• src/storm/io/ArchiveReader.h
• src/storm/io/ArchiveReader.cpp