Visitable.hpp

Go to the documentation of this file.

#ifndef wali_VISITABLE_GUARD
#define wali_VISITABLE_GUARD 1

/*!
 * @author Nicholas Kidd
 */

#include "wali/Common.hpp"

namespace wali
{
  namespace witness
  {
    class Visitor;

    class Visitable
    {
      public:
        virtual ~Visitable() {}

        virtual void accept( Visitor& v, bool visitOnce=false ) = 0;
    };

  } // namespace witness

} // namespace wali

#endif  // wali_VISITABLE_GUARD