void ADLHelper::addArgumentType(const AbstractType::Ptr typePtr)
{
if(m_alreadyProcessed.contains(typePtr.data()))
return;
if (typePtr)
{
#ifdef DEBUG_ADL
qCDebug(CPPDUCHAIN) << " added argument type " << typePtr->toString() << " to ADL lookup";
#endif
// the enumeration and enumerator types are not part of the TypeVisitor interface
switch (typePtr->whichType())
{
case AbstractType::TypeEnumeration:
{
EnumerationType* specificType = fastCast<EnumerationType*>(typePtr.data());
if (specificType)
{
Declaration * enumDecl = specificType->declaration(m_topContext.data());
addDeclarationScopeIdentifier(enumDecl);
}
break;
}
case AbstractType::TypeEnumerator:
{
if (m_templateArgsDepth == 0)
{
EnumeratorType* specificType = fastCast<EnumeratorType*>(typePtr.data());
if (specificType)
{
// use the enumeration context for the enumerator value declaration to find out the namespace
Declaration * enumeratorDecl = specificType->declaration(m_topContext.data());
if (enumeratorDecl) {
DUContext * enumContext = enumeratorDecl->context();
if (enumContext) {
addAssociatedNamespace(enumContext->scopeIdentifier(false));
}
}
}
}
break;
}
default:
typePtr->accept(&m_typeVisitor);
}
}
m_alreadyProcessed.insert(typePtr.data());
}
void ExpressionVisitor::encounter(AbstractType::Ptr type, EncounterFlags flags)
{
if ( type )
kDebug() << "type encountered: " << type->toString();
else
kDebug() << "unknown type encountered";
if ( flags & AutomaticallyDetermineDeclaration ) {
StructureType::Ptr t = type.cast<StructureType>();
if ( t ) {
encounterDeclaration(t->declaration(m_ctx->topContext()));
}
else {
encounterDeclaration(0);
}
}
m_lastType.push(encounterPreprocess(type, flags & MergeTypes));
}
uint TypeRepository::indexForType(const AbstractType::Ptr input) {
if(!input)
return 0;
uint i = typeRepository()->index(AbstractTypeDataRequest(*input));
#ifdef DEBUG_TYPE_REPOSITORY
AbstractType::Ptr t = typeForIndex(i);
if(!t->equals(input.data())) {
qCWarning(LANGUAGE) << "found type in repository does not equal source type:" << input->toString() << t->toString();
t->equals(input.data());
}
#ifdef ASSERT_ON_PROBLEM
Q_ASSERT(t->equals(input.data()));
Q_ASSERT(input->equals(t.data()));
#endif
#endif
return i;
}