designbycontract.h File Reference

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

Go to the source code of this file.

Classes
class	DesignByContract
	Design-by-contract base class. More...
Defines
#define	ASSERT__(type, expr)   if (!(expr)) DesignByContract::__throw_error_(__FILE__, __LINE__, #expr,type)
#define	ASSERT(expr)   ASSERT__("ASSERTION",expr)
#define	IS_VALID(obj)   ASSERT__("CONSTISTENCY CHECK",(obj) != NULL && (obj)->isValid())
#define	IS_VALID_REF(obj)   ASSERT__("CONSTISTENCY CHECK",(obj).isValid())
#define	REQUIRE(expr)   ASSERT__("PRE-CONDITION",expr)
#define	ENSURE(expr)   ASSERT__("POST-CONDITION",expr)
#define	MESSAGE(msg)   DesignByContract::__report_Message_(__FILE__,__LINE__,msg)

---

Define Documentation

#define ASSERT

(

expr

)

ASSERT__("ASSERTION",expr)

Referenced by Region4::dens(), SteamCalculator::getGasPart(), SteamCalculator::getLiquidPart(), SteamCalculator::getRegion3PressureError(), SteamCalculator::set_pT(), SteamCalculator::setB23_p(), SteamCalculator::setB23_T(), SteamCalculator::setRegion1_pT(), SteamCalculator::setRegion2_pT(), SteamCalculator::setRegion4_Tx(), and SteamCalculator::setSatWater_p().

#define ASSERT__	(	type,
		expr		)	if (!(expr)) DesignByContract::__throw_error_(__FILE__, __LINE__, #expr,type)

#define ENSURE

(

expr

)

ASSERT__("POST-CONDITION",expr)

Referenced by SteamCalculator::conductivity(), SteamCalculator::dens(), SteamCalculator::getRegion3PressureError(), Boundaries::getSatDensWater_T(), SteamCalculator::lam(), SteamCalculator::lam0(), SteamCalculator::lam1(), SteamCalculator::lam2(), SteamCalculator::pitau_iaps85(), SteamCalculator::set_pT(), Region4::set_pT(), Region3::set_pT(), Region2::set_pT(), Region1::set_pT(), SteamCalculator::setB23_p(), SteamCalculator::setB23_T(), SteamCalculator::setRegion3_rhoT(), and SteamCalculator::setSatSteam_p().

#define IS_VALID

(

obj

)

ASSERT__("CONSTISTENCY CHECK",(obj) != NULL && (obj)->isValid())

Referenced by SteamCalculator::getGasPart(), and SteamCalculator::getLiquidPart().

#define IS_VALID_REF

(

obj

)

ASSERT__("CONSTISTENCY CHECK",(obj).isValid())

#define MESSAGE

(

msg

)

DesignByContract::__report_Message_(__FILE__,__LINE__,msg)

#define REQUIRE

(

expr

)

ASSERT__("PRE-CONDITION",expr)

Referenced by SteamCalculator::conductivity(), SteamCalculator::dens(), SteamCalculator::dynvisc(), Boundaries::getSatDensSteam_T(), Boundaries::getSatDensWater_T(), Boundaries::getSatPres_T(), SteamCalculator::pitau_iaps85(), SteamCalculator::pres(), Region2::pres(), Region1::pres(), SteamCalculator::quality(), SteamCalculator::set_pT(), Region4::set_pT(), SteamCalculator::setB23_p(), SteamCalculator::setB23_T(), SteamCalculator::setRegion3_rhoT(), SteamCalculator::setSatSteam_p(), SteamCalculator::setSatSteam_T(), SteamCalculator::setSatWater_p(), SteamCalculator::setSatWater_T(), SteamCalculator::speccp(), SteamCalculator::speccv(), SteamCalculator::specenthalpy(), SteamCalculator::specentropy(), SteamCalculator::specienergy(), SteamCalculator::specvol(), SteamCalculator::surftens(), SteamCalculator::temp(), Region2::temp(), Region1::temp(), and Solver2< FirstProp, SecondProp, FirstPropAlt, SecondPropAlt >::whichRegion().