----- プログラム処理A -----

//この位置で変数iが0の場合、AssertionErrorが返されます。
assert i != 0 ;

----- プログラム処理B -----

//この位置で変数iが0以上でない場合、AssertionErrorが返されます。
assert i > 0 ;

----- プログラム処理C -----

public class ExAssert {
  public static void main(String[] args) {
    ExAssert object1 = new ExAssert();
      object1.calNum(5, 10);
  }
    
  void calNum(int x, int y) {
    int z = 0;
    //(1)事前条件
    assert x > 0 && y > 0:"xまたはyが0以下です。";

    //(2)変数xを変数y回、加算
    for (int i = 0; i < y; i++) {
      z = z + x;
    }

    //(3)事後条件
    assert z >= x && z >= y:"zがxまたはyより小さい値です。";

    System.out.println(z);
  }
}