//# 35 errors, 812 messages
//#
package net.sourceforge.pebble.index;
    //#blogentryindex.java:1:1: class: net.sourceforge.pebble.index.BlogEntryIndex

import net.sourceforge.pebble.comparator.ReverseBlogEntryIdComparator;
import net.sourceforge.pebble.domain.Blog;
import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.domain.Day;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;

import java.io.*;
import java.util.*;

/**
 * Keeps an index of all blog entries, allowing efficient access at runtime.
 *
 * @author    Simon Brown
 */
public class BlogEntryIndex {

  private static final Log log = LogFactory.getLog(BlogEntryIndex.class);
    //#blogentryindex.java:20: method: net.sourceforge.pebble.index.BlogEntryIndex.net.sourceforge.pebble.index.BlogEntryIndex__static_init
    //#blogentryindex.java:20: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: net.sourceforge.pebble.index.BlogEntryIndex__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex]
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.clear()V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getBlogEntries()Ljava/util/List;
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfBlogEntries()I
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfPublishedBlogEntries()I
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfUnpublishedBlogEntries()I
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getPublishedBlogEntries()Ljava/util/List;
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getUnpublishedBlogEntries()Ljava/util/List;
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.index(Ljava/util/Collection;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.readIndex(Z)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.writeIndex(Z)V
    //#output(net.sourceforge.pebble.index.BlogEntryIndex__static_init): log
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Descendant_Table[net/sourceforge/pebble/index/BlogEntryIndex] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.clear()V == &clear
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getBlogEntries()Ljava/util/List; == &getBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfBlogEntries()I == &getNumberOfBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfPublishedBlogEntries()I == &getNumberOfPublishedBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getNumberOfUnpublishedBlogEntries()I == &getNumberOfUnpublishedBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getPublishedBlogEntries()Ljava/util/List; == &getPublishedBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.getUnpublishedBlogEntries()Ljava/util/List; == &getUnpublishedBlogEntries
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.index(Ljava/util/Collection;)V == &index
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.index(Lnet/sourceforge/pebble/domain/BlogEntry;)V == &index
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.readIndex(Z)V == &readIndex
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/BlogEntry;)V == &unindex
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): __Dispatch_Table.writeIndex(Z)V == &writeIndex
    //#post(net.sourceforge.pebble.index.BlogEntryIndex__static_init): init'ed(log)
    //#blogentryindex.java:20: end of method: net.sourceforge.pebble.index.BlogEntryIndex.net.sourceforge.pebble.index.BlogEntryIndex__static_init

  private Blog blog;

  private List<String> indexEntries = new ArrayList<String>();
  private List<String> publishedIndexEntries = new ArrayList<String>();
  private List<String> unpublishedIndexEntries = new ArrayList<String>();

  public BlogEntryIndex(Blog blog) {
    //#blogentryindex.java:28: method: void net.sourceforge.pebble.index.BlogEntryIndex.net.sourceforge.pebble.index.BlogEntryIndex(Blog)
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): blog
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): blog.__Tag
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): blog.properties
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): blog.years
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): log
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#1) num objects
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#2) num objects
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#3) num objects
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.blog
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.indexEntries
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.publishedIndexEntries
    //#output(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.unpublishedIndexEntries
    //#new obj(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#1)
    //#new obj(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#2)
    //#new obj(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#3)
    //#pre[1] (void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): blog != null
    //#pre[2] (void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): (soft) blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[3] (void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): (soft) blog.properties != null
    //#pre[4] (void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): (soft) blog.years != null
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.blog == blog
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.blog != null
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.indexEntries == &new ArrayList(BlogEntryIndex#1)
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.publishedIndexEntries == &new ArrayList(BlogEntryIndex#2)
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): this.unpublishedIndexEntries == &new ArrayList(BlogEntryIndex#3)
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#1) num objects == 1
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#2) num objects == 1
    //#post(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): new ArrayList(BlogEntryIndex#3) num objects == 1
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.File
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:addPublishedBlogEntry
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:addUnpublishedBlogEntry
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.FileReader
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.BufferedReader
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.BufferedReader:readLine
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.lang.Long:parseLong
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Date
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.io.BufferedReader:close
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getTimeZone
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getLocale
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getBlog
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:setDate
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getMonth
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:getYear
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void net.sourceforge.pebble.index.BlogEntryIndex(Blog)): Effects-of-calling:java.util.ArrayList
    this.blog = blog;

    readIndex(true);
    readIndex(false);
  }
    //#blogentryindex.java:33: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.net.sourceforge.pebble.index.BlogEntryIndex(Blog)

  /**
   * Clears the index.
   */
  public void clear() {
    indexEntries = new ArrayList<String>();
    //#blogentryindex.java:39: method: void net.sourceforge.pebble.index.BlogEntryIndex.clear()
    //#input(void clear()): log
    //#input(void clear()): this
    //#input(void clear()): this.blog
    //#output(void clear()): new ArrayList(clear#1) num objects
    //#output(void clear()): new ArrayList(clear#2) num objects
    //#output(void clear()): new ArrayList(clear#3) num objects
    //#output(void clear()): this.indexEntries
    //#output(void clear()): this.publishedIndexEntries
    //#output(void clear()): this.unpublishedIndexEntries
    //#new obj(void clear()): new ArrayList(clear#1)
    //#new obj(void clear()): new ArrayList(clear#2)
    //#new obj(void clear()): new ArrayList(clear#3)
    //#pre[2] (void clear()): (soft) this.blog != null
    //#post(void clear()): this.indexEntries == &new ArrayList(clear#1)
    //#post(void clear()): this.publishedIndexEntries == &new ArrayList(clear#2)
    //#post(void clear()): this.unpublishedIndexEntries == &new ArrayList(clear#3)
    //#post(void clear()): new ArrayList(clear#1) num objects == 1
    //#post(void clear()): new ArrayList(clear#2) num objects == 1
    //#post(void clear()): new ArrayList(clear#3) num objects == 1
    //#unanalyzed(void clear()): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void clear()): Effects-of-calling:java.io.File
    //#unanalyzed(void clear()): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void clear()): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void clear()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void clear()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void clear()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void clear()): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void clear()): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void clear()): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void clear()): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void clear()): Effects-of-calling:org.apache.commons.logging.Log:error
    publishedIndexEntries = new ArrayList<String>();
    unpublishedIndexEntries = new ArrayList<String>();
    writeIndex(true);
    writeIndex(false);
  }
    //#blogentryindex.java:44: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.clear()

  /**
   * Indexes one or more blog entries.
   *
   * @param blogEntries   a List of BlogEntry instances
   */
  public synchronized void index(Collection<BlogEntry> blogEntries) {
    for (BlogEntry blogEntry : blogEntries) {
    //#blogentryindex.java:52: method: void net.sourceforge.pebble.index.BlogEntryIndex.index(Collection)
    //#input(void index(Collection)): blogEntries
    //#input(void index(Collection)): log
    //#input(void index(Collection)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).__Tag
    //#input(void index(Collection)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isPublished()Z
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(Collection)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/State.PUBLISHED
    //#input(void index(Collection)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void index(Collection)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void index(Collection)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(Collection)): this
    //#input(void index(Collection)): this.blog
    //#input(void index(Collection)): this.blog.__Tag
    //#input(void index(Collection)): this.blog.properties
    //#input(void index(Collection)): this.blog.years
    //#input(void index(Collection)): this.indexEntries
    //#input(void index(Collection)): this.publishedIndexEntries
    //#input(void index(Collection)): this.unpublishedIndexEntries
    //#pre[1] (void index(Collection)): blogEntries != null
    //#pre[2] (void index(Collection)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name != null
    //#pre[4] (void index(Collection)): (soft) this.blog != null
    //#pre[5] (void index(Collection)): (soft) this.blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[6] (void index(Collection)): (soft) this.blog.properties != null
    //#pre[7] (void index(Collection)): (soft) this.blog.years != null
    //#pre[8] (void index(Collection)): (soft) this.indexEntries != null
    //#pre[9] (void index(Collection)): (soft) this.publishedIndexEntries != null
    //#pre[10] (void index(Collection)): (soft) this.unpublishedIndexEntries != null
    //#presumption(void index(Collection)): blogEntry.state.__Tag@52 == net/sourceforge/pebble/domain/State
    //#presumption(void index(Collection)): blogEntry.state@52 != null
    //#presumption(void index(Collection)): day.__Tag@53 == net/sourceforge/pebble/domain/Day
    //#presumption(void index(Collection)): day.blogEntries@53 != null
    //#presumption(void index(Collection)): day.publishedBlogEntries@53 != null
    //#presumption(void index(Collection)): day.unpublishedBlogEntries@53 != null
    //#presumption(void index(Collection)): java.util.Iterator:next(...).__Tag@52 == net/sourceforge/pebble/domain/BlogEntry
    //#presumption(void index(Collection)): java.util.Iterator:next(...)@52 != null
    //#unanalyzed(void index(Collection)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.File
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void index(Collection)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void index(Collection)): Effects-of-calling:getTimeZone
    //#unanalyzed(void index(Collection)): Effects-of-calling:getLocale
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void index(Collection)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void index(Collection)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void index(Collection)): Effects-of-calling:getBlog
    //#unanalyzed(void index(Collection)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void index(Collection)): Effects-of-calling:setDate
    //#unanalyzed(void index(Collection)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void index(Collection)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void index(Collection)): Effects-of-calling:getMonth
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void index(Collection)): Effects-of-calling:getYear
    //#unanalyzed(void index(Collection)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void index(Collection)): Effects-of-calling:java.util.ArrayList
    //#test_vector(void index(Collection)): java.util.Iterator:hasNext(...)@52: {1}, {0}
      Day day = blog.getBlogForDay(blogEntry.getDate());
      if (blogEntry.isPublished()) {
        publishedIndexEntries.add(blogEntry.getId());
        day.addPublishedBlogEntry(blogEntry.getId());
    //#blogentryindex.java:56: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_3
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:56: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_3
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:56: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_3
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 185
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:56: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_3
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 185
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:56: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_3
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 185
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
      } else {
        unpublishedIndexEntries.add(blogEntry.getId());
        day.addUnpublishedBlogEntry(blogEntry.getId());
    //#blogentryindex.java:59: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_4
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:59: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_4
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:59: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_4
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 199
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:59: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_4
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 199
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:59: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(Collection)
    //#    basic block: bb_4
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 199
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
      }
      indexEntries.add(blogEntry.getId());
    }

    Collections.sort(indexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(publishedIndexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(unpublishedIndexEntries, new ReverseBlogEntryIdComparator());

    writeIndex(true);
    writeIndex(false);
  }
    //#blogentryindex.java:70: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.index(Collection)

  /**
   * Indexes a single blog entry.
   *
   * @param blogEntry   a BlogEntry instance
   */
  public synchronized void index(BlogEntry blogEntry) {
    Day day = blog.getBlogForDay(blogEntry.getDate());
    //#blogentryindex.java:78: method: void net.sourceforge.pebble.index.BlogEntryIndex.index(BlogEntry)
    //#input(void index(BlogEntry)): blogEntry
    //#input(void index(BlogEntry)): blogEntry.__Tag
    //#input(void index(BlogEntry)): blogEntry.date
    //#input(void index(BlogEntry)): blogEntry.id
    //#input(void index(BlogEntry)): blogEntry.state
    //#input(void index(BlogEntry)): blogEntry.state.__Tag
    //#input(void index(BlogEntry)): blogEntry.state.name
    //#input(void index(BlogEntry)): log
    //#input(void index(BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).__Tag
    //#input(void index(BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isPublished()Z
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/State.PUBLISHED
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void index(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void index(BlogEntry)): this
    //#input(void index(BlogEntry)): this.blog
    //#input(void index(BlogEntry)): this.blog.__Tag
    //#input(void index(BlogEntry)): this.blog.properties
    //#input(void index(BlogEntry)): this.blog.years
    //#input(void index(BlogEntry)): this.indexEntries
    //#input(void index(BlogEntry)): this.publishedIndexEntries
    //#input(void index(BlogEntry)): this.unpublishedIndexEntries
    //#pre[1] (void index(BlogEntry)): blogEntry != null
    //#pre[2] (void index(BlogEntry)): blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#pre[3] (void index(BlogEntry)): init'ed(blogEntry.date)
    //#pre[4] (void index(BlogEntry)): init'ed(blogEntry.id)
    //#pre[5] (void index(BlogEntry)): blogEntry.state != null
    //#pre[6] (void index(BlogEntry)): blogEntry.state.__Tag == net/sourceforge/pebble/domain/State
    //#pre[10] (void index(BlogEntry)): this.blog != null
    //#pre[11] (void index(BlogEntry)): this.blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[12] (void index(BlogEntry)): this.blog.properties != null
    //#pre[13] (void index(BlogEntry)): this.blog.years != null
    //#pre[14] (void index(BlogEntry)): this.indexEntries != null
    //#pre[7] (void index(BlogEntry)): (soft) init'ed(blogEntry.state.name)
    //#pre[8] (void index(BlogEntry)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#5).name != null
    //#pre[15] (void index(BlogEntry)): (soft) this.publishedIndexEntries != null
    //#pre[16] (void index(BlogEntry)): (soft) this.unpublishedIndexEntries != null
    //#presumption(void index(BlogEntry)): day.__Tag@78 == net/sourceforge/pebble/domain/Day
    //#presumption(void index(BlogEntry)): day.blogEntries@78 != null
    //#presumption(void index(BlogEntry)): day.publishedBlogEntries@78 != null
    //#presumption(void index(BlogEntry)): day.unpublishedBlogEntries@78 != null
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.File
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getTimeZone
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getLocale
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getBlog
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:setDate
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getMonth
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:getYear
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void index(BlogEntry)): Effects-of-calling:java.util.ArrayList
    if (blogEntry.isPublished()) {
      publishedIndexEntries.add(blogEntry.getId());
      day.addPublishedBlogEntry(blogEntry.getId());
    //#blogentryindex.java:81: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:81: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:81: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 185
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:81: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 185
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:81: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 185
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
      writeIndex(true);
    } else {
      unpublishedIndexEntries.add(blogEntry.getId());
      day.addUnpublishedBlogEntry(blogEntry.getId());
    //#blogentryindex.java:85: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_3
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:85: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_3
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:85: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_3
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 199
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:85: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_3
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 199
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:85: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void index(BlogEntry)
    //#    basic block: bb_3
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 199
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
      writeIndex(false);
    }
    indexEntries.add(blogEntry.getId());

    Collections.sort(indexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(publishedIndexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(unpublishedIndexEntries, new ReverseBlogEntryIdComparator());
  }
    //#blogentryindex.java:93: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.index(BlogEntry)

  /**
   * Unindexes a single blog entry.
   *
   * @param blogEntry   a BlogEntry instance
   */
  public synchronized void unindex(BlogEntry blogEntry) {
    Day day = blog.getBlogForDay(blogEntry.getDate());
    //#blogentryindex.java:101: method: void net.sourceforge.pebble.index.BlogEntryIndex.unindex(BlogEntry)
    //#input(void unindex(BlogEntry)): blogEntry
    //#input(void unindex(BlogEntry)): blogEntry.__Tag
    //#input(void unindex(BlogEntry)): blogEntry.date
    //#input(void unindex(BlogEntry)): blogEntry.id
    //#input(void unindex(BlogEntry)): log
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.removeBlogEntry(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void unindex(BlogEntry)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void unindex(BlogEntry)): this
    //#input(void unindex(BlogEntry)): this.blog
    //#input(void unindex(BlogEntry)): this.blog.__Tag
    //#input(void unindex(BlogEntry)): this.blog.properties
    //#input(void unindex(BlogEntry)): this.blog.years
    //#input(void unindex(BlogEntry)): this.indexEntries
    //#input(void unindex(BlogEntry)): this.publishedIndexEntries
    //#input(void unindex(BlogEntry)): this.unpublishedIndexEntries
    //#pre[1] (void unindex(BlogEntry)): blogEntry != null
    //#pre[2] (void unindex(BlogEntry)): blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#pre[3] (void unindex(BlogEntry)): init'ed(blogEntry.date)
    //#pre[4] (void unindex(BlogEntry)): init'ed(blogEntry.id)
    //#pre[6] (void unindex(BlogEntry)): this.blog != null
    //#pre[7] (void unindex(BlogEntry)): this.blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[8] (void unindex(BlogEntry)): this.blog.properties != null
    //#pre[9] (void unindex(BlogEntry)): this.blog.years != null
    //#pre[10] (void unindex(BlogEntry)): this.indexEntries != null
    //#pre[11] (void unindex(BlogEntry)): this.publishedIndexEntries != null
    //#pre[12] (void unindex(BlogEntry)): this.unpublishedIndexEntries != null
    //#presumption(void unindex(BlogEntry)): day.__Tag@101 == net/sourceforge/pebble/domain/Day
    //#presumption(void unindex(BlogEntry)): day.blogEntries@101 != null
    //#presumption(void unindex(BlogEntry)): day.publishedBlogEntries@101 != null
    //#presumption(void unindex(BlogEntry)): day.unpublishedBlogEntries@101 != null
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.File
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getTimeZone
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getLocale
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getBlog
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:setDate
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getMonth
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:getYear
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void unindex(BlogEntry)): Effects-of-calling:java.util.ArrayList
    day.removeBlogEntry(blogEntry);
    //#blogentryindex.java:102: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void unindex(BlogEntry)
    //#    basic block: Entry_BB_1
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:102: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void unindex(BlogEntry)
    //#    basic block: Entry_BB_1
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:102: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.removeBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void unindex(BlogEntry)
    //#    basic block: Entry_BB_1
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.removeBlogEntry(BlogEntry)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 213
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:102: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.removeBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void unindex(BlogEntry)
    //#    basic block: Entry_BB_1
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.removeBlogEntry(BlogEntry)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 213
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:102: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.removeBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void unindex(BlogEntry)
    //#    basic block: Entry_BB_1
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.removeBlogEntry(BlogEntry)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 213
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad

    indexEntries.remove(blogEntry.getId());
    publishedIndexEntries.remove(blogEntry.getId());
    unpublishedIndexEntries.remove(blogEntry.getId());

    writeIndex(true);
    writeIndex(false);
  }
    //#blogentryindex.java:110: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.unindex(BlogEntry)

  /**
   * Helper method to load the index.
   */
  private void readIndex(boolean published) {
    File indexFile;
    if (published) {
    //#blogentryindex.java:117: method: void net.sourceforge.pebble.index.BlogEntryIndex.readIndex(bool)
    //#input(void readIndex(bool)): log
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(III)Lnet/sourceforge/pebble/domain/Day;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForDay(Ljava/util/Date;)Lnet/sourceforge/pebble/domain/Day;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForMonth(II)Lnet/sourceforge/pebble/domain/Month;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getBlogForYear(I)Lnet/sourceforge/pebble/domain/Year;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCalendar()Ljava/util/Calendar;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Descendant_Table[net/sourceforge/pebble/domain/Day]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Descendant_Table[others]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addPublishedBlogEntry(Ljava/lang/String;)V
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.addUnpublishedBlogEntry(Ljava/lang/String;)V
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getDay()I
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.getMonth()Lnet/sourceforge/pebble/domain/Month;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Day.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Descendant_Table[net/sourceforge/pebble/domain/Month]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Descendant_Table[others]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getBlogForDay(I)Lnet/sourceforge/pebble/domain/Day;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getMonth()I
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.getYear()Lnet/sourceforge/pebble/domain/Year;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Month.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getCountry()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLanguage()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getLocale()Ljava/util/Locale;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Descendant_Table[net/sourceforge/pebble/domain/Year]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Descendant_Table[others]
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getBlogForMonth(I)Lnet/sourceforge/pebble/domain/Month;
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.getYear()I
    //#input(void readIndex(bool)): net/sourceforge/pebble/domain/Year.__Dispatch_Table.setDate(Ljava/util/Date;)V
    //#input(void readIndex(bool)): published
    //#input(void readIndex(bool)): this
    //#input(void readIndex(bool)): this.blog
    //#input(void readIndex(bool)): this.blog.__Tag
    //#input(void readIndex(bool)): this.blog.properties
    //#input(void readIndex(bool)): this.blog.years
    //#input(void readIndex(bool)): this.indexEntries
    //#input(void readIndex(bool)): this.publishedIndexEntries
    //#input(void readIndex(bool)): this.unpublishedIndexEntries
    //#pre[3] (void readIndex(bool)): this.blog != null
    //#pre[4] (void readIndex(bool)): (soft) this.blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[5] (void readIndex(bool)): (soft) this.blog.properties != null
    //#pre[6] (void readIndex(bool)): (soft) this.blog.years != null
    //#pre[7] (void readIndex(bool)): (soft) this.indexEntries != null
    //#pre[8] (void readIndex(bool)): (soft) this.publishedIndexEntries != null
    //#pre[9] (void readIndex(bool)): (soft) this.unpublishedIndexEntries != null
    //#presumption(void readIndex(bool)): day.__Tag@132 == net/sourceforge/pebble/domain/Day
    //#presumption(void readIndex(bool)): day.blogEntries@132 != null
    //#presumption(void readIndex(bool)): day.publishedBlogEntries@132 != null
    //#presumption(void readIndex(bool)): day.unpublishedBlogEntries@132 != null
    //#presumption(void readIndex(bool)): org.apache.commons.logging.LogFactory:getLog(...)@20 != null
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getTimeZone
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getLocale
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:getInstance
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Locale
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:get
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getBlogForMonth
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:setTime
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getBlogForDay
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getBlog
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getCalendar
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:set
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:getTime
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:setDate
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:net.sourceforge.pebble.domain.Month
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:net.sourceforge.pebble.domain.TimePeriod
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getMonth
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.Calendar:getActualMaximum
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:getYear
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:net.sourceforge.pebble.domain.Month:getBlog
    //#unanalyzed(void readIndex(bool)): Effects-of-calling:java.util.ArrayList
    //#test_vector(void readIndex(bool)): published: {0}, {1}
    //#test_vector(void readIndex(bool)): java.io.File:exists(...)@123: {0}, {1}
      indexFile = new File(blog.getIndexesDirectory(), "blogentries-published.index");
    //#blogentryindex.java:118: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    } else {
      indexFile = new File(blog.getIndexesDirectory(), "blogentries-unpublished.index");
    //#blogentryindex.java:120: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    }

    if (indexFile.exists()) {
      try {
        BufferedReader reader = new BufferedReader(new FileReader(indexFile));
        String indexEntry = reader.readLine();
        while (indexEntry != null) {
          indexEntries.add(indexEntry);

          // and add it to the internal memory structures
          Date date = new Date(Long.parseLong(indexEntry));
          Day day = blog.getBlogForDay(date);

          if (published) {
            publishedIndexEntries.add(indexEntry);
            day.addPublishedBlogEntry(indexEntry);
    //#blogentryindex.java:136: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_8
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:136: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_8
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:136: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_8
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 185
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:136: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_8
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 185
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:136: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addPublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_8
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addPublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 185
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
          } else {
            unpublishedIndexEntries.add(indexEntry);
            day.addUnpublishedBlogEntry(indexEntry);
    //#blogentryindex.java:139: ?null dereference
    //#    day != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_9
    //#    assertion: day != null
    //#    VN: getBlogForDay(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:139: ?null dereference
    //#    net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_9
    //#    assertion: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag] != null
    //#    VN: net/sourceforge/pebble/domain/Day.__Descendant_Table[day.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:139: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.blogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_9
    //#    assertion: day.blogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.blogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 199
    //#    VN: day.blogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:139: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.publishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_9
    //#    assertion: day.publishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.publishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 199
    //#    VN: day.publishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#blogentryindex.java:139: ?precondition failure
    //#    net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry: this.unpublishedBlogEntries != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    basic block: bb_9
    //#    assertion: day.unpublishedBlogEntries != null
    //#    callee: void net/sourceforge/pebble/domain/Day.addUnpublishedBlogEntry(String)
    //#    callee assertion: this.unpublishedBlogEntries != null
    //#    callee file: day.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 199
    //#    VN: day.unpublishedBlogEntries
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
          }

          indexEntry = reader.readLine();
        }

        reader.close();
      } catch (Exception e) {
        log.error("Error while reading index", e);
    //#blogentryindex.java:147: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void readIndex(bool)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
      }
    }

    Collections.sort(indexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(publishedIndexEntries, new ReverseBlogEntryIdComparator());
    Collections.sort(unpublishedIndexEntries, new ReverseBlogEntryIdComparator());
  }
    //#blogentryindex.java:154: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.readIndex(bool)

  /**
   * Helper method to write out the index to disk.
   */
  private void writeIndex(boolean published) {
    try {
      File indexFile;
      if (published) {
    //#blogentryindex.java:162: method: void net.sourceforge.pebble.index.BlogEntryIndex.writeIndex(bool)
    //#input(void writeIndex(bool)): log
    //#input(void writeIndex(bool)): published
    //#input(void writeIndex(bool)): this
    //#input(void writeIndex(bool)): this.blog
    //#input(void writeIndex(bool)): this.publishedIndexEntries
    //#input(void writeIndex(bool)): this.unpublishedIndexEntries
    //#pre[3] (void writeIndex(bool)): (soft) this.blog != null
    //#pre[4] (void writeIndex(bool)): (soft) this.publishedIndexEntries != null
    //#pre[5] (void writeIndex(bool)): (soft) this.unpublishedIndexEntries != null
    //#presumption(void writeIndex(bool)): org.apache.commons.logging.LogFactory:getLog(...)@20 != null
    //#test_vector(void writeIndex(bool)): published: {0}, {1}
    //#test_vector(void writeIndex(bool)): java.util.Iterator:hasNext(...)@175: {1}, {0}
        indexFile = new File(blog.getIndexesDirectory(), "blogentries-published.index");
    //#blogentryindex.java:163: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void writeIndex(bool)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
      } else {
        indexFile = new File(blog.getIndexesDirectory(), "blogentries-unpublished.index");
    //#blogentryindex.java:165: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void writeIndex(bool)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getIndexesDirectory()
      }
      BufferedWriter writer = new BufferedWriter(new FileWriter(indexFile));

      if (published) {
        for (String indexEntry : publishedIndexEntries) {
          writer.write(indexEntry);
          writer.newLine();
        }
      } else {
        for (String indexEntry : unpublishedIndexEntries) {
          writer.write(indexEntry);
          writer.newLine();
        }
      }

      writer.flush();
      writer.close();
    } catch (Exception e) {
      log.error("Error while writing index", e);
    //#blogentryindex.java:184: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.index.BlogEntryIndex
    //#    method: void writeIndex(bool)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
    }
  }
    //#blogentryindex.java:186: end of method: void net.sourceforge.pebble.index.BlogEntryIndex.writeIndex(bool)

  /**
   * Gets the number of blog entries for this blog.
   *
   * @return  an int
   */
  public int getNumberOfBlogEntries() {
    return indexEntries.size();
    //#blogentryindex.java:194: method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfBlogEntries()
    //#input(int getNumberOfBlogEntries()): this
    //#input(int getNumberOfBlogEntries()): this.indexEntries
    //#output(int getNumberOfBlogEntries()): return_value
    //#pre[2] (int getNumberOfBlogEntries()): this.indexEntries != null
    //#post(int getNumberOfBlogEntries()): init'ed(return_value)
    //#blogentryindex.java:194: end of method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfBlogEntries()
  }

  /**
   * Gets the number of published blog entries for this blog.
   *
   * @return  an int
   */
  public int getNumberOfPublishedBlogEntries() {
    return publishedIndexEntries.size();
    //#blogentryindex.java:203: method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfPublishedBlogEntries()
    //#input(int getNumberOfPublishedBlogEntries()): this
    //#input(int getNumberOfPublishedBlogEntries()): this.publishedIndexEntries
    //#output(int getNumberOfPublishedBlogEntries()): return_value
    //#pre[2] (int getNumberOfPublishedBlogEntries()): this.publishedIndexEntries != null
    //#post(int getNumberOfPublishedBlogEntries()): init'ed(return_value)
    //#blogentryindex.java:203: end of method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfPublishedBlogEntries()
  }

  /**
   * Gets the number of unpublished blog entries for this blog.
   *
   * @return  an int
   */
  public int getNumberOfUnpublishedBlogEntries() {
    return unpublishedIndexEntries.size();
    //#blogentryindex.java:212: method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfUnpublishedBlogEntries()
    //#input(int getNumberOfUnpublishedBlogEntries()): this
    //#input(int getNumberOfUnpublishedBlogEntries()): this.unpublishedIndexEntries
    //#output(int getNumberOfUnpublishedBlogEntries()): return_value
    //#pre[2] (int getNumberOfUnpublishedBlogEntries()): this.unpublishedIndexEntries != null
    //#post(int getNumberOfUnpublishedBlogEntries()): init'ed(return_value)
    //#blogentryindex.java:212: end of method: int net.sourceforge.pebble.index.BlogEntryIndex.getNumberOfUnpublishedBlogEntries()
  }

  /**
   * Gets the full list of blog entries.
   *
   * @return  a List of blog entry IDs
   */
  public List<String> getBlogEntries() {
    return new ArrayList<String>(indexEntries);
    //#blogentryindex.java:221: method: List net.sourceforge.pebble.index.BlogEntryIndex.getBlogEntries()
    //#input(List getBlogEntries()): this
    //#input(List getBlogEntries()): this.indexEntries
    //#output(List getBlogEntries()): new ArrayList(getBlogEntries#1) num objects
    //#output(List getBlogEntries()): return_value
    //#new obj(List getBlogEntries()): new ArrayList(getBlogEntries#1)
    //#pre[2] (List getBlogEntries()): init'ed(this.indexEntries)
    //#post(List getBlogEntries()): return_value == &new ArrayList(getBlogEntries#1)
    //#post(List getBlogEntries()): new ArrayList(getBlogEntries#1) num objects == 1
    //#blogentryindex.java:221: end of method: List net.sourceforge.pebble.index.BlogEntryIndex.getBlogEntries()
  }

  /**
   * Gets the full list of published blog entries.
   *
   * @return  a List of blog entry IDs
   */
  public List<String> getPublishedBlogEntries() {
    return new ArrayList<String>(publishedIndexEntries);
    //#blogentryindex.java:230: method: List net.sourceforge.pebble.index.BlogEntryIndex.getPublishedBlogEntries()
    //#input(List getPublishedBlogEntries()): this
    //#input(List getPublishedBlogEntries()): this.publishedIndexEntries
    //#output(List getPublishedBlogEntries()): new ArrayList(getPublishedBlogEntries#1) num objects
    //#output(List getPublishedBlogEntries()): return_value
    //#new obj(List getPublishedBlogEntries()): new ArrayList(getPublishedBlogEntries#1)
    //#pre[2] (List getPublishedBlogEntries()): init'ed(this.publishedIndexEntries)
    //#post(List getPublishedBlogEntries()): return_value == &new ArrayList(getPublishedBlogEntries#1)
    //#post(List getPublishedBlogEntries()): new ArrayList(getPublishedBlogEntries#1) num objects == 1
    //#blogentryindex.java:230: end of method: List net.sourceforge.pebble.index.BlogEntryIndex.getPublishedBlogEntries()
  }

  /**
   * Gets the full list of unpublished blog entries.
   *
   * @return  a List of blog entry IDs
   */
  public List<String> getUnpublishedBlogEntries() {
    return new ArrayList<String>(unpublishedIndexEntries);
    //#blogentryindex.java:239: method: List net.sourceforge.pebble.index.BlogEntryIndex.getUnpublishedBlogEntries()
    //#input(List getUnpublishedBlogEntries()): this
    //#input(List getUnpublishedBlogEntries()): this.unpublishedIndexEntries
    //#output(List getUnpublishedBlogEntries()): new ArrayList(getUnpublishedBlogEntries#1) num objects
    //#output(List getUnpublishedBlogEntries()): return_value
    //#new obj(List getUnpublishedBlogEntries()): new ArrayList(getUnpublishedBlogEntries#1)
    //#pre[2] (List getUnpublishedBlogEntries()): init'ed(this.unpublishedIndexEntries)
    //#post(List getUnpublishedBlogEntries()): return_value == &new ArrayList(getUnpublishedBlogEntries#1)
    //#post(List getUnpublishedBlogEntries()): new ArrayList(getUnpublishedBlogEntries#1) num objects == 1
    //#blogentryindex.java:239: end of method: List net.sourceforge.pebble.index.BlogEntryIndex.getUnpublishedBlogEntries()
  }

}    //#blogentryindex.java:: end of class: net.sourceforge.pebble.index.BlogEntryIndex
