A framework for automatic REST-API documentation