FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Public Member Functions | Friends | List of all members
FDR::Assertions::Counterexample Class Reference

A reason why an Assertion fails. More...

#include <counterexample.h>

Inheritance diagram for FDR::Assertions::Counterexample:
Inheritance graph
[legend]

Public Member Functions

 Counterexample (const Counterexample &)=delete
 
Counterexampleoperator= (const Counterexample &)=delete
 

Friends

struct CounterexampleFactory
 
class DebugContext
 

Detailed Description

A reason why an Assertion fails.

There are many different subclasses of this. The recommended method of differentiating between them is to use dynamic_cast.


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