dim-test.cpp File Reference

Test-cases for vnix::units::dim. More...

#include "../vnix/units/dim.hpp"
#include "catch.hpp"
#include <sstream>

Include dependency graph for dim-test.cpp:

Go to the source code of this file.

Functions
	TEST_CASE ("dim can be initialized from array.","[dim]")
	TEST_CASE ("Encoding and decoding works as expected.","[dim]")
	TEST_CASE ("Addition and subtraction work as expected.","[dim]")
	TEST_CASE ("Multiplication and division work as expected.","[dim]")

Detailed Description

Test-cases for vnix::units::dim.

Copyright

2019 Thomas E. Vaughan; all rights reserved.

License: BSD three-clause; see LICENSE.

Definition in file dim-test.cpp.

Function Documentation

TEST_CASE	(	"dim can be initialized from array."	,
		""	[dim]
	)

Definition at line 14 of file dim-test.cpp.

                                                         {
  std::array<dim::rat, dim::NUM_BASES> a;
  for (unsigned i = 0; i < dim::NUM_BASES; ++i) { a[i] = i; }
  dim d(a);
  for (auto i : dim::off::array) { REQUIRE(d[i] == dim::rat(i)); }
}

Here is the call graph for this function:

TEST_CASE	(	"Encoding and decoding works as expected."	,
		""	[dim]
	)

Definition at line 22 of file dim-test.cpp.

                                                               {
  std::array<dim::rat, dim::NUM_BASES> a;
  uint64_t                             t = 0;
  for (unsigned i = 0; i < dim::NUM_BASES; ++i) {
    a[i]      = i;
    using rat = dim::rat;
    enum { BITS = rat::BITS };
    t |= ((rat::encode(i) & bit_range<uint64_t>(0, BITS)) << i * BITS);
  }
  dim       d(a);
  dim::word e = d.encode();
  REQUIRE(e == t);
  REQUIRE(dim(e) == d);
}

Here is the call graph for this function:

TEST_CASE	(	"Addition and subtraction work as expected."	,
		""	[dim]
	)

Definition at line 38 of file dim-test.cpp.

                                                                 {
  std::array<dim::rat, dim::NUM_BASES> a, b, c, d;
  for (unsigned i = 0; i < dim::NUM_BASES; ++i) {
    a[i] = i;
    std::cout << "a[i]=" << a[i] << std::endl;
    b[i] = dim::rat(-1, 2);
    std::cout << "b[i]=" << b[i] << std::endl;
    c[i] = a[i] + b[i];
    std::cout << "c[i]=" << c[i] << std::endl;
    d[i] = a[i] / 2 - b[i];
    std::cout << "d[i]=" << d[i] << std::endl;
  }
  dim x(a), y(b), z1(c), z2(d);
  REQUIRE(x + y == z1);
  REQUIRE(x / 2 - y == z2);
}

Here is the call graph for this function:

TEST_CASE	(	"Multiplication and division work as expected."	,
		""	[dim]
	)

Definition at line 56 of file dim-test.cpp.

                                                                    {
  std::array<dim::rat, dim::NUM_BASES> a, c, d;
  dim::rat const                       b(-1, 2);
  for (unsigned i = 0; i < dim::NUM_BASES; ++i) {
    a[i] = i;
    c[i] = a[i] * b;
    d[i] = a[i] / b;
  }
  dim x(a), z1(c), z2(d);
  REQUIRE(x * b == z1);
  REQUIRE(x / b == z2);
}

Here is the call graph for this function: