File: swap.cpp

package info (click to toggle)
gringo 5.8.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 32,128 kB
  • sloc: cpp: 210,867; ansic: 37,507; python: 11,271; yacc: 825; javascript: 627; sh: 368; xml: 364; makefile: 102
file content (26 lines) | stat: -rw-r--r-- 645 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <catch2/catch.hpp>
#include <tl/optional.hpp>

TEST_CASE("Swap value", "[swap.value]") {
  tl::optional<int> o1 = 42;
  tl::optional<int> o2 = 12;
  o1.swap(o2);
  CHECK(o1.value() == 12);
  CHECK(o2.value() == 42);
}

TEST_CASE("Swap value with null intialized", "[swap.value_nullopt]") {
  tl::optional<int> o1 = 42;
  tl::optional<int> o2 = tl::nullopt;
  o1.swap(o2);
  CHECK(!o1.has_value());
  CHECK(o2.value() == 42);
}

TEST_CASE("Swap null intialized with value", "[swap.nullopt_value]") {
  tl::optional<int> o1 = tl::nullopt;
  tl::optional<int> o2 = 42;
  o1.swap(o2);
  CHECK(o1.value() == 42);
  CHECK(!o2.has_value());
}