All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by postconditions with all dependencies

Search JAR files by class name

cofoja from group org.seqdoop (version 1.1-r150)

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

Group: org.seqdoop Artifact: cofoja
Show documentation Show source 
 

0 downloads
Artifact cofoja
Group org.seqdoop
Version 1.1-r150
Last update 09. August 2014
Organization not specified
URL http://code.google.com/p/cofoja/
License GNU Lesser General Public License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

staccatissimo-restrictions from group net.sf.staccatocommons (version 2.3)

Library of annotations that express restrictions, that can be used to indicate preconditions, postconditions and invariants over objects and messages, focused on documentation reuse.

Group: net.sf.staccatocommons Artifact: staccatissimo-restrictions
Show all versions Show documentation Show source 
 

0 downloads
Artifact staccatissimo-restrictions
Group net.sf.staccatocommons
Version 2.3
Last update 21. July 2012
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

commons-restrictions from group net.sf.staccatocommons (version 1.2)

Library of annotations that express restrictions, that can be used to indicate preconditions, postconditions and invariants over objects and messages, focused on documentation reuse.

Group: net.sf.staccatocommons Artifact: commons-restrictions
Show all versions Show documentation Show source 
 

0 downloads
Artifact commons-restrictions
Group net.sf.staccatocommons
Version 1.2
Last update 02. January 2012
Organization not specified
URL http://staccatocommons.sourceforge.net/${project.artifactId}
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!



Page 1 from 1 (items total 3)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy