Function isCompatibleFunction

src/ast/ast_derive_alias.cpp:24–35

    }

    bool isCompatibleFunction ( const FunctionPtr & func, const TypeDeclPtr & inv ) {
        if ( func->arguments.size()!=inv->argTypes.size() ) return false;
        if ( !inv->firstType->isSameType(*func->result, RefMatters::yes, ConstMatters::yes, TemporaryMatters::yes) ) {
            return false;
        }
        for ( size_t i=0, is=func->arguments.size(); i!=is; ++i ) {
            if ( !inv->argTypes[i]->isSameType(*func->arguments[i]->type, RefMatters::yes, ConstMatters::yes, TemporaryMatters::yes, AllowSubstitute::yes, false, false) ) {
                return false;
            }
        }
        return true;
    }

    void collectInvokeIndVariables ( const ProgramPtr & program, const TypeDeclPtr & inv, IndirectSources & sources ) {
        das_hash_set<Function *> accessed;