Skip to content
Sections
>> Trisquel >> Paketler >> ecne (12.0LTS) >> java >> libcofoja-java
[  aramo  ] [  ecne  ] [  xolotl  ]
[ Kaynak: cofoja  ]

Paket: libcofoja-java (1.3-4.1)

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • dep: libasm-java (>= 7.0)
    Java bytecode manipulation framework

libcofoja-java indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 202,7 kB236 kB [dosya listesi]