private void setData (int data) {
  // 事前条件のアサーション
  assert data > 0;

  // ここはこのメソッドの処理
  ・・・・・
  ・・・・・
}　

public void setData (int data) {
  if (data <= 0)
        throw new IllegalArgumentException("Illegal data: " + data);


  // ここはこのメソッドの処理
  ・・・・・
  ・・・・・
}

public int culculate(int a, int b) {
  // ここはこのメソッドの処理
  ・・・・・
  ・・・・・

  // 事後条件のアサーション
  assert ret > 0;
  return ret;
}　

/**
 * クラス不変条件をチェックするメソッド
 */
public boolean checkData() {
  // ここにクラス不変条件をチェックする処理を記述
  ・・・・・
  ・・・・・
}

public void culculate(int data) {
  // ここでこのクラスが持つメンバ変数になんらかの変更がある
  ・・・・・
  ・・・・・
  
  // クラス不変条件のアサーション
  assert checkData();
}　

class HelloWorldAssertion {
  public static void main (String[] args) {
    try {
      assertionTest();
    } catch (AssertionError e) {
      e.printStackTrace();
    }
  }
  private static void assertionTest() {
    // わざとfalseを指定してAssertionErrorをスローさせる
    assert false : "AssertionErrorでHello World";
  }
}　

C:\作業フォルダ\JavaHello\assertion>

C:\作業フォルダ\JavaHello\assertion>

C:\作業フォルダ\JavaHello\assertion>