maximn/assert
Last active Feb 22, 2018

Star 1
Fork 1

Scala preconditions

Raw

assert

      
        val rnd = Math.random()
      
        val n = Math.abs(rnd)
      
        assert(n > 0)

Raw

assume

      
        val speedFromSensor: Double = ...
      
        assume(speedFromSensor >= 0)

Raw

require_ensuring

      
        def doublePositive(n: Int): Int = {
      
          require(n > 0)
      
          n * 2 // logic
      
        } ensuring(n => n >= 0 && n % 2 == 0)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

You can’t perform that action at this time.