001    aspect FlushCaches {
002    
003           public void ASTNode.flushCaches() {
004             flushCache();
005             for(int i = 0; i < getNumChild(); i++)
006               getChild(i).flushCaches();
007           }
008    }