//
//    FILE: Troolean.cpp
//  AUTHOR: Rob Tillaart
// VERSION: 0.1.4
// PURPOSE: Arduino Library for a three state logic datatype supporting {true false unknown}
//     URL: https://github.com/RobTillaart/Troolean
//
//  HISTORY:
//  0.1.0  2018-01-10  initial version
//  0.1.1  2018-01-28  adjust (in)equality so that unknown == unknown
//                     although there could be arguments that unknown != unknown
//                     added isTrue(), isFalse(), isUnknown()
//                     first public release
//  0.1.2  2020-06-07  small refactor; updated keywords.txt; metadata
//  0.1.3  2020-06-19  fix library.json
//  0.1.4  2021-01-09  arduino-CI + unit test

#include "Troolean.h"


/////////////////////////////////////////////////////
//
// PUBLIC
//
Troolean::Troolean()
{
  _value = -1;
}

Troolean::Troolean(const int8_t val)
{
  if (val == 0) _value = 0;
  else if (val == -1) _value = -1;
  else _value = 1;
}

Troolean::Troolean(const Troolean &t)
{
  _value = t._value;
}

// PRINTING
size_t Troolean::printTo(Print& p) const
{
  size_t n = 0;
  if (_value == 0) n += p.print("false");
  else if (_value == -1) n += p.print("unknown");
  else n += p.print("true");
  return n;
};

// EQUALITIES
// t == t
// f == f
// u == u
bool Troolean::operator == (const Troolean &t)
{
  return (_value == t._value);
}

bool Troolean::operator == (const bool &b)
{
  if (_value == 0 && !b) return true;
  if (_value == 1 && b) return true;
  return false;
}

bool Troolean::operator == (const int &i)
{
  if (_value == 0 && i == 0) return true;
  if (_value == -1 && i == -1) return true;
  if (_value == 1 && i != 0 && i != -1) return true;
  return false;
}

bool Troolean::operator != (const Troolean &t)
{
  return (_value != t._value);
}

bool Troolean::operator != (const bool &b)
{
  if (_value == 0 && !b) return false;
  if (_value == 1 && b) return false;
  return true;
}

bool Troolean::operator != (const int &i)
{
  if (_value == 0 && i != 0) return true;
  if (_value == -1 && i != -1) return true;
  if (_value == 1 && (i == 0 || i == -1)) return true;
  return false;
}

Troolean::operator bool() const
{
  if (_value == 1) return true;
  if (_value == 0) return false;
  return false;
}

// NEGATE
// t -> f
// f -> t
// u -> u
Troolean Troolean::operator ! ()
{
  if (_value == -1) return Troolean(-1);  // random 0 1 :)
  if (_value == 1) return Troolean(0);
  return Troolean(1);
}

// LOGICAL OPERATORS
Troolean Troolean::operator && (const Troolean &t)
{
  if (_value == 0 || t._value == 0) return Troolean(0);
  if (_value == 1 && t._value == 1) return Troolean(1);
  return Troolean(-1);
}

Troolean Troolean::operator && (const bool &b)
{
  if (_value == 0 || !b) return Troolean(0);
  if (_value == 1 && b) return Troolean(1);
  return Troolean(-1);
}

Troolean Troolean::operator || (const Troolean &t)
{
  if (_value == 1 || t._value == 1) return Troolean(1);
  if (_value == 0 && t._value == 0) return Troolean(0);
  return Troolean(-1);
}

Troolean Troolean::operator || (const bool &b)
{
  if (_value == 1 || b) return Troolean(0);
  if (_value == 0 && !b) return Troolean(1);
  return Troolean(-1);
}

// -- END OF FILE --