/* 
    P/P   *  Method: org.apache.roller.weblogger.util.MediacastException__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.util;
    20  
    21  import org.apache.roller.weblogger.WebloggerException;
    22  
    23  
    24  /**
    25   * An exception thrown when dealing with Mediacast files.
    26   */
    27  public class MediacastException extends WebloggerException {
    28      
    29      private int errorCode = 0;
    30      private String errorKey = null;
    31      
    32      
             /* 
    P/P       *  Method: void org.apache.roller.weblogger.util.MediacastException(int, String)
              * 
              *  Postconditions:
              *    this.errorCode == code
              *    init'ed(this.errorCode)
              *    this.errorKey == msgKey
              *    init'ed(this.errorKey)
              */
    33      public MediacastException(int code, String msgKey) {
    34          this.errorCode = code;
    35          this.errorKey = msgKey;
    36      }
    37      
    38      
    39      public MediacastException(int code, String msgKey, Throwable t) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.util.MediacastException(int, String, Throwable)
                  * 
                  *  Postconditions:
                  *    this.errorCode == code
                  *    init'ed(this.errorCode)
                  *    this.errorKey == msgKey
                  *    init'ed(this.errorKey)
                  */
    40          super(t);
    41          this.errorCode = code;
    42          this.errorKey = msgKey;
    43      }
    44      
    45      
    46      public int getErrorCode() {
                 /* 
    P/P           *  Method: int getErrorCode()
                  * 
                  *  Preconditions:
                  *    init'ed(this.errorCode)
                  * 
                  *  Postconditions:
                  *    return_value == this.errorCode
                  *    init'ed(return_value)
                  */
    47          return errorCode;
    48      }
    49  
    50      public String getErrorKey() {
                 /* 
    P/P           *  Method: String getErrorKey()
                  * 
                  *  Preconditions:
                  *    init'ed(this.errorKey)
                  * 
                  *  Postconditions:
                  *    return_value == this.errorKey
                  *    init'ed(return_value)
                  */
    51          return errorKey;
    52      }
    53      
    54      public void setErrorCode(int errorCode) {
                 /* 
    P/P           *  Method: void setErrorCode(int)
                  * 
                  *  Postconditions:
                  *    this.errorCode == errorCode
                  *    init'ed(this.errorCode)
                  */
    55          this.errorCode = errorCode;
    56      }
    57  
    58      public void setErrorKey(String errorKey) {
                 /* 
    P/P           *  Method: void setErrorKey(String)
                  * 
                  *  Postconditions:
                  *    this.errorKey == errorKey
                  *    init'ed(this.errorKey)
                  */
    59          this.errorKey = errorKey;
    60      }
    61      
    62  }