taskwarrior/test/variant_exp.test.cpp

////////////////////////////////////////////////////////////////////////////////
//
// Copyright 2013 - 2021, Göteborg Bit Factory.
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included
// in all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
// OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
// THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.
//
// https://www.opensource.org/licenses/mit-license.php
//
////////////////////////////////////////////////////////////////////////////////

#include <cmake.h>
// cmake.h include header must come first

#include <Variant.h>
#include <test.h>

#include <iostream>

////////////////////////////////////////////////////////////////////////////////
int main(int, char**) {
  UnitTest t(38);

  Variant v0(true);
  Variant v1(42);
  Variant v2(3.14);
  Variant v3("foo");
  Variant v4(1234567890, Variant::type_date);
  Variant v5(1200, Variant::type_duration);

  // boolean ^ boolean  -> ERROR
  try {
    Variant v00 = v0 ^ v0;
    t.fail("true ^ true --> error");
  } catch (...) {
    t.pass("true ^ true --> error");
  }

  // boolean ^ integer  -> ERROR
  try {
    Variant v01 = v0 ^ v1;
    t.fail("true ^ 42 --> error");
  } catch (...) {
    t.pass("true ^ 42 --> error");
  }

  // boolean ^ real     -> ERROR
  try {
    Variant v02 = v0 ^ v2;
    t.fail("true ^ 3.14 --> error");
  } catch (...) {
    t.pass("true ^ 3.14 --> error");
  }

  // boolean ^ string   -> ERROR
  try {
    Variant v03 = v0 ^ v3;
    t.fail("true ^ foo --> error");
  } catch (...) {
    t.pass("true ^ foo --> error");
  }

  // boolean ^ date     -> ERROR
  try {
    Variant v04 = v0 ^ v4;
    t.fail("true ^ 1234567890 --> error");
  } catch (...) {
    t.pass("true ^ 1234567890 --> error");
  }

  // boolean ^ duration -> ERROR
  try {
    Variant v05 = v0 ^ v5;
    t.fail("true ^ 1200 --> error");
  } catch (...) {
    t.pass("true ^ 1200 --> error");
  }

  // integer ^ boolean  -> ERROR
  try {
    Variant v10 = v1 ^ v0;
    t.fail("42 ^ true --> error");
  } catch (...) {
    t.pass("42 ^ true --> error");
  }

  // integer ^ integer  -> integer
  Variant v11 = v1 ^ Variant(2);
  t.is(v11.type(), Variant::type_integer, "42 ^ 2 --> integer");
  t.is(v11.get_integer(), 1764, "42 ^ 2 --> 1764");

  // integer ^ real     -> real
  try {
    Variant v12 = v1 ^ v2;
    t.fail("42 ^ 3.14 --> error");
  } catch (...) {
    t.pass("42 ^ 3.14 --> error");
  }

  // integer ^ string   -> ERROR
  try {
    Variant v13 = v1 ^ v3;
    t.fail("42 ^ foo --> error");
  } catch (...) {
    t.pass("42 ^ foo --> error");
  }

  // integer ^ date     -> ERROR
  try {
    Variant v14 = v1 ^ v4;
    t.fail("42 ^ 1234567890 --> error");
  } catch (...) {
    t.pass("42 ^ 1234567890 --> error");
  }

  // integer ^ duration -> ERROR
  try {
    Variant v15 = v1 ^ v5;
    t.fail("42 ^ 1200 --> error");
  } catch (...) {
    t.pass("42 ^ 1200 --> error");
  }

  // real ^ boolean  -> ERROR
  try {
    Variant v20 = v2 ^ v0;
    t.fail("3.14 ^ true --> error");
  } catch (...) {
    t.pass("3.14 ^ true --> error");
  }

  // real ^ integer  -> real
  Variant v21 = v2 ^ Variant(2);
  t.is(v21.type(), Variant::type_real, "3.14 ^ 2 --> real");
  t.is(v21.get_real(), 9.8596, 0.001, "3.14 ^ 2 --> 9.8596");

  // real ^ real     -> ERROR
  try {
    Variant v22 = v2 ^ v2;
    t.fail("3.14 ^ 3.14 --> error");
  } catch (...) {
    t.pass("3.14 ^ 3.14 --> error");
  }

  // real ^ string   -> ERROR
  try {
    Variant v23 = v2 ^ v3;
    t.fail("3.14 ^ foo --> error");
  } catch (...) {
    t.pass("3.14 ^ foo --> error");
  }

  // real ^ date     -> ERROR
  try {
    Variant v24 = v2 ^ v4;
    t.fail("3.14 ^ 1234567890 --> error");
  } catch (...) {
    t.pass("3.14 ^ 1234567890 --> error");
  }

  // real ^ duration -> ERROR
  try {
    Variant v25 = v2 ^ v5;
    t.fail("3.14 ^ 1200 --> error");
  } catch (...) {
    t.pass("3.14 ^ 1200 --> error");
  }

  // string ^ boolean  -> ERROR
  try {
    Variant v30 = v3 ^ v0;
    t.fail("foo ^ true --> error");
  } catch (...) {
    t.pass("foo ^ true --> error");
  }

  // string ^ integer  -> ERROR
  try {
    Variant v31 = v3 ^ v1;
    t.fail("foo ^ 42 --> error");
  } catch (...) {
    t.pass("foo ^ 42 --> error");
  }

  // string ^ real     -> ERROR
  try {
    Variant v32 = v3 ^ v2;
    t.fail("foo ^ 3.14 --> error");
  } catch (...) {
    t.pass("foo ^ 3.14 --> error");
  }

  // string ^ string   -> ERROR
  try {
    Variant v33 = v3 ^ v3;
    t.fail("foo ^ foo --> error");
  } catch (...) {
    t.pass("foo ^ foo --> error");
  }

  // string ^ date     -> ERROR
  try {
    Variant v34 = v3 ^ v4;
    t.fail("foo ^ 1234567890 --> error");
  } catch (...) {
    t.pass("foo ^ 1234567890 --> error");
  }

  // string ^ duration -> ERROR
  try {
    Variant v35 = v3 ^ v5;
    t.fail("foo ^ 1200 --> error");
  } catch (...) {
    t.pass("foo ^ 1200 --> error");
  }

  // date ^ boolean  -> ERROR
  try {
    Variant v40 = v4 ^ v0;
    t.fail("1234567890 ^ true --> error");
  } catch (...) {
    t.pass("1234567890 ^ true --> error");
  }

  // date ^ integer  -> ERROR
  try {
    Variant v41 = v4 ^ v1;
    t.fail("1234567890 ^ 42 --> error");
  } catch (...) {
    t.pass("1234567890 ^ 42 --> error");
  }

  // date ^ real     -> ERROR
  try {
    Variant v42 = v4 ^ v2;
    t.fail("1234567890 ^ 3.14 --> error");
  } catch (...) {
    t.pass("1234567890 ^ 3.14 --> error");
  }

  // date ^ string   -> ERROR
  try {
    Variant v43 = v4 ^ v3;
    t.fail("1234567890 ^ foo --> error");
  } catch (...) {
    t.pass("1234567890 ^ foo --> error");
  }

  // date ^ date     -> ERROR
  try {
    Variant v44 = v4 ^ v4;
    t.fail("1234567890 ^ 1234567890 --> error");
  } catch (...) {
    t.pass("1234567890 ^ 1234567890 --> error");
  }

  // date ^ duration -> ERROR
  try {
    Variant v45 = v4 ^ v5;
    t.fail("1234567890 ^ 1200 --> error");
  } catch (...) {
    t.pass("1234567890 ^ 1200 --> error");
  }

  // duration ^ boolean  -> ERROR
  try {
    Variant v50 = v5 ^ v0;
    t.fail("1200 ^ true --> error");
  } catch (...) {
    t.pass("1200 ^ true --> error");
  }

  // duration ^ integer  -> ERROR
  try {
    Variant v51 = v5 ^ v1;
    t.fail("1200 ^ 42 --> error");
  } catch (...) {
    t.pass("1200 ^ 42 --> error");
  }

  // duration ^ real     -> ERROR
  try {
    Variant v52 = v5 ^ v2;
    t.fail("1200 ^ 3.14 --> error");
  } catch (...) {
    t.pass("1200 ^ 3.14 --> error");
  }

  // duration ^ string   -> ERROR
  try {
    Variant v53 = v5 ^ v3;
    t.fail("1200 ^ foo --> error");
  } catch (...) {
    t.pass("1200 ^ foo --> error");
  }

  // duration ^ date     -> ERROR
  try {
    Variant v54 = v5 ^ v4;
    t.fail("1200 ^ 1234567890 --> error");
  } catch (...) {
    t.pass("1200 ^ 1234567890 --> error");
  }

  // duration ^ duration -> ERROR
  try {
    Variant v55 = v5 ^ v5;
    t.fail("1200 ^ 1200 --> error");
  } catch (...) {
    t.pass("1200 ^ 1200 --> error");
  }

  return 0;
}

////////////////////////////////////////////////////////////////////////////////