GitHub - isabella232/property-db: An annotated Java API and a tool for generated documentation augmented with properties.

isabella232 / property-db Public

forked from runtimeverification/property-db

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An annotated Java API and a tool for generated documentation augmented with properties.

MIT license

0 stars 4 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
android-api		android-api
annotated-java-api/java		annotated-java-api/java
java-api		java-api
property-doc		property-doc
LICENSE		LICENSE
README		README

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