storm::umb::validation Namespace Reference

Functions
bool	validateCsr (auto const &csr, std::string_view const name, uint64_t numMappedElements, std::optional< uint64_t > expectedlastEntry, std::ostream &err)
bool	validateTypeDeclaration (storm::umb::SizedType const &type, bool requireStandardSize, std::ostream &err)
	Validates a single type declaration against the UMB specification, writing potential errors to the given output stream.
bool	vectorMatchesType (storm::umb::GenericVector const &vector, storm::umb::SizedType const &type)

Function Documentation

validateCsr()

bool storm::umb::validation::validateCsr	(	auto const &	csr,
		std::string_view const	name,
		uint64_t	numMappedElements,
		std::optional< uint64_t >	expectedlastEntry,
		std::ostream &	err )

Definition at line 15 of file Validation.cpp.

validateTypeDeclaration()

bool storm::umb::validation::validateTypeDeclaration	(	storm::umb::SizedType const &	type,
		bool	requireStandardSize,
		std::ostream &	err )

Validates a single type declaration against the UMB specification, writing potential errors to the given output stream.

Parameters

type	The type declaration to validate.
requireStandardSize	For types that are only occasionally required to be their default size (e.g. Bool, Int, Uint), enforces the default size when set. Types that must always be their default size (Double, DoubleInterval, String) are checked regardless of this flag.

Returns

true if the type declaration is valid.

Definition at line 41 of file Validation.cpp.

vectorMatchesType()

bool storm::umb::validation::vectorMatchesType	(	storm::umb::GenericVector const &	vector,
		storm::umb::SizedType const &	type )

Definition at line 83 of file Validation.cpp.