/* 
    P/P   *  Method: org.apache.roller.weblogger.business.startup.StartupException__static_init
          */
     1  /*
     2   * Licensed to the Apache Software Foundation (ASF) under one or more
     3   *  contributor license agreements.  The ASF licenses this file to You
     4   * under the Apache License, Version 2.0 (the "License"); you may not
     5   * use this file except in compliance with the License.
     6   * You may obtain a copy of the License at
     7   *
     8   *     http://www.apache.org/licenses/LICENSE-2.0
     9   *
    10   * Unless required by applicable law or agreed to in writing, software
    11   * distributed under the License is distributed on an "AS IS" BASIS,
    12   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    13   * See the License for the specific language governing permissions and
    14   * limitations under the License.  For additional information regarding
    15   * copyright in this work, please see the NOTICE file in the top level
    16   * directory of this distribution.
    17   */
    18  
    19  package org.apache.roller.weblogger.business.startup;
    20  
    21  import java.util.Collections;
    22  import java.util.List;
    23  import org.apache.roller.weblogger.WebloggerException;
    24  
    25  
    26  /**
    27   * Exception generated from Weblogger startup process.
    28   */
    29  public class StartupException extends WebloggerException {
    30      
    31      private final List<String> startupLog;
    32      
    33      
    34      public StartupException(String msg) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.business.startup.StartupException(String)
                  * 
                  *  Presumptions:
                  *    init'ed(java.util.Collections.EMPTY_LIST)
                  * 
                  *  Postconditions:
                  *    this.startupLog == java.util.Collections.EMPTY_LIST
                  *    (soft) init'ed(this.startupLog)
                  */
    35          super(msg);
    36          this.startupLog = Collections.EMPTY_LIST;
    37      }
    38      
    39      public StartupException(String msg, Throwable t) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable)
                  * 
                  *  Presumptions:
                  *    init'ed(java.util.Collections.EMPTY_LIST)
                  * 
                  *  Postconditions:
                  *    this.startupLog == java.util.Collections.EMPTY_LIST
                  *    (soft) init'ed(this.startupLog)
                  */
    40          super(msg, t);
    41          this.startupLog = Collections.EMPTY_LIST;
    42      }
    43      
    44      public StartupException(String msg, List<String> log) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.business.startup.StartupException(String, List)
                  * 
                  *  Presumptions:
                  *    init'ed(java.util.Collections.EMPTY_LIST)
                  * 
                  *  Postconditions:
                  *    this.startupLog == One-of{log, java.util.Collections.EMPTY_LIST}
                  *    (soft) init'ed(this.startupLog)
                  * 
                  *  Test Vectors:
                  *    log: Addr_Set{null}, Inverse{null}
                  */
    45          super(msg);
    46          
    47          if(log != null) {
    48              this.startupLog = log;
    49          } else {
    50              this.startupLog = Collections.EMPTY_LIST;
    51          }
    52      }
    53      
    54      public StartupException(String msg, Throwable t, List<String> log) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.business.startup.StartupException(String, Throwable, List)
                  * 
                  *  Presumptions:
                  *    init'ed(java.util.Collections.EMPTY_LIST)
                  * 
                  *  Postconditions:
                  *    this.startupLog == One-of{log, java.util.Collections.EMPTY_LIST}
                  *    (soft) init'ed(this.startupLog)
                  * 
                  *  Test Vectors:
                  *    log: Addr_Set{null}, Inverse{null}
                  */
    55          super(msg, t);
    56          
    57          if(log != null) {
    58              this.startupLog = log;
    59          } else {
    60              this.startupLog = Collections.EMPTY_LIST;
    61          }
    62      }
    63      
    64      
    65      public List<String> getStartupLog() {
                 /* 
    P/P           *  Method: List getStartupLog()
                  * 
                  *  Postconditions:
                  *    return_value == this.startupLog
                  *    init'ed(return_value)
                  */
    66          return startupLog;
    67      }
    68      
    69  }