The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.

http://aabsdotnet.blogspot.com

Code Generators, Frameworks, Quality Assurance, Testing