// EdoType_t.cxx

#include "EdoType.h"

using hes::Index;
using hes::EdoType;

int main() {

  string line = "--------------------------------------";
  cout << line << endl;

  {
    cout << "Version: " << EdoType::version() << endl;
    cout << line << endl;
  }

  {
    EdoType tint(1);
    EdoType tlong(2);
    EdoType::register_type(tint,"int");
    EdoType::register_type(tlong,"long");
    cout << tint << endl;
    cout << tlong << endl;
    cout << line << endl;
    EdoType tint2(1);
    assert( tint.index() == 1 );
    assert( tint == tint );
    assert( tint == tint2 );
    assert( tint != tlong );
  }

  return 0;
}