Method describe

src/ast/ast_typedecl.cpp:634–880

    // TypeDecl

    string TypeDecl::describe ( DescribeExtra extra, DescribeContracts contracts, DescribeModule dmodule, AliasDefs * aliasDefs, bool topAlias ) const {
        TextWriter stream;
        if ( autoToAlias ) {
            stream << "type<";
        }
        if ( aliasDefs && topAlias && extra==DescribeExtra::yes && baseType!=Type::alias
                && baseType!=Type::autoinfer && !alias.empty() ) {
            bool known = false;
            for ( auto & kv : *aliasDefs ) { if ( kv.first==alias ) { known = true; break; } }
            if ( !known ) {
                aliasDefs->emplace_back(alias, string());           // reserve slot, break recursion cycles
                string def = describe(extra, contracts, dmodule, aliasDefs, false); // expand this node structurally
                for ( auto & kv : *aliasDefs ) { if ( kv.first==alias ) { kv.second = def; break; } }
            }
            stream << alias;
        } else if ( baseType==Type::alias ) {
            if ( isTag ) {
                if ( firstType) {
                    stream << "$$(";
                    if ( firstType->dimExpr.size()==1 ) {
                        stream << *(firstType->dimExpr[0]);
                    }
                    stream << ")";
                } else {
                    stream << "$$()";
                }
            } else {
                stream << alias;
            }
        } else if ( baseType==Type::autoinfer ) {
            stream << "auto";
            if ( !alias.empty() ) {
                stream << "(" << alias << ")";
            }
        } else if ( baseType==Type::option ) {
            for ( auto & argT : argTypes ) {
                stream << argT->describe(extra, contracts, dmodule, aliasDefs);
                if ( argT != argTypes.back() ) {
                    stream << "|";
                }
            }
        } else if ( baseType==Type::typeDecl ) {
            if ( dimExpr.size()==1 ) {
                stream << "typedecl(" << (*dimExpr[0]) << ")";
            } else {
                stream << "typedecl(/*invalid expression*/)";
            }
        } else if ( baseType==Type::typeMacro ) {
            stream << "$" << typeMacroName() << "(";
            for ( size_t i=1; i!=dimExpr.size(); ++i ) {
                if ( i!=1 ) stream << ",";
                if ( dimExpr[i] ) {
                    stream << *(dimExpr[i]);
                } else {
                    stream << "/*invalid expression*/";
                }
            }
            stream << ")";