// Copyright 2019 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "runtime/cpp/emboss_maybe.h"

#include "gmock/gmock.h"
#include "gtest/gtest.h"

namespace emboss {
namespace support {
namespace test {

enum class Foo : ::std::int64_t {
  BAR = 1,
  BAZ = 2,
};

TEST(Maybe, Known) {
  EXPECT_TRUE(Maybe<int>(10).Known());
  EXPECT_EQ(10, Maybe<int>(10).ValueOr(3));
  EXPECT_EQ(10, Maybe<int>(10).ValueOrDefault());
  EXPECT_EQ(10, Maybe<int>(10).Value());
  EXPECT_TRUE(Maybe<bool>(true).Value());
  EXPECT_EQ(Foo::BAZ, Maybe<Foo>(Foo::BAZ).ValueOrDefault());

  Maybe<int> x = Maybe<int>(1000);
  Maybe<int> y = Maybe<int>();
  y = x;
  EXPECT_TRUE(y.Known());
  EXPECT_EQ(1000, y.Value());
}

TEST(Maybe, Unknown) {
  EXPECT_FALSE(Maybe<int>().Known());
  EXPECT_EQ(3, Maybe<int>().ValueOr(3));
  EXPECT_EQ(0, Maybe<int>().ValueOrDefault());
  EXPECT_FALSE(Maybe<bool>().ValueOrDefault());
#if EMBOSS_CHECK_ABORTS
  EXPECT_DEATH(Maybe<int>().Value(), "Known()");
#endif  // EMBOSS_CHECK_ABORTS
  EXPECT_FALSE(Maybe<bool>().ValueOrDefault());
  EXPECT_EQ(static_cast<Foo>(0), Maybe<Foo>().ValueOrDefault());

  Maybe<int> x = Maybe<int>();
  Maybe<int> y = Maybe<int>(1000);
  y = x;
  EXPECT_FALSE(y.Known());
}

}  // namespace test
}  // namespace support
}  // namespace emboss