source: src/AST/AssertAcyclic.cpp@ dddb3dd0

//
// 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 : Fri Jun 07 14:32:00 2019
// Update Count     : 1
//

#include "AssertAcyclic.hpp"

#include "AST/Pass.hpp"

namespace {

class NoStrongCyclesCore {
    std::vector<const ast::Node *> parents;
public:
        void previsit( const ast::Node * node ) {
                for (auto & parent : parents) {
                        assert(parent != node);
                }
                parents.push_back(node);
        }
        void postvisit( const ast::Node * ) {
                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: //