specdoc generates data structure