Class DefinitionsGenerator