File Source: TagStat.java

     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  package org.apache.roller.weblogger.pojos;
    19  
    20  
    21  /**
    22   * Tag bean.
    23   * 
    24   * @author Elias Torres
    25   * 
    26   */
    27  public class TagStat implements java.io.Serializable {
    28  
    29      private static final long serialVersionUID = 1142064841813545198L;
    30  
    31      private String name;
    32  
    33      private int count;
    34      
    35      private int intensity;
    36  
    37      public TagStat() {
    38      }
    39  
    40      public String getName() {
                 /* 
    P/P           *  Method: String getName()
                  * 
                  *  Preconditions:
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    return_value == this.name
                  *    init'ed(return_value)
                  */
    41          return this.name;
    42      }
    43  
    44      public void setName(String name) {
                 /* 
    P/P           *  Method: void setName(String)
                  * 
                  *  Postconditions:
                  *    this.name == name
                  *    init'ed(this.name)
                  */
    45          this.name = name;
    46      }
    47  
    48      public int getCount() {
                 /* 
    P/P           *  Method: int getCount()
                  * 
                  *  Preconditions:
                  *    init'ed(this.count)
                  * 
                  *  Postconditions:
                  *    return_value == this.count
                  *    init'ed(return_value)
                  */
    49          return this.count;
    50      }
    51  
    52      public void setCount(int count) {
                 /* 
    P/P           *  Method: void setCount(int)
                  * 
                  *  Postconditions:
                  *    this.count == count
                  *    init'ed(this.count)
                  */
    53          this.count = count;
    54      }
    55  
    56      public String toString() {
                 /* 
    P/P           *  Method: String toString()
                  * 
                  *  Preconditions:
                  *    init'ed(this.count)
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    java.lang.StringBuffer:toString(...)._tainted == 0
                  *    return_value == &java.lang.StringBuffer:toString(...)
                  */
    57          StringBuffer str = new StringBuffer("{");
    58  
    59          str.append("name=" + name + " " + "count=" + count);
    60          str.append('}');
    61  
    62          return (str.toString());
    63      }
    64  
    65      public int getIntensity() {
                 /* 
    P/P           *  Method: int getIntensity()
                  * 
                  *  Preconditions:
                  *    init'ed(this.intensity)
                  * 
                  *  Postconditions:
                  *    return_value == this.intensity
                  *    init'ed(return_value)
                  */
    66          return intensity;
    67      }
    68  
    69      public void setIntensity(int intensity) {
                 /* 
    P/P           *  Method: void setIntensity(int)
                  * 
                  *  Postconditions:
                  *    this.intensity == intensity
                  *    init'ed(this.intensity)
                  */
    70          this.intensity = intensity;
    71      }
    72  
    73  }








SofCheck Inspector Build Version : 2.18479
TagStat.java 2009-Jan-02 14:25:00
TagStat.class 2009-Sep-04 03:12:32