SureLogic Promise Annotations.
Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (....
Here is the list of declaration for promises. If you use Maven you can use the following code to add the dependency for this POM file.
<dependency> <groupId>com.surelogic</groupId> <artifactId>promises</artifactId> <version>4.4.0</version> </dependency>
If you think this Maven repository POM file listing for promises is inappropriate, such as containing malicious code/tools or violating the copyright, please email info at java2s dot com, thanks.
Name:The Apache Software License, Version 2.0
URL: http://www.apache.org/licenses/LICENSE-2.0.txt.
The following plugins are used in the promises-4.4.0.jar
The following packages are defined in the promises-4.4.0.jar
com.surelogic
Here is the content of the POM file.
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd"> <modelVersion>4.0.0</modelVersion> <parent> <groupId>net.java</groupId> <artifactId>jvnet-parent</artifactId> <version>1</version> </parent> <groupId>com.surelogic</groupId> <artifactId>promises</artifactId> <packaging>jar</packaging> <name>SureLogic Promise Annotations</name> <version>4.4.0</version> <description> Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope. </description> <url>http://surelogic.com/promises</url> <licenses> <license> <name>The Apache Software License, Version 2.0</name> <url>http://www.apache.org/licenses/LICENSE-2.0.txt</url> <distribution>repo</distribution> </license> </licenses> <scm> <connection>scm:svn:https://svn.java.net/svn/promises~svn/trunk/promises</connection> <developerConnection>scm:svn:https://svn.java.net/svn/promises~svn/trunk/promises</developerConnection> <url>https://svn.java.net/svn/promises~svn/trunk</url> </scm> <organization> <name>Surelogic, Inc.</name> <url>http://surelogic.com</url> </organization> <issueManagement> <system>Bugzilla</system> <url>http://surelogic.com/bugzilla/index.cgi</url> </issueManagement> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding> </properties> <build> <plugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-gpg-plugin</artifactId> <version>1.4</version> <executions> <execution> <id>sign-artifacts</id> <phase>verify</phase> <goals> <goal>sign</goal> </goals> </execution> </executions> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-compiler-plugin</artifactId> <version>2.3.2</version> <configuration> <encoding>UTF-8</encoding> <showDeprecation>true</showDeprecation> <source>1.5</source> <target>1.5</target> </configuration> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-javadoc-plugin</artifactId> <version>2.8</version> <executions> <execution> <goals> <goal>jar</goal> </goals> </execution> </executions> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-source-plugin</artifactId> <version>2.1.2</version> <executions> <execution> <goals> <goal>jar</goal> </goals> </execution> </executions> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-site-plugin</artifactId> <version>3.0</version> <configuration> <reportPlugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-project-info-reports-plugin</artifactId> <version>2.4</version> <configuration> <dependencyDetailsEnabled>false</dependencyDetailsEnabled> <dependencyLocationsEnabled>false</dependencyLocationsEnabled> </configuration> <!-- simpler configuration without reportSets available for usual cases --> <reports> <report>index</report> <report>dependencies</report> <report>issue-tracking</report> <report>plugins</report> <report>license</report> <report>mailing-list</report> <report>project-team</report> <report>scm</report> <report>summary</report> </reports> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-javadoc-plugin</artifactId> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-jxr-plugin</artifactId> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-changelog-plugin</artifactId> <reportSets> <reportSet> <id>single-report</id> <configuration> <type>range</type> <range>30</range> </configuration> <reports> <report>changelog</report> </reports> </reportSet> </reportSets> </plugin> </reportPlugins> </configuration> </plugin> </plugins> </build> </project>