Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: cofoja  ]

Paket: libcofoja-java (1.3-4)

Links für libcofoja-java

Screenshot

Debian-Ressourcen:

Quellcode-Paket cofoja herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libcofoja-java

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libcofoja-java herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 202,9 kB234,0 kB [Liste der Dateien]