Staccatissimo-Restrictions

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

License

License

Categories

Categories

Net
GroupId

GroupId

net.sf.staccatocommons
ArtifactId

ArtifactId

staccatissimo-restrictions
Last Version

Last Version

2.3
Release Date

Release Date

Type

Type

jar
Description

Description

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

Project URL

http://staccatocommons.sourceforge.net/staccatissimo/staccatissimo-restrictions
Project Organization

Project Organization

StaccatoCommons

Download staccatissimo-restrictions

How to add to project

<!-- https://jarcasting.com/artifacts/net.sf.staccatocommons/staccatissimo-restrictions/ -->
<dependency>
    <groupId>net.sf.staccatocommons</groupId>
    <artifactId>staccatissimo-restrictions</artifactId>
    <version>2.3</version>
</dependency>
// https://jarcasting.com/artifacts/net.sf.staccatocommons/staccatissimo-restrictions/
implementation 'net.sf.staccatocommons:staccatissimo-restrictions:2.3'
// https://jarcasting.com/artifacts/net.sf.staccatocommons/staccatissimo-restrictions/
implementation ("net.sf.staccatocommons:staccatissimo-restrictions:2.3")
'net.sf.staccatocommons:staccatissimo-restrictions:jar:2.3'
<dependency org="net.sf.staccatocommons" name="staccatissimo-restrictions" rev="2.3">
  <artifact name="staccatissimo-restrictions" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.sf.staccatocommons', module='staccatissimo-restrictions', version='2.3')
)
libraryDependencies += "net.sf.staccatocommons" % "staccatissimo-restrictions" % "2.3"
[net.sf.staccatocommons/staccatissimo-restrictions "2.3"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Welcome to Staccatissimo, the StaccatoCommons core library!

You will find all the information you need about this project in the wiki

net.sf.staccatocommons

Versions

Version
2.3
2.2
2.1
2.0.1
2.0