mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-04-30 07:00:37 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Addes assert messages to bitmanip

Browse source 
Atila review
This commit is contained in:
Robert Schadek 2019-07-10 11:21:25 +01:00
parent 135f58080e
commit 8c43f3de63
1 changed files with 16 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

30
std/bitmanip.d
View file

@ -1028,8 +1028,10 @@ public:
this(void[] v, size_t numbits) @nogc nothrow pure this(void[] v, size_t numbits) @nogc nothrow pure
in in
{ {
assert(numbits <= v.length * 8); assert(numbits <= v.length * 8,
assert(v.length % size_t.sizeof == 0); "numbits must be less than or equal to v.length * 8");
assert(v.length % size_t.sizeof == 0,
"v.length must be a multiple of the size of size_t");
} }
do do
{ {
@ -1155,7 +1157,7 @@ public:
bool opIndex(size_t i) const @nogc pure nothrow bool opIndex(size_t i) const @nogc pure nothrow
in in
{ {
assert(i < _len); assert(i < _len, "i must be less than the length");
} }
do do
{ {
@ -1182,7 +1184,7 @@ public:
bool opIndexAssign(bool b, size_t i) @nogc pure nothrow bool opIndexAssign(bool b, size_t i) @nogc pure nothrow
in in
{ {
assert(i < _len); assert(i < _len, "i must be less than the length");
} }
do do
{ {
@ -1233,8 +1235,8 @@ public:
void opSliceAssign(bool val, size_t start, size_t end) void opSliceAssign(bool val, size_t start, size_t end)
in in
{ {
assert(start <= end); assert(start <= end, "start must be less or equal to end");
assert(end <= length); assert(end <= length, "end must be less or equal to the length");
} }
do do
{ {
@ -1521,7 +1523,7 @@ public:
@property BitArray reverse() @nogc pure nothrow @property BitArray reverse() @nogc pure nothrow
out (result) out (result)
{ {
assert(result == this); assert(result == this, "the result must be equal to this");
} }
do do
{ {
@ -1561,7 +1563,7 @@ public:
@property BitArray sort() @nogc pure nothrow @property BitArray sort() @nogc pure nothrow
out (result) out (result)
{ {
assert(result == this); assert(result == this, "the result must be equal to this");
} }
do do
{ {
@ -1857,7 +1859,7 @@ public:
if (op == "-" || op == "&" || op == "|" || op == "^") if (op == "-" || op == "&" || op == "|" || op == "^")
in in
{ {
assert(_len == e2.length); assert(e2.length == _len, "e2 must have the same length as this");
} }
do do
{ {
@ -1959,7 +1961,7 @@ public:
if (op == "-" || op == "&" || op == "|" || op == "^") if (op == "-" || op == "&" || op == "|" || op == "^")
in in
{ {
assert(_len == e2.length); assert(e2.length == _len, "e2 must have the same length as this");
} }
do do
{ {
@ -2212,7 +2214,7 @@ public:
pure @safe nothrow @nogc pure @safe nothrow @nogc
in in
{ {
assert(nbits < bitsPerSizeT); assert(nbits < bitsPerSizeT, "nbits must be less than bitsPerSizeT");
} }
do do
{ {
@ -2249,7 +2251,7 @@ public:
pure @safe nothrow @nogc pure @safe nothrow @nogc
in in
{ {
assert(nbits < bitsPerSizeT); assert(nbits < bitsPerSizeT, "nbits must be less than bitsPerSizeT");
} }
do do
{ {
@ -3328,7 +3330,7 @@ if (canSwapEndianness!T &&
hasSlicing!R && hasSlicing!R &&
is(ElementType!R : const ubyte)) is(ElementType!R : const ubyte))
{ {
assert(index); assert(index, "index must not point to null");
immutable begin = *index; immutable begin = *index;
immutable end = begin + T.sizeof; immutable end = begin + T.sizeof;
@ -3858,7 +3860,7 @@ if (canSwapEndianness!T &&
hasSlicing!R && hasSlicing!R &&
is(ElementType!R : ubyte)) is(ElementType!R : ubyte))
{ {
assert(index); assert(index, "index must not point to null");
static if (endianness == Endian.bigEndian) static if (endianness == Endian.bigEndian)
immutable bytes = nativeToBigEndian!T(value); immutable bytes = nativeToBigEndian!T(value);