}
public TypeChecker getTypeChecker() {
if (repositoryManager == null) {
repositoryManager = CeylonUtils.repoManager()
.logger(new LeakingLogger())
.buildManager();
}
return new TypeChecker(vfs, srcDirectories, repositoryManager, verifyDependencies, assertionVisitor,
moduleManagerFactory, verbose, statistics, moduleFilters, encoding);
}