/**
  * @param SplFileInfo $file
  * @throws \DomainException
  */
 public function bindFile(SplFileInfo $file)
 {
     if (!$this->nameResolver instanceof NameResolver) {
         throw new \DomainException('NameResolver has not been set');
     }
     $this->nameResolver->setFile($file);
 }
 /**
  * @return AdtTraverser
  */
 protected function createAdtTraverser()
 {
     $nameResolver = new NameResolver();
     $nameResolver->setLogger($this->getLogger());
     $traverser = new AdtTraverser();
     $traverser->bindNameResolver($nameResolver);
     $traverser->bindAdtCollector(new AdtCollector());
     return $traverser;
 }