ExpectationReport.hpp File Reference

#include "mimic++/Fwd.hpp"
#include "mimic++/config/Config.hpp"
#include "mimic++/reporting/SequenceReport.hpp"
#include "mimic++/reporting/TargetReport.hpp"
#include "mimic++/utilities/SourceLocation.hpp"
#include <optional>
#include <variant>
#include <vector>

Include dependency graph for ExpectationReport.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	mimicpp::reporting::state_inapplicable
	Denotes an inapplicable expectation state. More...
struct	mimicpp::reporting::state_applicable
	Denotes an applicable expectation state. More...
struct	mimicpp::reporting::state_saturated
	Denotes a saturated expectation state. More...
class	mimicpp::reporting::ExpectationReport
	Contains the extracted info from a typed expectation. More...
class	mimicpp::reporting::RequirementOutcomes
	Contains the boolean outcomes of a match-test. More...

Namespaces
namespace	mimicpp
namespace	mimicpp::reporting

Typedefs
using	mimicpp::reporting::control_state_t
	Denotes an expectation state.