Abort

Force all integral errors to fail by printing an error message to stderr and then abort the program. Abort is the default second argument for Checked.

Members

Static functions

hookOpCmp
int hookOpCmp(Lhs lhs, Rhs rhs)

Called automatically upon a comparison for ordering using one of the operators <, <=, >, or >=. In case the comparison is erroneous (i.e. it would make a signed negative value appear greater than or equal to an unsigned positive value), then application is terminated with assert(0). Otherwise, the three-state result is returned (positive if lhs > rhs, negative if lhs < rhs, 0 otherwise).

hookOpEquals
bool hookOpEquals(Lhs lhs, Rhs rhs)

Called automatically upon a comparison for equality. In case of a erroneous comparison (one that would make a signed negative value appear equal to an unsigned positive value), this hook issues assert(0) which terminates the application.

onBadCast
Dst onBadCast(Src src)

Called automatically upon a bad cast (one that loses precision or attempts to convert a negative value to an unsigned type). The source type is Src and the destination type is Dst.

onLowerBound
T onLowerBound(Rhs rhs, T bound)

Called automatically upon a bounds error.

onOverflow
typeof(~Lhs()) onOverflow(Lhs lhs)
typeof(Lhs() + Rhs()) onOverflow(Lhs lhs, Rhs rhs)

Called automatically upon an overflow during a unary or binary operation.

onUpperBound
T onUpperBound(Rhs rhs, T bound)

Called automatically upon a bounds error.

Examples

void test(T)()
{
    Checked!(int, Abort) x;
    x = 42;
    auto x1 = cast(T) x;
    assert(x1 == 42);
    //x1 += long(int.max);
}
test!short;
test!(const short);
test!(immutable short);

Meta