Use of specification-type-class in generation methods (P) Name generation for header specificationGeneration of element valuesImporting other specifications