In this paper we show how the concept of code generators can be safely implemented into an object oriented language. Modern languages like Java and C# begin to offer advanced features for generative programming, like generic types. Our own extension of C# generalizes the concept of generic types by combining it with reflection. With reflection many code generation tasks can be accomplished for which generic types are insufficient. By balancing the availability of code generation features with their safety, we are able to detect potential generation errors statically.