Inferno
0.2
|
Go to the source code of this file.
Classes | |
class | Tracer |
class | Tracer::Descend |
Defines | |
#define | INFERNO_CURRENT_FUNCTION __func__ |
#define | TRACE if(Tracer::IsEnabled()) Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION ) |
#define | ASSERT(CONDITION) if(!(CONDITION)) Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION, (Tracer::Flags)(Tracer::ABORT|Tracer::FORCE), #CONDITION ) |
#define | ASSERTFAIL(MESSAGE) do { Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION, (Tracer::Flags)(Tracer::ABORT|Tracer::FORCE), #MESSAGE ); abort(); } while(0); |
#define | INDENT HIT; Tracer::Descend indent_ |
#define ASSERT | ( | CONDITION | ) | if(!(CONDITION)) Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION, (Tracer::Flags)(Tracer::ABORT|Tracer::FORCE), #CONDITION ) |
Definition at line 82 of file trace.hpp.
Referenced by Walk_iterator::AdvanceInto(), Walk_iterator::AdvanceOver(), NormalAgent::BuildReplace(), BuildSequence(), Walk_iterator::BypassEndOfChildren(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::Clone(), CommonTest(), CompareReplace::Compare(), NormalAgent::Configure(), CompareReplace::Configure(), SearchReplace::Configure(), NormalAgent::DecidedCompare(), IsLabelReached::DecidedCompare(), CouplingKeys::DoKey(), Cloner::Duplicate(), OOStd::ContainerCommon< Itemiser::Element, TreePtrInterface, deque< TreePtr< CPPTree::Identifier > > >::erase(), FindMemberByName(), RCHold< Base, DeclTy * >::FromRaw(), GenericsTest(), TypeOf::Get(), IdentifierTracker::Get(), CouplingKeys::GetAllKeys(), StuffBase::GetContainerInterface(), CompareReplace::GetContext(), SearchReplace::GetGraphInfo(), TypeOf::GetLiteral(), BuildIdentifierBase::GetNewName(), GetScope(), TypeOf::GetSpecial(), TypeOf::GetStandard(), Conjecture::HandleDecision(), OOStd::SharedPtr< Itemiser::Element, Node, VALUE_TYPE >::InferredDynamicCast(), Walk_iterator::IsAtEndOfChildren(), TypeOf::IsConstructorCall(), IsDependOn(), CPPTree::SpecificString::IsLocalMatch(), CPPTree::SpecificInteger::IsLocalMatch(), CPPTree::SpecificFloat::IsLocalMatch(), CPPTree::SpecificIdentifier::IsLocalMatch(), CPPTree::SpecificFloatSemantics::IsLocalMatch(), UniqueFilter::IsMatch(), CompareReplace::IsMatch(), Matcher::IsSubclassStatic(), Itemiser::ItemiseIndexStatic(), Itemiser::ItemiseStatic(), JumbleDecls(), main(), MakePatternPtr< NODE_TYPE >::MakePatternPtr(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator!=(), Render::operator()(), SimpleCompare::operator()(), Validate::operator()(), Parse::operator()(), CompareReplace::operator()(), FlattenNode_iterator::operator*(), Walk_iterator::operator*(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator*(), OOStd::PointIterator< SUB_BASE, VALUE_INTERFACE >::operator*(), FlattenNode_iterator::operator++(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator++(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator--(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator->(), OOStd::PointIterator< SUB_BASE, VALUE_INTERFACE >::operator->(), OOStd::SharedPtr< Itemiser::Element, Node, VALUE_TYPE >::operator=(), FlattenNode_iterator::operator==(), Walk_iterator::operator==(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::operator==(), OOStd::ContainerCommon< SUB_BASE, VALUE_INTERFACE, CONTAINER_IMPL >::iterator::operator==(), OOStd::PointIterator< SUB_BASE, VALUE_INTERFACE >::operator==(), OOStd::CountingIterator< SUB_BASE, VALUE_INTERFACE >::operator==(), FlattenNode_iterator::Overwrite(), Walk_iterator::Overwrite(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator::Overwrite(), OOStd::PointIterator< SUB_BASE, VALUE_INTERFACE >::PointIterator(), IdentifierTracker::PopScope(), Conjecture::PrepareForDecidedCompare(), IdentifierTracker::PushScope(), ReverseDecls(), IdentifierTracker::SeenScope(), IdentifierTracker::SetNextRecord(), SortDecls(), CompareReplace::Test(), RCHold< Base, DeclTy * >::ToRaw(), IdentifierTracker::TryGet(), and Magic::~Magic().
#define ASSERTFAIL | ( | MESSAGE | ) | do { Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION, (Tracer::Flags)(Tracer::ABORT|Tracer::FORCE), #MESSAGE ); abort(); } while(0); |
Definition at line 86 of file trace.hpp.
Referenced by ContainerFromIterator< Iterator, ConsParam1, ConsParam2, ConsParam3 >::clear(), NormalAgent::DecidedCompare(), ContainerFromIterator< Iterator, ConsParam1, ConsParam2, ConsParam3 >::erase(), TypeOf::Get(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator_interface::GetCount(), TypeOf::GetLiteral(), BuildIdentifierBase::GetNewName(), TypeOf::GetSpecial(), TypeOf::GetStandard(), SCTree::SCNamedConstruct::GetToken(), ContainerFromIterator< Iterator, ConsParam1, ConsParam2, ConsParam3 >::insert(), OOStd::SharedPtr< Itemiser::Element, Node, VALUE_TYPE >::MakeValueArchitype(), FlattenNode_iterator::operator string(), SimpleCompare::operator()(), InPlaceTransformation::operator()(), FlattenNode_iterator::operator*(), OOStd::CountingIterator< SUB_BASE, VALUE_INTERFACE >::operator*(), FlattenNode_iterator::operator++(), OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::iterator_interface::operator--(), OOStd::CountingIterator< SUB_BASE, VALUE_INTERFACE >::operator->(), FlattenNode_iterator::Overwrite(), and OOStd::CountingIterator< SUB_BASE, VALUE_INTERFACE >::Overwrite().
#define INDENT HIT; Tracer::Descend indent_ |
Definition at line 88 of file trace.hpp.
Referenced by NormalAgent::BuildReplace(), CompareReplace::Compare(), NormalAgent::DecidedCompare(), NestedBase::DecidedCompare(), PointerIs< PRE_RESTRICTION >::DecidedCompare(), IsLabelReached::DecidedCompare(), UniqueWalkNoBody_iterator::GetChildContainer(), StarBase::MatchRange(), and CompareReplace::operator()().
#define INFERNO_CURRENT_FUNCTION __func__ |
#define TRACE if(Tracer::IsEnabled()) Tracer( __FILE__, __LINE__, INFERNO_CURRENT_FUNCTION ) |
Definition at line 79 of file trace.hpp.
Referenced by IdentifierTracker::Add(), NormalAgent::BuildReplace(), CompareReplace::Compare(), CompareReplace::Configure(), NormalAgent::DecidedCompare(), IsLabelReached::DecidedCompare(), CouplingKeys::DoKey(), FindMemberByName(), GenericsTest(), TypeOf::Get(), IdentifierTracker::Get(), CouplingKeys::GetAllKeys(), UniqueWalkNoBody_iterator::GetChildContainer(), AnyNodeBase::GetContainerInterface(), BuildIdentifierBase::GetNewName(), GetScope(), Conjecture::HandleDecision(), IdentifierTracker::IdentifierTracker(), Conjecture::Increment(), IsDependOn(), IdentifierByNameBase::IsMatch(), main(), StarBase::MatchRange(), Validate::operator()(), Parse::operator()(), CompareReplace::operator()(), Output(), IdentifierTracker::PopScope(), Conjecture::PrepareForDecidedCompare(), IdentifierTracker::SeenScope(), IdentifierTracker::SetNextRecord(), SortDecls(), CompareReplace::Test(), IdentifierTracker::TryGet(), and Conjecture::~Conjecture().