すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: cofoja  ]

パッケージ: libcofoja-java (1.3-4.1)

libcofoja-java に関するリンク

Screenshot

Debian の資源:

cofoja ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

Java API for annotating code with contracts

Contracts for Java is a contract programming framework for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking.

Contracts for Java enables you to annotate your code with contracts in the form of preconditions, postconditions and invariants.

These contract annotations are:

 - easy to write and read
 - checked at runtime
Annotating code with contracts helps you:
 * design,
 * document,
 * test, and
 * debug
programs.

その他の libcofoja-java 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libcofoja-java のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 204.6 kB236.0 kB [ファイル一覧]