net.sf.jcontracts.codeparser.Parser parser = new net.sf.jcontracts.codeparser.Parser(
bufferedIs, filename, multipleCompilationUnitState);
MetaclassFactory metaclassFactory = new MetaclassFactory(filename);
parser.setMetaclassFactory(metaclassFactory);
Vector v = parser.getUsedTypes();
da.process(v);
}
finally
{
bufferedIs.close();
}