KSS Contract
C++ program by contract utilities
 All Namespaces Files Functions Macros
contract.hpp File Reference
#include <initializer_list>
#include <string>

Go to the source code of this file.

Namespaces

 kss
 
 kss::contract
 

Macros

#define KSS_EXPR(expr)   kss::contract::_private::Expression {(expr), #expr, __PRETTY_FUNCTION__, __FILE__, __LINE__}
 

Functions

void kss::contract::parameters (std::initializer_list< _private::Expression > exps)
 
void kss::contract::preconditions (std::initializer_list< _private::Expression > exps)
 
void kss::contract::conditions (std::initializer_list< _private::Expression > exps)
 
void kss::contract::postconditions (std::initializer_list< _private::Expression > exps)
 

Macro Definition Documentation

#define KSS_EXPR (   expr)    kss::contract::_private::Expression {(expr), #expr, __PRETTY_FUNCTION__, __FILE__, __LINE__}

This macro is used to create the Expression objects used as inputs to the condition checking methods of this library.

Definition at line 52 of file contract.hpp.