//# 0 errors, 68 messages
//#
/*
    //#defaultpermalinkprovider.java:1:1: class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#defaultpermalinkprovider.java:1:1: method: net.sourceforge.pebble.permalink.DefaultPermalinkProvider.net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.permalink;

import net.sourceforge.pebble.domain.Blog;
import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.domain.BlogService;
import net.sourceforge.pebble.domain.BlogServiceException;

import java.text.DateFormat;
import java.text.SimpleDateFormat;
import java.util.Date;

/**
 * Generates permalinks using the pattern /YYYY/MM/DD/<time-in-millis>.
 *
 * @author Simon Brown
 */
public class DefaultPermalinkProvider extends PermalinkProviderSupport {
    //#defaultpermalinkprovider.java:48: method: void net.sourceforge.pebble.permalink.DefaultPermalinkProvider.net.sourceforge.pebble.permalink.DefaultPermalinkProvider()
    //#input(void net.sourceforge.pebble.permalink.DefaultPermalinkProvider()): this
    //#defaultpermalinkprovider.java:48: end of method: void net.sourceforge.pebble.permalink.DefaultPermalinkProvider.net.sourceforge.pebble.permalink.DefaultPermalinkProvider()

  /** the regex used to check for a blog entry permalink : /yyyy/mm/dd/blogentryid.html */
  private static final String BLOG_ENTRY_PERMALINK_REGEX = "/\\d\\d\\d\\d/\\d\\d/\\d\\d/\\d*.html";

  /**
   * Gets the permalink for a blog entry.
   *
   * @return  a URI as a String
   */
  public String getPermalink(BlogEntry blogEntry) {
    Blog blog = blogEntry.getBlog();
    //#defaultpermalinkprovider.java:59: method: String net.sourceforge.pebble.permalink.DefaultPermalinkProvider.getPermalink(BlogEntry)
    //#defaultpermalinkprovider.java:59: Warning: method not available
    //#    -- call on Blog net.sourceforge.pebble.domain.BlogEntry:getBlog()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: Blog net.sourceforge.pebble.domain.BlogEntry:getBlog()
    //#input(String getPermalink(BlogEntry)): blogEntry
    //#output(String getPermalink(BlogEntry)): return_value
    //#pre[1] (String getPermalink(BlogEntry)): blogEntry != null
    //#presumption(String getPermalink(BlogEntry)): net.sourceforge.pebble.domain.BlogEntry:getBlog(...)@59 != null
    //#post(String getPermalink(BlogEntry)): return_value != null
    Date date = blogEntry.getDate();
    //#defaultpermalinkprovider.java:60: Warning: method not available
    //#    -- call on Date net.sourceforge.pebble.domain.BlogEntry:getDate()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: Date net.sourceforge.pebble.domain.BlogEntry:getDate()
    DateFormat year = new SimpleDateFormat("yyyy");
    year.setTimeZone(blog.getTimeZone());
    //#defaultpermalinkprovider.java:62: Warning: method not available
    //#    -- call on TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()
    DateFormat month = new SimpleDateFormat("MM");
    month.setTimeZone(blog.getTimeZone());
    //#defaultpermalinkprovider.java:64: Warning: method not available
    //#    -- call on TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()
    DateFormat day = new SimpleDateFormat("dd");
    day.setTimeZone(blog.getTimeZone());
    //#defaultpermalinkprovider.java:66: Warning: method not available
    //#    -- call on TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: TimeZone net.sourceforge.pebble.domain.Blog:getTimeZone()

    StringBuffer buf = new StringBuffer();
    buf.append("/");
    buf.append(year.format(date));
    buf.append("/");
    buf.append(month.format(date));
    buf.append("/");
    buf.append(day.format(date));
    buf.append("/");
    buf.append(blogEntry.getId());
    //#defaultpermalinkprovider.java:76: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.BlogEntry:getId()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: String getPermalink(BlogEntry)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.BlogEntry:getId()
    buf.append(".html");

    return buf.toString();
    //#defaultpermalinkprovider.java:79: end of method: String net.sourceforge.pebble.permalink.DefaultPermalinkProvider.getPermalink(BlogEntry)
  }

  /**
   * Determines whether the specified URI is a blog entry permalink.
   *
   * @param uri   a relative URI
   * @return      true if the URI represents a permalink to a blog entry,
   *              false otherwise
   */
  public boolean isBlogEntryPermalink(String uri) {
    if (uri != null) {
    //#defaultpermalinkprovider.java:90: method: bool net.sourceforge.pebble.permalink.DefaultPermalinkProvider.isBlogEntryPermalink(String)
    //#input(bool isBlogEntryPermalink(String)): uri
    //#output(bool isBlogEntryPermalink(String)): return_value
    //#post(bool isBlogEntryPermalink(String)): init'ed(return_value)
    //#test_vector(bool isBlogEntryPermalink(String)): uri: Addr_Set{null}, Inverse{null}
      return uri.matches(BLOG_ENTRY_PERMALINK_REGEX);
    } else {
      return false;
    //#defaultpermalinkprovider.java:93: end of method: bool net.sourceforge.pebble.permalink.DefaultPermalinkProvider.isBlogEntryPermalink(String)
    }
  }

  /**
   * Gets the blog entry referred to by the specified URI.
   *
   * @param uri   a relative URI
   * @return  a BlogEntry instance, or null if one can't be found
   */
  public BlogEntry getBlogEntry(String uri) {
    Blog blog = getBlog();
    //#defaultpermalinkprovider.java:104: method: BlogEntry net.sourceforge.pebble.permalink.DefaultPermalinkProvider.getBlogEntry(String)
    //#input(BlogEntry getBlogEntry(String)): __Descendant_Table[net/sourceforge/pebble/permalink/DefaultPermalinkProvider]
    //#input(BlogEntry getBlogEntry(String)): __Descendant_Table[others]
    //#input(BlogEntry getBlogEntry(String)): __Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(BlogEntry getBlogEntry(String)): this
    //#input(BlogEntry getBlogEntry(String)): this.__Tag
    //#input(BlogEntry getBlogEntry(String)): this.blog
    //#input(BlogEntry getBlogEntry(String)): uri
    //#output(BlogEntry getBlogEntry(String)): return_value
    //#pre[2] (BlogEntry getBlogEntry(String)): this.__Tag == net/sourceforge/pebble/permalink/DefaultPermalinkProvider
    //#pre[3] (BlogEntry getBlogEntry(String)): init'ed(this.blog)
    //#pre[4] (BlogEntry getBlogEntry(String)): (soft) uri != null
    //#post(BlogEntry getBlogEntry(String)): init'ed(return_value)
    BlogService service = new BlogService();
    //#defaultpermalinkprovider.java:105: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: BlogEntry getBlogEntry(String)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService()
    try {
      return service.getBlogEntry(blog, uri.substring(12, uri.lastIndexOf(".")));
    //#defaultpermalinkprovider.java:107: Warning: method not available
    //#    -- call on BlogEntry net.sourceforge.pebble.domain.BlogService:getBlogEntry(Blog, String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
    //#    method: BlogEntry getBlogEntry(String)
    //#    unanalyzed callee: BlogEntry net.sourceforge.pebble.domain.BlogService:getBlogEntry(Blog, String)
    } catch (BlogServiceException e) {
      return null;
    //#defaultpermalinkprovider.java:109: end of method: BlogEntry net.sourceforge.pebble.permalink.DefaultPermalinkProvider.getBlogEntry(String)
    }
  }

}
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Descendant_Table[net/sourceforge/pebble/permalink/DefaultPermalinkProvider]
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getBlogEntry(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/BlogEntry;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getDay(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/Day;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getMonth(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/Month;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/Day;)Ljava/lang/String;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/Month;)Ljava/lang/String;
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isBlogEntryPermalink(Ljava/lang/String;)Z
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isDayPermalink(Ljava/lang/String;)Z
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isMonthPermalink(Ljava/lang/String;)Z
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.setBlog(Lnet/sourceforge/pebble/domain/Blog;)V
    //#output(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): net/sourceforge/pebble/permalink/PermalinkProviderSupport.__Descendant_Table[net/sourceforge/pebble/permalink/DefaultPermalinkProvider]
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Descendant_Table[net/sourceforge/pebble/permalink/DefaultPermalinkProvider] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): net/sourceforge/pebble/permalink/PermalinkProviderSupport.__Descendant_Table[net/sourceforge/pebble/permalink/DefaultPermalinkProvider] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog; == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.getBlog
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getBlogEntry(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/BlogEntry; == &getBlogEntry
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getDay(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/Day; == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.getDay
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getMonth(Ljava/lang/String;)Lnet/sourceforge/pebble/domain/Month; == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.getMonth
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String; == &getPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/Day;)Ljava/lang/String; == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.getPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/Month;)Ljava/lang/String; == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.getPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isBlogEntryPermalink(Ljava/lang/String;)Z == &isBlogEntryPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isDayPermalink(Ljava/lang/String;)Z == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.isDayPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.isMonthPermalink(Ljava/lang/String;)Z == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.isMonthPermalink
    //#post(net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init): __Dispatch_Table.setBlog(Lnet/sourceforge/pebble/domain/Blog;)V == &net/sourceforge/pebble/permalink/PermalinkProviderSupport.setBlog
    //#defaultpermalinkprovider.java:: end of method: net.sourceforge.pebble.permalink.DefaultPermalinkProvider.net.sourceforge.pebble.permalink.DefaultPermalinkProvider__static_init
    //#defaultpermalinkprovider.java:: end of class: net.sourceforge.pebble.permalink.DefaultPermalinkProvider
