blob: 3fdc7da75bb090b7bf382a1c7551ed4b5a511220 [file] [log] [blame]
// 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