1. ..
2. ClassPatch
3. Generator
4. CachedDoubler.php
5. DoubleInterface.php
6. Doubler.php
7. LazyDouble.php
8. NameGenerator.php