1  /*
     2   * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
     3   *
     4   * Permission is hereby granted, free of charge, to any person obtaining a copy
     5   * of this software and associated documentation files (the "Software"), to deal
     6   * in the Software without restriction, including without limitation the rights
     7   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     8   * copies of the Software, and to permit persons to whom the Software is
     9   * furnished to do so, subject to the following conditions:
    10   *
    11   * The above copyright notice and this permission notice shall be included in
    12   * all copies or substantial portions of the Software.
    13   *
    14   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    15   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    16   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
    17   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    18   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    19   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    20   * SOFTWARE.
    21   */
    22  
    23  package com.dmdirc.logger;
    24  
    25  /**
    26   * Error fixed status.
    27   */
         /* 
    P/P   *  Method: ErrorFixedStatus valueOf(String)
          * 
          *  Postconditions:
          *    init'ed(return_value)
          */
    28  public enum ErrorFixedStatus {
    29      /** Not applicable. */
             /* 
    P/P       *  Method: com.dmdirc.logger.ErrorFixedStatus__static_init
              * 
              *  Postconditions:
              *    $VALUES == &new ErrorFixedStatus[](ErrorFixedStatus__static_init#8)
              *    FIXED == &new ErrorFixedStatus(ErrorFixedStatus__static_init#3)
              *    $VALUES[2] == &new ErrorFixedStatus(ErrorFixedStatus__static_init#3)
              *    INVALID == &new ErrorFixedStatus(ErrorFixedStatus__static_init#4)
              *    $VALUES[3] == &new ErrorFixedStatus(ErrorFixedStatus__static_init#4)
              *    KNOWN == &new ErrorFixedStatus(ErrorFixedStatus__static_init#2)
              *    $VALUES[1] == &new ErrorFixedStatus(ErrorFixedStatus__static_init#2)
              *    NEW == &new ErrorFixedStatus(ErrorFixedStatus__static_init#1)
              *    $VALUES[0] == &new ErrorFixedStatus(ErrorFixedStatus__static_init#1)
              *    TOOOLD == &new ErrorFixedStatus(ErrorFixedStatus__static_init#6)
              *    ...
              */
    30      NEW("New bug"),
    31      /** Finished state. */
    32      KNOWN("Known bug"),
    33      /** Sending state. */
    34      FIXED("Fixed"), 
    35      /** Waiting state. */
    36      INVALID("Invalid bug"),
    37      /** Unreported. */
    38      UNREPORTED("Unreported"),
    39      /** Client too old. */
    40      TOOOLD("Client too old - please update"),
    41      /** Unknown state. */
    42      UNKNOWN("Unknown status");
    43      
    44      /** toString value of the item. */
    45      private String value;
    46      
    47      /** 
    48       * Instantiates the enum. 
    49       *
    50       * @param value toString value
    51       */
             /* 
    P/P       *  Method: void com.dmdirc.logger.ErrorFixedStatus(String, int, String)
              * 
              *  Postconditions:
              *    this.value == value
              *    init'ed(this.value)
              */
    52      ErrorFixedStatus(final String value) {
    53          this.value = value;
    54      }
    55      
    56      /** {@inheritDoc} */
    57      @Override
    58      public String toString() {
                 /* 
    P/P           *  Method: String toString()
                  * 
                  *  Preconditions:
                  *    init'ed(this.value)
                  * 
                  *  Postconditions:
                  *    return_value == this.value
                  *    init'ed(return_value)
                  */
    59          return value;
    60      }
    61  }