*/
ArrayList<TypeModel> undecoratedTypes =
new ArrayList<TypeModel>(roots.size());
for (TypeElement r : roots) {
TypeModel type = factory.createType(r, diagnosticManager);
ElementScanner annotator =
new ElementScanner() {
@Override
public void visitContractAnnotation(
ContractAnnotationModel annotation) {
if (annotation.isVirtual()
&& knownTypeNames.contains(