s

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.
Files download
File Operation
staccatissimo-restrictions-2.2.jar download
staccatissimo-restrictions-2.2.pom download
staccatissimo-restrictions-2.2-sources.jar download
Apache Maven
<dependency>
  <groupId>net.sf.staccatocommons</groupId>
  <artifactId>staccatissimo-restrictions</artifactId>
  <version>2.2</version>
</dependency>
Gradle Groovy
implementation 'net.sf.staccatocommons:staccatissimo-restrictions:2.2'
Gradle Kotlin
implementation("net.sf.staccatocommons:staccatissimo-restrictions:2.2")
Scala SBT
libraryDependencies += "net.sf.staccatocommons" % "staccatissimo-restrictions" % "2.2"
Groovy Grape
@Grapes(
  @Grab(group='net.sf.staccatocommons', module='staccatissimo-restrictions', version='2.2')
)
Apache Ivy
<dependency org="net.sf.staccatocommons" name="staccatissimo-restrictions" rev="2.2" />
Leiningen
[net.sf.staccatocommons/staccatissimo-restrictions "2.2"]
Apache Buildr
'net.sf.staccatocommons:staccatissimo-restrictions:jar:2.2'