معرفی شرکت ها

libcofoja-java_1.3-2_all.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Java API for annotating code with contracts
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe all
نام بسته libcofoja-java
نام فایل بسته libcofoja-java_1.3-2_all.deb
نسخه بسته 1.3
انتشار بسته 2
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/nhatminhle/cofoja
مجوز -
حجم دانلود 204508
حجم نصب 231
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.


نیازمندی

مقدار نام
>= 5.0 libasm-java


نحوه نصب


نصب پکیج deb libcofoja-java:

    sudo apt-get install libcofoja-java_1.3-2_all.deb


فایل ها

مسیرها
./usr/share/doc/libcofoja-java/README.md.gz
./usr/share/doc/libcofoja-java/changelog.Debian.gz
./usr/share/doc/libcofoja-java/copyright
./usr/share/java/cofoja-1.3.jar
./usr/share/java/cofoja.jar -> cofoja-1.3.jar