Method validateAotCpp

src/ast/ast_handle.cpp:248–284

    }

    void Program::validateAotCpp ( TextWriter & logs, Context & ) {
        library.foreach([&](Module * mod) -> bool {
            if ( mod->builtIn ) {
                logs << "// validating " << mod->name << "\n";
                for ( auto & [key, tp] : mod->handleTypes ) {
                    if ( tp->rtti_isBasicStructureAnnotation() ) {
                        auto bs = static_cast<BasicStructureAnnotation*>(tp);
                        if ( !bs->validationNeverFails ) {
                            auto cppt = new TypeDecl(Type::tHandle);
                            cppt->annotation = bs;
                            auto cppn = describeCppType(cppt);
                            logs << "//\t" << cppn << " aka " << tp->name << "\n";
                            for ( const auto & flp : bs->fields ) {
                                const auto & fld = flp.second;
                                if ( fld.offset != -1u ) {
                                    if ( fld.cppName.find('(')==string::npos ) {   // sometimes we bind ref member function as if field
                                        logs << "\t\tstatic_assert(offsetof(" << cppn << ","
                                            << fld.cppName << ")==" << fld.offset << ",\"mismatching offset\");\n";
                                    }
                                }
                            }
                        }
                    }
                }
                mod->enumerations.foreach([&](auto tp){
                    auto cppt = new TypeDecl(tp);
                    auto cppn = describeCppType(cppt);
                    auto baset = tp->makeBaseType();
                    logs << "//\t" << cppn << " aka " << tp->name << "\n";
                    logs << "\t\tstatic_assert( is_same < underlying_type< " << cppn << " >::type, "
                        << describeCppType(baset) << ">::value,\"mismatching underlying type, expecting "
                            << das_to_string(tp->baseType) << "\");\n";
                });
            }
            return true;
        },"*");
    }

    void reportTrait ( const TypeDeclPtr & type, const string & prefix, set<Structure *> & visited, const callable<void(const TypeDeclPtr &, const string &)> & report ) {
        report(type, prefix);