package com.scala.first

/**

  * Created by common on 17-4-19.

  */

object Assert {

  def main(args: Array[String]): Unit = {

    val a = new Assert()

    a.above1(0)

  }

}

class Assert {

  val value = 1

  def above(that: Int): Unit = {

    val thatVal = that

    val thisVal = this.value

    //如果条件不满足，Exception in thread "main" java.lang.AssertionError: assertion failed

    assert(thatVal == thisVal)

  }

  //另一种断言

  //如果条件不满足，Exception in thread "main" java.lang.AssertionError: assertion failed

  def above1(that: Int): Unit = {

    {

      val thatVal = that

      val thisVal = this.value

    } ensuring(that == this.value)

  }

}