This repository has been archived by the owner on Apr 16, 2020. It is now read-only.
An annotated Java API and a tool for generated documentation augmented with properties.
License
runtimeverification/property-db
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
1. Run make in property-doc 2. run something like the following in one of the -api dirs ../property-doc/bin/propertydocs.pl -subpackages $PACKAGES -d $OUTPATH -propertypath properties -outroot "$WEBSERVER_PATH" a possible instance is when PACKAGES=java.io java.util OUTPATH=/var/www/annotated-api WEBSERVER_PATH=/annotated-api
About
An annotated Java API and a tool for generated documentation augmented with properties.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published