filedaofactory.java

### File Source: filedaofactory.java

             /*
        P/P   *  Method: net.sourceforge.pebble.dao.file.FileDAOFactory__static_init
              */
         1  /*
         2   * Copyright (c) 2003-2006, Simon Brown
         3   * All rights reserved.
         4   *
         5   * Redistribution and use in source and binary forms, with or without
         6   * modification, are permitted provided that the following conditions are met:
         7   *
         8   *   - Redistributions of source code must retain the above copyright
         9   *     notice, this list of conditions and the following disclaimer.
        10   *
        11   *   - Redistributions in binary form must reproduce the above copyright
        12   *     notice, this list of conditions and the following disclaimer in
        13   *     the documentation and/or other materials provided with the
        14   *     distribution.
        15   *
        16   *   - Neither the name of Pebble nor the names of its contributors may
        17   *     be used to endorse or promote products derived from this software
        18   *     without specific prior written permission.
        19   *
        20   * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
        21   * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
        22   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
        23   * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
        24   * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
        25   * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
        26   * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
        27   * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
        28   * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
        29   * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
        30   * POSSIBILITY OF SUCH DAMAGE.
        31   */
        32  package net.sourceforge.pebble.dao.file;
        33
        34  import net.sourceforge.pebble.dao.*;
        35
        36  /**
        37   * Represents a strategy used to load and store blog entries
        38   * in the filing system using an XML format.
        39   *
        40   * @author    Simon Brown
        41   */
        42  public class FileDAOFactory extends DAOFactory {
        43
        44    private BlogEntryDAO blogEntryDAO;
        45    private StaticPageDAO staticPageDAO;
        46    private CategoryDAO categoryDAO;
        47    private RefererFilterDAO refererFilterDAO;
        48
        49    /**
        50     * Default, no args constructor.
        51     */
               /*
        P/P     *  Method: void net.sourceforge.pebble.dao.file.FileDAOFactory()
                *
                *  Postconditions:
                *    this.blogEntryDAO == &new FileBlogEntryDAO(FileDAOFactory#1)
                *    this.categoryDAO == &new FileCategoryDAO(FileDAOFactory#3)
                *    this.refererFilterDAO == &new FileRefererFilterDAO(FileDAOFactory#4)
                *    this.staticPageDAO == &new FileStaticPageDAO(FileDAOFactory#2)
                *    new FileBlogEntryDAO(FileDAOFactory#1) num objects == 1
                *    new FileCategoryDAO(FileDAOFactory#3) num objects == 1
                *    new FileRefererFilterDAO(FileDAOFactory#4) num objects == 1
                *    new FileStaticPageDAO(FileDAOFactory#2) num objects == 1
                *    possibly_updated(this.categoryDAO.jaxbContext)
                *    possibly_updated(this.staticPageDAO.jaxbContext)
                */
        52    public FileDAOFactory() {
        53      this.blogEntryDAO = new FileBlogEntryDAO();
        54      this.staticPageDAO = new FileStaticPageDAO();
        55      this.categoryDAO = new FileCategoryDAO();
        56      this.refererFilterDAO = new FileRefererFilterDAO();
        57    }
        58
        59    /**
        60     * Gets a DAO instance responsible for the dao of blog entries.
        61     *
        62     * @return  a BlogEntryDAO instance
        63     */
        64    public BlogEntryDAO getBlogEntryDAO() {
                 /*
        P/P       *  Method: BlogEntryDAO getBlogEntryDAO()
                  *
                  *  Preconditions:
                  *    init'ed(this.blogEntryDAO)
                  *
                  *  Postconditions:
                  *    return_value == this.blogEntryDAO
                  *    init'ed(return_value)
                  */
        65      return this.blogEntryDAO;
        66    }
        67
        68    /**
        69     * Gets a DAO instance responsible for the dao of static pages.
        70     *
        71     * @return a StaticPageDAO instance
        72     */
        73    public StaticPageDAO getStaticPageDAO() {
                 /*
        P/P       *  Method: StaticPageDAO getStaticPageDAO()
                  *
                  *  Preconditions:
                  *    init'ed(this.staticPageDAO)
                  *
                  *  Postconditions:
                  *    return_value == this.staticPageDAO
                  *    init'ed(return_value)
                  */
        74      return this.staticPageDAO;
        75    }
        76
        77    /**
        78     * Gets a DAO instance responsible for the dao of categories.
        79     *
        80     * @return  a CategoryDAO instance
        81     */
        82    public CategoryDAO getCategoryDAO() {
                 /*
        P/P       *  Method: CategoryDAO getCategoryDAO()
                  *
                  *  Preconditions:
                  *    init'ed(this.categoryDAO)
                  *
                  *  Postconditions:
                  *    return_value == this.categoryDAO
                  *    init'ed(return_value)
                  */
        83      return this.categoryDAO;
        84    }
        85
        86    /**
        87     * Gets a DAO instance responsible for the dao of referer filters.
        88     *
        89     * @return  a RefererFilterDAO instance
        90     */
        91    public RefererFilterDAO getRefererFilterDAO() {
                 /*
        P/P       *  Method: RefererFilterDAO getRefererFilterDAO()
                  *
                  *  Preconditions:
                  *    init'ed(this.refererFilterDAO)
                  *
                  *  Postconditions:
                  *    return_value == this.refererFilterDAO
                  *    init'ed(return_value)
                  */
        92      return this.refererFilterDAO;
        93    }
        94
        95  }

SofCheck Inspector Build Version : 2.22510

filedaofactory.java | 2010-Jun-25 19:40:32
filedaofactory.class | 2010-Jul-19 20:23:40