summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/contract/example/n1962/sqrt.d
blob: 3c550c86ef4622719ec8ef40931310c33497dbd5 (plain)
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
27
28
29
30
31
32
33
// Copyright (C) 2008-2018 Lorenzo Caminiti
// Distributed under the Boost Software License, Version 1.0 (see accompanying
// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html

//[n1962_sqrt_d
// Extra spaces, newlines, etc. for visual alignment with this library code.



long lsqrt(long x)
in {
    assert(x >= 0);
} 
out(result) {
    assert(result * result <= x);
    assert((result + 1) * (result + 1) > x);
} 
do {
    return cast(long)std.math.sqrt(cast(real)x);
}








// End.
//]