Sureassert UC comprises:
- The Sureassert UC Engine for Eclipse
- The distributable package (annotations JAR and tutorial projects)
Both packages are open-source and feature complete. See the Licensing page for more details.
Eclipse UC Engine Installation Instructions
Download and unzip a local copy of the Sureassert update site from here if your Eclipse instance has no internet access. If using the local update site note that Sureassert has dependencies on Eclipse JDT and PDE; for Sureassert to function fully you will need a local Eclipse build containing these plugins if you cannot reach the standard Eclipse update sites.
For old (pre-v2.0.0) versions of Sureassert UC, use: http://www.sureassert.com/legacy-updates
Distributable Package Instructions
Download the distributable package zip from here and unzip.
Getting Started
- Follow the tutorial instructions to get a basic understanding of the tool.
- Read the tutorial comments in the Java source and experiment.
- Try adding Exemplars to your own methods in a test project:
Add org.sureassert.uc.annotation-<ver>.jar to your project’s build path.
Enable Sureassert UC on it (right-click project in Package Explorer -> Sureassert UC -> Enable).
Check Project -> Build Automatically is enabled.
Use Ctrl+\ to quickly add empty Exemplars for your methods.
Hit Ctrl+S to save your changes and trigger a build. - Read the Javadoc for the Exemplar annotation for reference material on Exemplar parameters and SIN expressions.
Source Code
The source code has been migrated to github: https://github.com/nathdolan/sureassert-uc