documented public API in doxy/javadoc format