Searched refs:contract_stream (Results 1 – 1 of 1) sorted by relevance
57 LogStream contract_stream; in Ensures() local58 contract_stream << "contract error: " << signatory.extra_info << R::Desc(); in Ensures()59 LogWriter(signatory.location_info, EXCEPTION, SUBMODULE_ID, ArgumentError) ^ contract_stream; in Ensures()