d3/d78/_validation_8h_source.html

#pragma once


#include <iosfwd>


#include "storm/storage/umb/model/Type.h"

#include "storm/storage/umb/model/UmbModelForward.h"


namespace storm::umb {

bool validate(storm::umb::UmbModel const& umbModel, std::ostream& errors);


void validateOrThrow(storm::umb::UmbModel const& umbModel);


namespace validation {

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

}  // namespace validation


}  // namespace storm::umb

UmbModelForward.h

storm::umb::validation
Definition Validation.cpp:14

storm::umb::validation::validateTypeDeclaration
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 gi...
Definition Validation.cpp:41

storm::umb
Import and export of umb files.
Definition ExportOptions.h:9

storm::umb::validate
bool validate(storm::umb::UmbModel const &umbModel, std::ostream &err)
Validates the given UMB model and writes potential errors to the given output stream.
Definition Validation.cpp:113

storm::umb::validateOrThrow
void validateOrThrow(storm::umb::UmbModel const &umbModel)
Validates the given UMB model.
Definition Validation.cpp:575

Type.h