/**  --------------------------------------------------------------------
 *  @file operator-examine.cc
 *  @brief Implementation of the EXAMINE command
 *  @author Andreas Aardal Hanssen
 *  @date 2002-2005
 *  -----------------------------------------------------------------  **/
#include "operators.h"

using namespace ::std;
using namespace Binc;

//----------------------------------------------------------------------
const std::string ExamineOperator::getName(void) const
{
  return "EXAMINE";
}

//----------------------------------------------------------------------
ExamineOperator::ExamineOperator(void)
{
}

//----------------------------------------------------------------------
ExamineOperator::~ExamineOperator(void)
{
}