Anonymous user
Assertions in design by contract: Difference between revisions
m
→{{header|Scala}}: Added another example
(→{{header|Scala}}: Replaced example: now using design-by-contract) |
m (→{{header|Scala}}: Added another example) |
||
Line 44:
println(averageOfMagnitudes(Array(1,3))) // 2
println(averageOfMagnitudes(null)) // java.lang.AssertionError: assumption failed: array must not be null
println(averageOfMagnitudes(Array())) // java.lang.IllegalArgumentException: requirement failed: array must be non-empty
println(averageOfMagnitudes(Array(Integer.MAX_VALUE, Integer.MAX_VALUE))) // java.lang.AssertionError: assertion failed: magnitude must be within range
println(averageOfMagnitudes(Array(Integer.MAX_VALUE, 1))) // java.lang.AssertionError: assertion failed: result must be non-negative (possible overflow)
| |||