1| # $Id: FileTree.py,v 1.21 2003/01/16 17:01:14 chalky Exp $
    2| #
    3| # This file is a part of Synopsis.
    4| # Copyright (C) 2000-2003 Stephen Davies
    5| # Copyright (C) 2000, 2001 Stefan Seefeld
    6| #
    7| # Synopsis is free software; you can redistribute it and/or modify it
    8| # under the terms of the GNU General Public License as published by
    9| # the Free Software Foundation; either version 2 of the License, or
   10| # (at your option) any later version.
   11| #
   12| # This program is distributed in the hope that it will be useful,
   13| # but WITHOUT ANY WARRANTY; without even the implied warranty of
   14| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   15| # General Public License for more details.
   16| #
   17| # You should have received a copy of the GNU General Public License
   18| # along with this program; if not, write to the Free Software
   19| # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
   20| # 02111-1307, USA.
   21| #
   22| # $Log: FileTree.py,v $
   23| # Revision 1.21  2003/01/16 17:01:14  chalky
   24| # Fix class name
   25| #
   26| # Revision 1.20  2003/01/16 16:48:23  chalky
   27| # Using FileTree now forces FileListing, FileIndexer and FileDetails to be used.
   28| #
   29| # Revision 1.19  2003/01/16 12:46:46  chalky
   30| # Renamed FilePages to FileSource, FileTree to FileListing. Added FileIndexer
   31| # (used to be part of FileTree) and FileDetails.
   32| #
   33| #
   34| 
   35| 
   36| # HTML modules
   37| import Page, FileListing, FileIndexer, FileDetails
   38| from core import config
   39| 
   40| class FileTree (Page.Page):
   41|     """A page which wraps the three pages now used for creating file-related
   42|     info in the doco. For backwards compatibility only. The three new pages
   43|     which should be used are FileListing, FileIndexer and FileDetails."""
   44|     def __init__(self, manager):
   45|         Page.Page.__init__(self, manager)
   46|         config.pages.extend(['FileListing','FileIndexer','FileDetails'])
   47|         self.pages = (
   48|             FileListing.htmlPageClass(manager),
   49|             FileIndexer.htmlPageClass(manager),
   50|             FileDetails.htmlPageClass(manager)
   51|         )
   52|     def register(self):
   53|         for page in self.pages:
   54|             page.register()
   55|     def register_filenames(self, start):
   56|         for page in self.pages:
   57|             page.register_filenames(start)
   58|     def process(self, start):
   59|         for page in self.pages:
   60|             page.process(start)
   61|         
   62| 
   63| htmlPageClass = FileTree