Paquet : libcofoja-java (1.3-4.1)

[ Paquet source : 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.

Autres paquets associés à libcofoja-java

• dep: libasm-java (>= 7.0)

  cadre applicatif de manipulation de pseudo-code pour Java

Télécharger libcofoja-java

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	204,6 ko	236,0 ko	[liste des fichiers]