//# 1 errors, 305 messages
//#
/*
    //#PreviewPageModel.java:1:1: class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#PreviewPageModel.java:1:1: method: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init
 * Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.ui.rendering.model;

import java.util.Map;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.URLStrategy;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesLatestPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPager;
import org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPreviewPager;
import org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest;
import org.apache.roller.weblogger.ui.rendering.util.WeblogRequest;


/**
 * An extension of the PageModel to make some adjustments for previewing.
 */
public class PreviewPageModel extends PageModel {
    //#PreviewPageModel.java:36: method: void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()
    //#input(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.commentForm
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.pageRequest
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.previewRequest
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.requestParameters
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.urlStrategy
    //#output(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.weblog
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.commentForm == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.pageRequest == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.previewRequest == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.requestParameters == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.urlStrategy == null
    //#post(void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()): this.weblog == null
    
    private WeblogPreviewRequest previewRequest = null;
    private URLStrategy urlStrategy = null;
    //#PreviewPageModel.java:39: end of method: void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel()
    
    
    /** 
     * Init model.
     */
    public void init(Map initData) throws WebloggerException {
        
        // we expect the init data to contain a weblogRequest object
        WeblogRequest weblogRequest = (WeblogRequest) initData.get("parsedRequest");
    //#PreviewPageModel.java:48: method: void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.init(Map)
    //#input(void init(Map)): initData
    //#input(void init(Map)): this
    //#output(void init(Map)): this.commentForm
    //#output(void init(Map)): this.pageRequest
    //#output(void init(Map)): this.previewRequest
    //#output(void init(Map)): this.requestParameters
    //#output(void init(Map)): this.urlStrategy
    //#output(void init(Map)): this.weblog
    //#pre[1] (void init(Map)): initData != null
    //#presumption(void init(Map)): java.util.Map:get(...)@48 != null
    //#presumption(void init(Map)): java.util.Map:get(...)@81 != null
    //#presumption(void init(Map)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@65 != null
    //#presumption(void init(Map)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:instanceof(...)@55 == 1
    //#post(void init(Map)): init'ed(this.commentForm)
    //#post(void init(Map)): this.pageRequest != null
    //#post(void init(Map)): (soft) this.previewRequest != null
    //#post(void init(Map)): init'ed(this.requestParameters)
    //#post(void init(Map)): init'ed(this.urlStrategy)
    //#post(void init(Map)): init'ed(this.weblog)
    //#unanalyzed(void init(Map)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void init(Map)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:instanceof
    //#unanalyzed(void init(Map)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void init(Map)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUrlStrategy
    //#unanalyzed(void init(Map)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog
    //#test_vector(void init(Map)): java.util.Map:get(...)@63: Inverse{null}, Addr_Set{null}
        if(weblogRequest == null) {
            throw new WebloggerException("expected weblogRequest from init data");
        }
        
        // PreviewPageModel only works on preview requests, so cast weblogRequest
        // into a WeblogPreviewRequest and if it fails then throw exception
        if(weblogRequest instanceof WeblogPreviewRequest) {
            this.previewRequest = (WeblogPreviewRequest) weblogRequest;
        } else {
            throw new WebloggerException("weblogRequest is not a WeblogPreviewRequest."+
                    "  PreviewPageModel only supports preview requests.");
        }
        
        // look for url strategy
        urlStrategy = (URLStrategy) initData.get("urlStrategy");
        if(urlStrategy == null) {
            urlStrategy = WebloggerFactory.getWeblogger().getUrlStrategy();
    //#PreviewPageModel.java:65: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: void init(Map)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PreviewPageModel.java:65: Warning: method not available
    //#    -- call on URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: void init(Map)
    //#    unanalyzed callee: URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
        }
        
        super.init(initData);
    }    
    //#PreviewPageModel.java:69: end of method: void org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.init(Map)
    
    
    public boolean isPermalink() {
        return (previewRequest.getPreviewEntry() != null ||
    //#PreviewPageModel.java:73: method: bool org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.isPermalink()
    //#PreviewPageModel.java:73: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: bool isPermalink()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#PreviewPageModel.java:73: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: bool isPermalink()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#input(bool isPermalink()): this
    //#input(bool isPermalink()): this.previewRequest
    //#output(bool isPermalink()): return_value
    //#pre[2] (bool isPermalink()): this.previewRequest != null
    //#post(bool isPermalink()): init'ed(return_value)
    //#PreviewPageModel.java:73: end of method: bool org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.isPermalink()
                previewRequest.getWeblogAnchor() != null);
    }
    
    
    public WeblogEntryWrapper getWeblogEntry() {
        
        if(previewRequest.getPreviewEntry() != null ||
    //#PreviewPageModel.java:80: method: WeblogEntryWrapper org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.getWeblogEntry()
    //#PreviewPageModel.java:80: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#PreviewPageModel.java:80: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#input(WeblogEntryWrapper getWeblogEntry()): this
    //#input(WeblogEntryWrapper getWeblogEntry()): this.previewRequest
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1) num objects
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).__Tag
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).pojo
    //#output(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).urlStrategy
    //#output(WeblogEntryWrapper getWeblogEntry()): return_value
    //#new obj(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1)
    //#pre[2] (WeblogEntryWrapper getWeblogEntry()): this.previewRequest != null
    //#post(WeblogEntryWrapper getWeblogEntry()): return_value in Addr_Set{null,&new WeblogEntryWrapper(wrap#1)}
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1) num objects <= 1
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).pojo != null
    //#post(WeblogEntryWrapper getWeblogEntry()): new WeblogEntryWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogEntryWrapper getWeblogEntry()): init'ed(new WeblogEntryWrapper(wrap#1).urlStrategy)
    //#test_vector(WeblogEntryWrapper getWeblogEntry()): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry(...)@80: Inverse{null}, Addr_Set{null}
    //#test_vector(WeblogEntryWrapper getWeblogEntry()): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor(...)@80: Addr_Set{null}, Inverse{null}
                previewRequest.getWeblogAnchor() != null) {
            return WeblogEntryWrapper.wrap(previewRequest.getWeblogEntry(), urlStrategy);
    //#PreviewPageModel.java:82: Warning: method not available
    //#    -- call on WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    unanalyzed callee: WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogEntry()
    //#PreviewPageModel.java:82: ?use of default init
    //#    init'ed(this.urlStrategy)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntryWrapper getWeblogEntry()
    //#    basic block: bb_3
    //#    assertion: init'ed(this.urlStrategy)
    //#    VN: this.urlStrategy
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
        }
        return null;
    //#PreviewPageModel.java:84: end of method: WeblogEntryWrapper org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.getWeblogEntry()
    }
    
    
    /**
     * Override method that returns pager so that we can introduce a custom
     * pager for preview pages which can display things that we don't want
     * available on the "live" weblog, like DRAFT entries.
     */
    public WeblogEntriesPager getWeblogEntriesPager(String catArgument) {
        
        String anchor = previewRequest.getPreviewEntry();
    //#PreviewPageModel.java:95: method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.getWeblogEntriesPager(String)
    //#PreviewPageModel.java:95: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry()
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): "request for messages in locale = "._tainted
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPermalinkPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager.__Dispatch_Table.getEntries()Ljava/util/Map;
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[org/apache/roller/weblogger/util/I18nMessages]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/util/I18nMessages.__Descendant_Table[others]
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/util/I18nMessages.log
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/util/I18nMessages.messagesMap
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): this
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): this.previewRequest
    //#input(WeblogEntriesPager getWeblogEntriesPager(String)): this.urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new ArrayList(AbstractWeblogEntriesPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2).bundle
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#2)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#3)._tainted
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#3) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).more
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1) num objects
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).__Tag
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).catPath
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).currEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).dateString
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).entries
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).entryAnchor
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).length
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).locale
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).messageUtils
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).nextEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).offset
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).page
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).pageLink
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).prevEntry
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).tags
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).urlStrategy
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).weblog
    //#output(WeblogEntriesPager getWeblogEntriesPager(String)): return_value
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new ArrayList(AbstractWeblogEntriesPager#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#1)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#3)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2)
    //#new obj(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1)
    //#pre[4] (WeblogEntriesPager getWeblogEntriesPager(String)): org/apache/roller/weblogger/util/I18nMessages.messagesMap != null
    //#pre[6] (WeblogEntriesPager getWeblogEntriesPager(String)): this.previewRequest != null
    //#pre[7] (WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(this.urlStrategy)
    //#pre[1] (WeblogEntriesPager getWeblogEntriesPager(String)): (soft) org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager.log != null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale(...)@101 == null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale(...)@112 == null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog(...)@101 != null
    //#presumption(WeblogEntriesPager getWeblogEntriesPager(String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog(...)@112 != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): return_value in Addr_Set{&new WeblogEntriesLatestPager(getWeblogEntriesPager#2),&new WeblogEntriesPreviewPager(getWeblogEntriesPager#1)}
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new I18nMessages(getMessages#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): possibly_updated(new I18nMessages(getMessages#2).__Tag)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): possibly_updated(new I18nMessages(getMessages#2).bundle)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): possibly_updated(new I18nMessages(getMessages#2).locale)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#2) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#3) num objects == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new TreeMap(getEntries#3) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesLatestPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).catPath == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).entries == &new TreeMap(getEntries#1)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).entryAnchor)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).length <= 4_294_967_294
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): (soft) new WeblogEntriesLatestPager(getWeblogEntriesPager#2).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).more)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesLatestPager(getWeblogEntriesPager#2).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesLatestPager(getWeblogEntriesPager#2).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): (soft) new WeblogEntriesLatestPager(getWeblogEntriesPager#2).weblog != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1) num objects <= 1
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).__Tag == org/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPreviewPager
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).catPath == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).currEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).dateString)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).entries)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).entryAnchor != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).length)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): (soft) new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).locale == null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).messageUtils != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).nextEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).offset)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).page >= 0
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).pageLink)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).prevEntry)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).tags != null
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).urlStrategy == this.urlStrategy
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): init'ed(new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).urlStrategy)
    //#post(WeblogEntriesPager getWeblogEntriesPager(String)): (soft) new WeblogEntriesPreviewPager(getWeblogEntriesPager#1).weblog != null
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.pagers.WeblogEntriesPermalinkPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryByAnchor
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setData
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.sql.Timestamp
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setPubTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.sql.Timestamp:getTime
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Date
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.pagers.AbstractWeblogEntriesPager
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Locale
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.ResourceBundle:getBundle
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Locale:toString
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.commons.collections.comparators.ReverseComparator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryObjectMap
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.List:size
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.List:get
    //#unanalyzed(WeblogEntriesPager getWeblogEntriesPager(String)): Effects-of-calling:java.util.List:add
    //#test_vector(WeblogEntriesPager getWeblogEntriesPager(String)): org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPreviewEntry(...)@95: Inverse{null}, Addr_Set{null}
        if(anchor == null) {
            anchor = previewRequest.getWeblogAnchor();
    //#PreviewPageModel.java:97: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
        }
        
        if (anchor != null) {
            return new WeblogEntriesPreviewPager(
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog()
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale()
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogPageName()
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogDate()
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getTags()
    //#PreviewPageModel.java:101: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPageNum()
                    urlStrategy,
                    previewRequest.getWeblog(),
                    previewRequest.getLocale(),
                    previewRequest.getWeblogPageName(),
                    anchor,
                    previewRequest.getWeblogDate(),
                    null,
                    previewRequest.getTags(),
                    previewRequest.getPageNum());
        } else {
            return new WeblogEntriesLatestPager(
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblog()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getLocale()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogPageName()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogAnchor()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getWeblogDate()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getTags()
    //#PreviewPageModel.java:112: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPageNum()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
    //#    method: WeblogEntriesPager getWeblogEntriesPager(String)
    //#    unanalyzed callee: int org.apache.roller.weblogger.ui.rendering.util.WeblogPreviewRequest:getPageNum()
    //#PreviewPageModel.java:112: end of method: WeblogEntriesPager org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.getWeblogEntriesPager(String)
                    urlStrategy,
                    previewRequest.getWeblog(),
                    previewRequest.getLocale(),
                    previewRequest.getWeblogPageName(),
                    previewRequest.getWeblogAnchor(),
                    previewRequest.getWeblogDate(),
                    null,
                    previewRequest.getTags(),
                    previewRequest.getPageNum());
        }
        
    }

}
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel]
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getCommentForm()Lorg/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getLocale()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getModelName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getRequestParameter(Ljava/lang/String;)Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getTags()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager()Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPagerByTag(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper;
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.init(Ljava/util/Map;)V
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.isPermalink()Z
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.isSearchResults()Z
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel]
    //#output(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/PageModel.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel]
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): org/apache/roller/weblogger/ui/rendering/model/PageModel.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getCommentForm()Lorg/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getCommentForm
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getLocale()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getLocale
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getModelName()Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getModelName
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getRequestParameter(Ljava/lang/String;)Ljava/lang/String; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getRequestParameter
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getTags()Ljava/util/List; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getTags
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblog
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblogCategory
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager()Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPager(Ljava/lang/String;Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblogEntriesPager
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntriesPagerByTag(Ljava/lang/String;)Lorg/apache/roller/weblogger/ui/rendering/pagers/WeblogEntriesPager; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblogEntriesPagerByTag
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryWrapper; == &getWeblogEntry
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper; == &org/apache/roller/weblogger/ui/rendering/model/PageModel.getWeblogPage
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.init(Ljava/util/Map;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.isPermalink()Z == &isPermalink
    //#post(org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init): __Dispatch_Table.isSearchResults()Z == &org/apache/roller/weblogger/ui/rendering/model/PageModel.isSearchResults
    //#PreviewPageModel.java:: end of method: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel.org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel__static_init
    //#PreviewPageModel.java:: end of class: org.apache.roller.weblogger.ui.rendering.model.PreviewPageModel
