//# 0 errors, 63 messages
//#
/*
    //#StartupException.java:1:1: class: org.apache.roller.weblogger.business.startup.StartupException
    //#StartupException.java:1:1: method: org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException__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.business.startup;

import java.util.Collections;
import java.util.List;
import org.apache.roller.weblogger.WebloggerException;


/**
 * Exception generated from Weblogger startup process.
 */
public class StartupException extends WebloggerException {
    
    private final List<String> startupLog;
    
    
    public StartupException(String msg) {
        super(msg);
    //#StartupException.java:35: method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String)
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String)): java.util.Collections.EMPTY_LIST
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String)): msg
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String)): this
    //#output(void org.apache.roller.weblogger.business.startup.StartupException(String)): this.startupLog
    //#presumption(void org.apache.roller.weblogger.business.startup.StartupException(String)): init'ed(java.util.Collections.EMPTY_LIST)
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String)): this.startupLog == java.util.Collections.EMPTY_LIST
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String)): (soft) init'ed(this.startupLog)
    //#unanalyzed(void org.apache.roller.weblogger.business.startup.StartupException(String)): Effects-of-calling:org.apache.roller.RollerException
        this.startupLog = Collections.EMPTY_LIST;
    }
    //#StartupException.java:37: end of method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String)
    
    public StartupException(String msg, Throwable t) {
        super(msg, t);
    //#StartupException.java:40: method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): java.util.Collections.EMPTY_LIST
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): msg
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): t
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): this
    //#output(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): this.startupLog
    //#presumption(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): init'ed(java.util.Collections.EMPTY_LIST)
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): this.startupLog == java.util.Collections.EMPTY_LIST
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): (soft) init'ed(this.startupLog)
    //#unanalyzed(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)): Effects-of-calling:org.apache.roller.RollerException
        this.startupLog = Collections.EMPTY_LIST;
    }
    //#StartupException.java:42: end of method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)
    
    public StartupException(String msg, List<String> log) {
        super(msg);
    //#StartupException.java:45: method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, List)
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): java.util.Collections.EMPTY_LIST
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): log
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): msg
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): this
    //#output(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): this.startupLog
    //#presumption(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): init'ed(java.util.Collections.EMPTY_LIST)
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): this.startupLog == One-of{log, java.util.Collections.EMPTY_LIST}
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): (soft) init'ed(this.startupLog)
    //#unanalyzed(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): Effects-of-calling:org.apache.roller.RollerException
    //#test_vector(void org.apache.roller.weblogger.business.startup.StartupException(String, List)): log: Addr_Set{null}, Inverse{null}
        
        if(log != null) {
            this.startupLog = log;
        } else {
            this.startupLog = Collections.EMPTY_LIST;
        }
    }
    //#StartupException.java:52: end of method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, List)
    
    public StartupException(String msg, Throwable t, List<String> log) {
        super(msg, t);
    //#StartupException.java:55: method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): java.util.Collections.EMPTY_LIST
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): log
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): msg
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): t
    //#input(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): this
    //#output(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): this.startupLog
    //#presumption(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): init'ed(java.util.Collections.EMPTY_LIST)
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): this.startupLog == One-of{log, java.util.Collections.EMPTY_LIST}
    //#post(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): (soft) init'ed(this.startupLog)
    //#unanalyzed(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): Effects-of-calling:org.apache.roller.RollerException
    //#test_vector(void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)): log: Addr_Set{null}, Inverse{null}
        
        if(log != null) {
            this.startupLog = log;
        } else {
            this.startupLog = Collections.EMPTY_LIST;
        }
    }
    //#StartupException.java:62: end of method: void org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)
    
    
    public List<String> getStartupLog() {
        return startupLog;
    //#StartupException.java:66: method: List org.apache.roller.weblogger.business.startup.StartupException.getStartupLog()
    //#input(List getStartupLog()): this
    //#input(List getStartupLog()): this.startupLog
    //#output(List getStartupLog()): return_value
    //#post(List getStartupLog()): return_value == this.startupLog
    //#post(List getStartupLog()): init'ed(return_value)
    //#StartupException.java:66: end of method: List org.apache.roller.weblogger.business.startup.StartupException.getStartupLog()
    }
    
}
    //#output(org.apache.roller.weblogger.business.startup.StartupException__static_init): __Descendant_Table[org/apache/roller/weblogger/business/startup/StartupException]
    //#output(org.apache.roller.weblogger.business.startup.StartupException__static_init): __Dispatch_Table.getStartupLog()Ljava/util/List;
    //#output(org.apache.roller.weblogger.business.startup.StartupException__static_init): org/apache/roller/weblogger/WebloggerException.__Descendant_Table[org/apache/roller/weblogger/business/startup/StartupException]
    //#post(org.apache.roller.weblogger.business.startup.StartupException__static_init): __Descendant_Table[org/apache/roller/weblogger/business/startup/StartupException] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.startup.StartupException__static_init): org/apache/roller/weblogger/WebloggerException.__Descendant_Table[org/apache/roller/weblogger/business/startup/StartupException] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.startup.StartupException__static_init): __Dispatch_Table.getStartupLog()Ljava/util/List; == &getStartupLog
    //#StartupException.java:: end of method: org.apache.roller.weblogger.business.startup.StartupException.org.apache.roller.weblogger.business.startup.StartupException__static_init
    //#StartupException.java:: end of class: org.apache.roller.weblogger.business.startup.StartupException
