contract.hh File Reference

Replacement for cassert. More...

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

Go to the source code of this file.

Macros
#define	__attribute__(Spec)   /* empty */
#define	ATTRIBUTE_NORETURN   __attribute__((__noreturn__))
#define	die(reason)   __Terminate(__FILE__, __LINE__, reason)
#define	unreached()   die("unreachable code reached")
#define	__TestCondition(condType, expr)
#define	assertion(expr)   __TestCondition(Assertion,expr)
#define	invariant(expr)   __TestCondition(Invariant,expr)
#define	precondition(expr)   __TestCondition(Precondition,expr)
#define	postcondition(expr)   __TestCondition(Postcondition,expr)

Functions
void	__Terminate (const char *, int, const char *) ATTRIBUTE_NORETURN
void	__FailedCondition (const char *condType, const char *condText, const char *fileName, int fileLine) ATTRIBUTE_NORETURN

Detailed Description

Replacement for cassert.

Macro Definition Documentation

#define __attribute__

(

Spec

)

/* empty */

#define __TestCondition	(		condType,
			expr
	)

Value:

((void) ((expr) ? 0 : (__FailedCondition( #condType, #expr,           \
                                            __FILE__, __LINE__ ), 0)))

#define assertion

(

expr

)

__TestCondition(Assertion,expr)

Referenced by desugar::bound_checks_add(), target::Codegen::codegen(), astclone::Cloner::decs_visit(), desugar::desugar(), object::desugar(), assem::Instrs::dump(), assem::Instr::dump(), target::Codegen::frame_build(), callgraph::FundecGraph::hfundec_get(), inlining::inline_expand(), canon::BasicBlock::label_in_get(), callgraph::CallGraphVisitor::operator()(), object::DesugarVisitor::operator()(), object::TypeChecker::operator()(), translate::Translator::operator()(), type::TypeChecker::operator()(), misc::unique< T, C >::operator<(), parse::parse_decs(), inlining::prune(), astclone::Cloner::recurse(), astclone::Cloner::recurse_collection(), tree::Tree::replace_by(), translate::static_link(), object::TypeChecker::visit_dec_header(), object::TypeChecker::visit_dec_members(), and parse::MetavarMap< Data >::~MetavarMap().

#define ATTRIBUTE_NORETURN   __attribute__((__noreturn__))

#define die

(

reason

)

__Terminate(__FILE__, __LINE__, reason)

Referenced by target::ia32::GasAssembly::binop_inst(), target::ia32::GasAssembly::cjump_inst(), target::ia32::GasAssembly::load_build(), target::ia32::GasAssembly::store_build(), and tree::symmetrize().

#define invariant

(

expr

)

__TestCondition(Invariant,expr)

Referenced by assem::Layout::operator()(), and assem::Fragments::print().

#define postcondition

(

expr

)

__TestCondition(Postcondition,expr)

Referenced by tree::Tree::child_get(), and object::DesugarVisitor::operator()().

#define precondition

(

expr

)

__TestCondition(Precondition,expr)

Referenced by misc::path::append_dir(), ast::tasks::ast_display(), callgraph::tasks::callgraph_dump(), canon::Canon::canon_default(), misc::file_library::current_directory_get(), misc::decindent(), assem::Move::def_get(), tree::Cjump::flip(), liveness::FlowGraph< EdgeLabel >::FlowGraph(), liveness::tasks::flowgraph_dump(), type::Function::Function(), overload::OverTable< T >::get(), target::tasks::inst_display(), assem::ProcFrag::instrs_set(), liveness::tasks::interference_dump(), canon::BasicBlock::labels_out_get(), liveness::tasks::liveness_dump(), tree::Iterator::next(), target::tasks::nolimips_display(), target::ia32::GasLayout::operator()(), target::mips::SpimLayout::operator()(), assem::Layout::operator()(), regalloc::UselessMove::operator()(), misc::set< K, C, A >::operator+(), misc::set< K, C, A >::operator+=(), misc::set< K, C, A >::operator-(), misc::list< Ident_ >::operator-=(), misc::set< K, C, A >::operator-=(), misc::timer::operator<<(), tree::Tree::parent_get_assert(), parse::tasks::parse(), misc::timer::pop(), misc::file_library::pop_current_directory(), misc::timer::push(), tree::Tree::replace_by(), overload::OverTable< T >::scope_end(), misc::timer::timer(), tree::Iterator::tree_get(), assem::Move::use_get(), and object::TypeChecker::visit_dec_body().

#define unreached

(

)

die("unreachable code reached")

Referenced by assem::Instr::dump(), object::TypeChecker::operator()(), ast::GenNonObjectVisitor< Const >::operator()(), translate::Translator::operator()(), type::TypeChecker::operator()(), tree::Call::tag_print(), tree::Eseq::tag_print(), tree::Seq::tag_print(), translate::Nx::un_cx(), and translate::Nx::un_ex().

Function Documentation

void __FailedCondition	(	const char *	condType,
		const char *	condText,
		const char *	fileName,
		int	fileLine
	)

void __Terminate	(	const char *	,
		int	,
		const char *
	)

Referenced by misc::error::ice().