source: src/AST/AssertAcyclic.cpp@ 7cc0344

//
// Cforall Version 1.0.0 Copyright (C) 2019 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// AssertAcyclic.cpp -- Check that ast::ptr does not form a cycle.
//
// Author           : Andrew Beach
// Created On       : Thu Jun 06 15:00:00 2019
// Last Modified By : Andrew Beach
// Last Modified On : Thu Jun 06 15:00:00 2019
// Update Count     : 0
//

#include "AssertAcyclic.hpp"

#include "AST/Pass.hpp"

namespace {

class NoStrongCyclesCore : public ast::WithGuards {
    std::vector<const ast::Node *> parents;
public:
        void previsit ( const ast::Node * node ) {
                for (auto & p : parents) {
                        assert(p != node);
                }
                parents.push_back(node);
                GuardAction( [this]() { parents.pop_back(); } );
        }
};

}

namespace ast {

void assertAcyclic( const std::list< ast::ptr< ast::Decl > > translationUnit ) {
        Pass<NoStrongCyclesCore> visitor;
        for ( auto & decl : translationUnit ) {
                decl->accept( visitor );
        }
}

}

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //