//# 1 errors, 495 messages
//#
/*
    //#WebloggerRuntimeConfig.java:1:1: class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
 * 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.config;

import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.StringWriter;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.config.runtime.RuntimeConfigDefs;
import org.apache.roller.weblogger.config.runtime.RuntimeConfigDefsParser;
import org.apache.roller.weblogger.business.PropertiesManager;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.pojos.RuntimeConfigProperty;


/**
 * This class acts as a convenience gateway for getting property values
 * via the PropertiesManager.  We do this because most calls to the
 * PropertiesManager are just to get the value of a specific property and
 * thus the caller doesn't need the full RuntimeConfigProperty object.
 * 
 * We also provide some methods for converting to different data types.
 */
public class WebloggerRuntimeConfig {
    
    private static Log log = LogFactory.getLog(WebloggerRuntimeConfig.class);
    //#WebloggerRuntimeConfig.java:43: method: org.apache.roller.weblogger.config.WebloggerRuntimeConfig.org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init
    //#WebloggerRuntimeConfig.java:43: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): __Descendant_Table[org/apache/roller/weblogger/config/WebloggerRuntimeConfig]
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): absoluteContextURL
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): configDefs
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): log
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): relativeContextURL
    //#output(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): runtime_config
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): __Descendant_Table[org/apache/roller/weblogger/config/WebloggerRuntimeConfig] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): absoluteContextURL == null
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): configDefs == null
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): relativeContextURL == null
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): init'ed(log)
    //#post(org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init): runtime_config == &".org.apache.roller.weblogger.config.runtimeConfigDefs.xml"
    
    private static String runtime_config = "/org/apache/roller/weblogger/config/runtimeConfigDefs.xml";
    private static RuntimeConfigDefs configDefs = null;
    
    // special case for our context urls
    private static String relativeContextURL = null;
    private static String absoluteContextURL = null;
    //#WebloggerRuntimeConfig.java:50: end of method: org.apache.roller.weblogger.config.WebloggerRuntimeConfig.org.apache.roller.weblogger.config.WebloggerRuntimeConfig__static_init
    
    
    // prevent instantiations
    private WebloggerRuntimeConfig() {}
    //#WebloggerRuntimeConfig.java:54: method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.org.apache.roller.weblogger.config.WebloggerRuntimeConfig()
    //#WebloggerRuntimeConfig.java:54: end of method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.org.apache.roller.weblogger.config.WebloggerRuntimeConfig()
    
    
    /**
     * Retrieve a single property from the PropertiesManager ... returns null
     * if there is an error
     **/
    public static String getProperty(String name) {
        
        String value = null;
    //#WebloggerRuntimeConfig.java:63: method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getProperty(String)
    //#WebloggerRuntimeConfig.java:63: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getProperty(String)
    //#    suspicious precondition index: [5]
    //#    Attribs:  Soft
    //#input(String getProperty(String)): "="._tainted
    //#input(String getProperty(String)): "Trouble accessing property: "._tainted
    //#input(String getProperty(String)): "]"._tainted
    //#input(String getProperty(String)): "fetched property ["._tainted
    //#input(String getProperty(String)): log
    //#input(String getProperty(String)): name
    //#input(String getProperty(String)): name._tainted
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.emf
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(String getProperty(String)): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#output(String getProperty(String)): return_value
    //#pre[1] (String getProperty(String)): log != null
    //#pre[4] (String getProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[5] (String getProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[6] (String getProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#presumption(String getProperty(String)): getWeblogger(...).__Tag in {org/apache/roller/weblogger/business/Weblogger, org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#presumption(String getProperty(String)): getWeblogger(...).propertiesManager != null
    //#presumption(String getProperty(String)): pmgr.__Tag in {org/apache/roller/weblogger/business/PropertiesManager, org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl}
    //#presumption(String getProperty(String)): pmgr.strategy != null
    //#presumption(String getProperty(String)): pmgr.strategy.__Tag == org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy
    //#presumption(String getProperty(String)): pmgr.strategy.emf != null
    //#presumption(String getProperty(String)): pmgr.strategy.threadLocalEntityManager != null
    //#post(String getProperty(String)): init'ed(return_value)
    //#unanalyzed(String getProperty(String)): Effects-of-calling:getWeblogger
    //#unanalyzed(String getProperty(String)): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(String getProperty(String)): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(String getProperty(String)): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(String getProperty(String)): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(String getProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(String getProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(String getProperty(String)): Effects-of-calling:javax.persistence.EntityManager:find
    //#test_vector(String getProperty(String)): javax.persistence.EntityManager:find(...)@216: Addr_Set{null}, Inverse{null}
        
        try {
            PropertiesManager pmgr = WebloggerFactory.getWeblogger().getPropertiesManager();
            RuntimeConfigProperty prop = pmgr.getProperty(name);
            if(prop != null) {
                value = prop.getValue();
    //#WebloggerRuntimeConfig.java:69: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getProperty(String)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
            }
        } catch(Exception e) {
            log.warn("Trouble accessing property: "+name, e);
    //#WebloggerRuntimeConfig.java:72: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:warn(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getProperty(String)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:warn(Object, Throwable)
        }
        
        log.debug("fetched property ["+name+"="+value+"]");
    //#WebloggerRuntimeConfig.java:75: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getProperty(String)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)

        return value;
    //#WebloggerRuntimeConfig.java:77: end of method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getProperty(String)
    }
    
    
    /**
     * Retrieve a property as a boolean ... defaults to false if there is an error
     **/
    public static boolean getBooleanProperty(String name) {
        
        // get the value first, then convert
        String value = WebloggerRuntimeConfig.getProperty(name);
    //#WebloggerRuntimeConfig.java:87: method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getBooleanProperty(String)
    //#WebloggerRuntimeConfig.java:87: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: bool getBooleanProperty(String)
    //#    suspicious precondition index: [5]
    //#    Attribs:  Soft
    //#input(bool getBooleanProperty(String)): "="._tainted
    //#input(bool getBooleanProperty(String)): "Trouble accessing property: "._tainted
    //#input(bool getBooleanProperty(String)): "]"._tainted
    //#input(bool getBooleanProperty(String)): "fetched property ["._tainted
    //#input(bool getBooleanProperty(String)): log
    //#input(bool getBooleanProperty(String)): name
    //#input(bool getBooleanProperty(String)): name._tainted
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool getBooleanProperty(String)): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#output(bool getBooleanProperty(String)): return_value
    //#pre[1] (bool getBooleanProperty(String)): log != null
    //#pre[4] (bool getBooleanProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[5] (bool getBooleanProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[6] (bool getBooleanProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#post(bool getBooleanProperty(String)): init'ed(return_value)
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:getWeblogger
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:getPropertiesManager
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:getProperty
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:javax.persistence.EntityManager:find
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(bool getBooleanProperty(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
        
        if(value == null)
            return false;
        
        return (new Boolean(value)).booleanValue();
    //#WebloggerRuntimeConfig.java:92: end of method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getBooleanProperty(String)
    }
    
    
    /**
     * Retrieve a property as an int ... defaults to -1 if there is an error
     **/
    public static int getIntProperty(String name) {
        
        // get the value first, then convert
        String value = WebloggerRuntimeConfig.getProperty(name);
    //#WebloggerRuntimeConfig.java:102: method: int org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getIntProperty(String)
    //#WebloggerRuntimeConfig.java:102: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: int getIntProperty(String)
    //#    suspicious precondition index: [5]
    //#    Attribs:  Soft
    //#input(int getIntProperty(String)): "="._tainted
    //#input(int getIntProperty(String)): "Trouble accessing property: "._tainted
    //#input(int getIntProperty(String)): "Trouble converting to int: "._tainted
    //#input(int getIntProperty(String)): "]"._tainted
    //#input(int getIntProperty(String)): "fetched property ["._tainted
    //#input(int getIntProperty(String)): log
    //#input(int getIntProperty(String)): name
    //#input(int getIntProperty(String)): name._tainted
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(int getIntProperty(String)): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#output(int getIntProperty(String)): return_value
    //#pre[1] (int getIntProperty(String)): log != null
    //#pre[4] (int getIntProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[5] (int getIntProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[6] (int getIntProperty(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#post(int getIntProperty(String)): init'ed(return_value)
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:getWeblogger
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:getPropertiesManager
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:getProperty
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:javax.persistence.EntityManager:find
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(int getIntProperty(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
        
        if(value == null)
            return -1;
        
        int intval = -1;
        try {
            intval = Integer.parseInt(value);
        } catch(Exception e) {
            log.warn("Trouble converting to int: "+name, e);
    //#WebloggerRuntimeConfig.java:111: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:warn(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: int getIntProperty(String)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:warn(Object, Throwable)
        }
        
        return intval;
    //#WebloggerRuntimeConfig.java:114: end of method: int org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getIntProperty(String)
    }
    
    
    public static RuntimeConfigDefs getRuntimeConfigDefs() {
        
        if(configDefs == null) {
    //#WebloggerRuntimeConfig.java:120: method: RuntimeConfigDefs org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRuntimeConfigDefs()
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): configDefs
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): log
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Descendant_Table[org/apache/roller/weblogger/config/runtime/ConfigDef]
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Dispatch_Table.addDisplayGroup(Lorg/apache/roller/weblogger/config/runtime/DisplayGroup;)Z
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Descendant_Table[org/apache/roller/weblogger/config/runtime/DisplayGroup]
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.addPropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.setKey(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Descendant_Table[org/apache/roller/weblogger/config/runtime/PropertyDef]
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setCols(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setDefaultValue(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setKey(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setRows(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setType(Ljava/lang/String;)V
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Descendant_Table[org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs]
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Dispatch_Table.addConfigDef(Lorg/apache/roller/weblogger/config/runtime/ConfigDef;)Z
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser.__Descendant_Table[org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser]
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser.__Dispatch_Table.unmarshall(Ljava/io/InputStream;)Lorg/apache/roller/weblogger/config/runtime/RuntimeConfigDefs;
    //#input(RuntimeConfigDefs getRuntimeConfigDefs()): runtime_config
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): configDefs
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): new ArrayList(RuntimeConfigDefs#1) num objects
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): new RuntimeConfigDefs(unmarshall#1) num objects
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): new RuntimeConfigDefs(unmarshall#1).__Tag
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): new RuntimeConfigDefs(unmarshall#1).configDefs
    //#output(RuntimeConfigDefs getRuntimeConfigDefs()): return_value
    //#new obj(RuntimeConfigDefs getRuntimeConfigDefs()): new ArrayList(RuntimeConfigDefs#1)
    //#new obj(RuntimeConfigDefs getRuntimeConfigDefs()): new RuntimeConfigDefs(unmarshall#1)
    //#pre[2] (RuntimeConfigDefs getRuntimeConfigDefs()): init'ed(configDefs)
    //#pre[1] (RuntimeConfigDefs getRuntimeConfigDefs()): (soft) log != null
    //#pre[3] (RuntimeConfigDefs getRuntimeConfigDefs()): (soft) init'ed(runtime_config)
    //#presumption(RuntimeConfigDefs getRuntimeConfigDefs()): java.lang.Class:getResourceAsStream(...)@124 != null
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): configDefs == One-of{old configDefs, &new RuntimeConfigDefs(unmarshall#1)}
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): init'ed(configDefs)
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): return_value == configDefs
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): new ArrayList(RuntimeConfigDefs#1) num objects <= 1
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): new RuntimeConfigDefs(unmarshall#1) num objects <= 1
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): init'ed(new RuntimeConfigDefs(unmarshall#1).__Tag)
    //#post(RuntimeConfigDefs getRuntimeConfigDefs()): init'ed(new RuntimeConfigDefs(unmarshall#1).configDefs)
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.Element:getChildText
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:java.util.List:add
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.input.SAXBuilder
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.input.SAXBuilder:build
    //#unanalyzed(RuntimeConfigDefs getRuntimeConfigDefs()): Effects-of-calling:org.jdom.Document:getRootElement
    //#test_vector(RuntimeConfigDefs getRuntimeConfigDefs()): configDefs: Inverse{null}, Addr_Set{null}
            
            // unmarshall the config defs file
            try {
                InputStream is = 
                        WebloggerRuntimeConfig.class.getResourceAsStream(runtime_config);
                
                RuntimeConfigDefsParser parser = new RuntimeConfigDefsParser();
                configDefs = parser.unmarshall(is);
                
            } catch(Exception e) {
                // error while parsing :(
                log.error("Error parsing runtime config defs", e);
    //#WebloggerRuntimeConfig.java:132: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: RuntimeConfigDefs getRuntimeConfigDefs()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
            
        }
        
        return configDefs;
    //#WebloggerRuntimeConfig.java:137: end of method: RuntimeConfigDefs org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRuntimeConfigDefs()
    }
    
    
    /**
     * Get the runtime configuration definitions XML file as a string.
     *
     * This is basically a convenience method for accessing this file.
     * The file itself contains meta-data about what configuration
     * properties we change at runtime via the UI and how to setup
     * the display for editing those properties.
     */
    public static String getRuntimeConfigDefsAsString() {
        
        log.debug("Trying to load runtime config defs file");
    //#WebloggerRuntimeConfig.java:151: method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRuntimeConfigDefsAsString()
    //#WebloggerRuntimeConfig.java:151: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getRuntimeConfigDefsAsString()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(String getRuntimeConfigDefsAsString()): log
    //#input(String getRuntimeConfigDefsAsString()): runtime_config
    //#output(String getRuntimeConfigDefsAsString()): java.io.StringWriter:toString(...)._tainted
    //#output(String getRuntimeConfigDefsAsString()): return_value
    //#new obj(String getRuntimeConfigDefsAsString()): java.io.StringWriter:toString(...)
    //#pre[1] (String getRuntimeConfigDefsAsString()): log != null
    //#pre[2] (String getRuntimeConfigDefsAsString()): (soft) init'ed(runtime_config)
    //#post(String getRuntimeConfigDefsAsString()): java.io.StringWriter:toString(...)._tainted == 0
    //#post(String getRuntimeConfigDefsAsString()): return_value in Addr_Set{&java.io.StringWriter:toString(...),&""}
    //#test_vector(String getRuntimeConfigDefsAsString()): java.io.InputStreamReader:read(...)@160: {-2_147_483_648..0}, {1..4_294_967_295}
        
        try {
            InputStreamReader reader =
                    new InputStreamReader(WebloggerConfig.class.getResourceAsStream(runtime_config));
            StringWriter configString = new StringWriter();
            
            char[] buf = new char[8196];
            int length = 0;
    //#WebloggerRuntimeConfig.java:159: Warning: unused assignment
    //#    unused assignment into length
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getRuntimeConfigDefsAsString()
    //#    Attribs:  Uncertain
            while((length = reader.read(buf)) > 0)
                configString.write(buf, 0, length);
            
            reader.close();
            
            return configString.toString();
        } catch(Exception e) {
            log.error("Error loading runtime config defs file", e);
    //#WebloggerRuntimeConfig.java:167: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getRuntimeConfigDefsAsString()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }
        
        return "";
    //#WebloggerRuntimeConfig.java:170: end of method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRuntimeConfigDefsAsString()
    }
    
    
    /**
     * Special method which sets the non-persisted absolute url to this site.
     *
     * This property is *not* persisted in any way.
     */
    public static void setAbsoluteContextURL(String url) {
        absoluteContextURL = url;
    //#WebloggerRuntimeConfig.java:180: method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.setAbsoluteContextURL(String)
    //#input(void setAbsoluteContextURL(String)): url
    //#output(void setAbsoluteContextURL(String)): absoluteContextURL
    //#post(void setAbsoluteContextURL(String)): absoluteContextURL == url
    //#post(void setAbsoluteContextURL(String)): init'ed(absoluteContextURL)
    }
    //#WebloggerRuntimeConfig.java:181: end of method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.setAbsoluteContextURL(String)
    
    
    /**
     * Get the absolute url to this site.
     *
     * This method will just return the value of the "site.absoluteurl"
     * property if it is set, otherwise it will return the non-persisted
     * value which is set by the InitFilter.
     */
    public static String getAbsoluteContextURL() {
        
        // db prop takes priority if it exists
        String absURL = getProperty("site.absoluteurl");
    //#WebloggerRuntimeConfig.java:194: method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getAbsoluteContextURL()
    //#WebloggerRuntimeConfig.java:194: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: String getAbsoluteContextURL()
    //#    suspicious precondition index: [4]
    //#    Attribs:  Soft
    //#input(String getAbsoluteContextURL()): "="._tainted
    //#input(String getAbsoluteContextURL()): "Trouble accessing property: "._tainted
    //#input(String getAbsoluteContextURL()): "]"._tainted
    //#input(String getAbsoluteContextURL()): "fetched property ["._tainted
    //#input(String getAbsoluteContextURL()): "site.absoluteurl"._tainted
    //#input(String getAbsoluteContextURL()): absoluteContextURL
    //#input(String getAbsoluteContextURL()): log
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(String getAbsoluteContextURL()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#output(String getAbsoluteContextURL()): return_value
    //#pre[2] (String getAbsoluteContextURL()): log != null
    //#pre[1] (String getAbsoluteContextURL()): (soft) init'ed(absoluteContextURL)
    //#pre[3] (String getAbsoluteContextURL()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[4] (String getAbsoluteContextURL()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[5] (String getAbsoluteContextURL()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#post(String getAbsoluteContextURL()): (soft) init'ed(return_value)
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:getWeblogger
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:getPropertiesManager
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:getProperty
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:javax.persistence.EntityManager:find
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(String getAbsoluteContextURL()): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#test_vector(String getAbsoluteContextURL()): java.lang.String:length(...)@195: {0}, {1..4_294_967_295}
        if(absURL != null && absURL.trim().length() > 0) {
            return absURL;
        }
        
        return absoluteContextURL;
    //#WebloggerRuntimeConfig.java:199: end of method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getAbsoluteContextURL()
    }
    
    
    /**
     * Special method which sets the non-persisted relative url to this site.
     *
     * This property is *not* persisted in any way.
     */
    public static void setRelativeContextURL(String url) {
        relativeContextURL = url;
    //#WebloggerRuntimeConfig.java:209: method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.setRelativeContextURL(String)
    //#input(void setRelativeContextURL(String)): url
    //#output(void setRelativeContextURL(String)): relativeContextURL
    //#post(void setRelativeContextURL(String)): relativeContextURL == url
    //#post(void setRelativeContextURL(String)): init'ed(relativeContextURL)
    }
    //#WebloggerRuntimeConfig.java:210: end of method: void org.apache.roller.weblogger.config.WebloggerRuntimeConfig.setRelativeContextURL(String)
    
    
    public static String getRelativeContextURL() {
        return relativeContextURL;
    //#WebloggerRuntimeConfig.java:214: method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRelativeContextURL()
    //#input(String getRelativeContextURL()): relativeContextURL
    //#output(String getRelativeContextURL()): return_value
    //#pre[1] (String getRelativeContextURL()): init'ed(relativeContextURL)
    //#post(String getRelativeContextURL()): return_value == relativeContextURL
    //#post(String getRelativeContextURL()): init'ed(return_value)
    //#WebloggerRuntimeConfig.java:214: end of method: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig.getRelativeContextURL()
    }
    
    
    /**
     * Convenience method for Roller classes trying to determine if a given
     * weblog handle represents the front page blog.
     */
    public static boolean isFrontPageWeblog(String weblogHandle) {
        
        String frontPageHandle = getProperty("site.frontpage.weblog.handle");
    //#WebloggerRuntimeConfig.java:224: method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.isFrontPageWeblog(String)
    //#WebloggerRuntimeConfig.java:224: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: bool isFrontPageWeblog(String)
    //#    suspicious precondition index: [3]
    //#    Attribs:  Soft
    //#input(bool isFrontPageWeblog(String)): "="._tainted
    //#input(bool isFrontPageWeblog(String)): "Trouble accessing property: "._tainted
    //#input(bool isFrontPageWeblog(String)): "]"._tainted
    //#input(bool isFrontPageWeblog(String)): "fetched property ["._tainted
    //#input(bool isFrontPageWeblog(String)): "site.frontpage.weblog.handle"._tainted
    //#input(bool isFrontPageWeblog(String)): log
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool isFrontPageWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isFrontPageWeblog(String)): weblogHandle
    //#output(bool isFrontPageWeblog(String)): return_value
    //#pre[1] (bool isFrontPageWeblog(String)): log != null
    //#pre[2] (bool isFrontPageWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[3] (bool isFrontPageWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[4] (bool isFrontPageWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#post(bool isFrontPageWeblog(String)): init'ed(return_value)
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:getWeblogger
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:getPropertiesManager
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:getProperty
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:javax.persistence.EntityManager:find
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(bool isFrontPageWeblog(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
        
        return (frontPageHandle.equals(weblogHandle));
    //#WebloggerRuntimeConfig.java:226: ?null dereference
    //#    frontPageHandle != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: bool isFrontPageWeblog(String)
    //#    basic block: Entry_BB_1
    //#    assertion: frontPageHandle != null
    //#    VN: getProperty(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#WebloggerRuntimeConfig.java:226: end of method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.isFrontPageWeblog(String)
    }
    
    
    /**
     * Convenience method for Roller classes trying to determine if a given
     * weblog handle represents the front page blog configured to render
     * site-wide data.
     */
    public static boolean isSiteWideWeblog(String weblogHandle) {
        
        boolean siteWide = getBooleanProperty("site.frontpage.weblog.aggregated");
    //#WebloggerRuntimeConfig.java:237: method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.isSiteWideWeblog(String)
    //#WebloggerRuntimeConfig.java:237: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
    //#    method: bool isSiteWideWeblog(String)
    //#    suspicious precondition index: [3]
    //#    Attribs:  Soft
    //#input(bool isSiteWideWeblog(String)): "="._tainted
    //#input(bool isSiteWideWeblog(String)): "Trouble accessing property: "._tainted
    //#input(bool isSiteWideWeblog(String)): "]"._tainted
    //#input(bool isSiteWideWeblog(String)): "fetched property ["._tainted
    //#input(bool isSiteWideWeblog(String)): "site.frontpage.weblog.aggregated"._tainted
    //#input(bool isSiteWideWeblog(String)): "site.frontpage.weblog.handle"._tainted
    //#input(bool isSiteWideWeblog(String)): log
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.__Tag
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.__Tag
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.propertiesManager.strategy.threadLocalEntityManager
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.load(Ljava/lang/Class;Ljava/lang/String;)Ljava/lang/Object;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperty(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/RuntimeConfigProperty;
    //#input(bool isSiteWideWeblog(String)): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(bool isSiteWideWeblog(String)): weblogHandle
    //#output(bool isSiteWideWeblog(String)): return_value
    //#pre[1] (bool isSiteWideWeblog(String)): log != null
    //#pre[2] (bool isSiteWideWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[3] (bool isSiteWideWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[4] (bool isSiteWideWeblog(String)): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#post(bool isSiteWideWeblog(String)): init'ed(return_value)
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:getWeblogger
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:getPropertiesManager
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:getProperty
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:javax.persistence.EntityManager:find
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.Boolean
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(bool isSiteWideWeblog(String)): Effects-of-calling:java.lang.String:equals
        
        return (isFrontPageWeblog(weblogHandle) && siteWide);
    //#WebloggerRuntimeConfig.java:239: end of method: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig.isSiteWideWeblog(String)
    }
    
}
    //#WebloggerRuntimeConfig.java:: end of class: org.apache.roller.weblogger.config.WebloggerRuntimeConfig
