free token cache when not needed anymore

oker1 · oker1 · commit 32096d5296a5 · 2011-04-25T10:57:36.000+02:00
diff --git a/PHP/CodeCoverage/Report/HTML/Node/File.php b/PHP/CodeCoverage/Report/HTML/Node/File.php
@@ -888,6 +888,7 @@ protected function processFunctions()
     {
         $tokens    = PHP_Token_Stream_CachingFactory::get($this->getPath());
         $functions = $tokens->getFunctions();
+        PHP_Token_Stream_CachingFactory::unsetFromCache($this->getPath());
         unset($tokens);
 
         if (count($functions) > 0 && !isset($this->classes['*'])) {

Original file line number	Diff line number	Diff line change
`@@ -888,6 +888,7 @@ protected function processFunctions()`
`888`	`888`	`{`
`889`	`889`	`$tokens = PHP_Token_Stream_CachingFactory::get($this->getPath());`
`890`	`890`	`$functions = $tokens->getFunctions();`
	`891`	`+ PHP_Token_Stream_CachingFactory::unsetFromCache($this->getPath());`
`891`	`892`	`unset($tokens);`
`892`	`893`
`893`	`894`	`if (count($functions) > 0 && !isset($this->classes['*'])) {`