//# 0 errors, 84 messages
//#
/*
    //#TagStat.java:1:1: class: org.apache.roller.weblogger.pojos.TagStat
    //#TagStat.java:1:1: method: org.apache.roller.weblogger.pojos.TagStat.org.apache.roller.weblogger.pojos.TagStat__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.pojos;


/**
 * Tag bean.
 * 
 * @author Elias Torres
 * 
 */
public class TagStat implements java.io.Serializable {

    private static final long serialVersionUID = 1142064841813545198L;

    private String name;

    private int count;
    
    private int intensity;

    public TagStat() {
    //#TagStat.java:37: method: void org.apache.roller.weblogger.pojos.TagStat.org.apache.roller.weblogger.pojos.TagStat()
    }
    //#TagStat.java:38: end of method: void org.apache.roller.weblogger.pojos.TagStat.org.apache.roller.weblogger.pojos.TagStat()

    public String getName() {
        return this.name;
    //#TagStat.java:41: method: String org.apache.roller.weblogger.pojos.TagStat.getName()
    //#input(String getName()): this
    //#input(String getName()): this.name
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(this.name)
    //#post(String getName()): return_value == this.name
    //#post(String getName()): init'ed(return_value)
    //#TagStat.java:41: end of method: String org.apache.roller.weblogger.pojos.TagStat.getName()
    }

    public void setName(String name) {
        this.name = name;
    //#TagStat.java:45: method: void org.apache.roller.weblogger.pojos.TagStat.setName(String)
    //#input(void setName(String)): name
    //#input(void setName(String)): this
    //#output(void setName(String)): this.name
    //#post(void setName(String)): this.name == name
    //#post(void setName(String)): init'ed(this.name)
    }
    //#TagStat.java:46: end of method: void org.apache.roller.weblogger.pojos.TagStat.setName(String)

    public int getCount() {
        return this.count;
    //#TagStat.java:49: method: int org.apache.roller.weblogger.pojos.TagStat.getCount()
    //#input(int getCount()): this
    //#input(int getCount()): this.count
    //#output(int getCount()): return_value
    //#pre[2] (int getCount()): init'ed(this.count)
    //#post(int getCount()): return_value == this.count
    //#post(int getCount()): init'ed(return_value)
    //#TagStat.java:49: end of method: int org.apache.roller.weblogger.pojos.TagStat.getCount()
    }

    public void setCount(int count) {
        this.count = count;
    //#TagStat.java:53: method: void org.apache.roller.weblogger.pojos.TagStat.setCount(int)
    //#input(void setCount(int)): count
    //#input(void setCount(int)): this
    //#output(void setCount(int)): this.count
    //#post(void setCount(int)): this.count == count
    //#post(void setCount(int)): init'ed(this.count)
    }
    //#TagStat.java:54: end of method: void org.apache.roller.weblogger.pojos.TagStat.setCount(int)

    public String toString() {
        StringBuffer str = new StringBuffer("{");
    //#TagStat.java:57: method: String org.apache.roller.weblogger.pojos.TagStat.toString()
    //#input(String toString()): " "._tainted
    //#input(String toString()): "count="._tainted
    //#input(String toString()): "name="._tainted
    //#input(String toString()): "{"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.count
    //#input(String toString()): this.name
    //#input(String toString()): this.name._tainted
    //#output(String toString()): java.lang.StringBuffer:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuffer:toString(...)
    //#pre[2] (String toString()): init'ed(this.count)
    //#pre[3] (String toString()): init'ed(this.name)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == 0
    //#post(String toString()): return_value == &java.lang.StringBuffer:toString(...)

        str.append("name=" + name + " " + "count=" + count);
        str.append('}');

        return (str.toString());
    //#TagStat.java:62: end of method: String org.apache.roller.weblogger.pojos.TagStat.toString()
    }

    public int getIntensity() {
        return intensity;
    //#TagStat.java:66: method: int org.apache.roller.weblogger.pojos.TagStat.getIntensity()
    //#input(int getIntensity()): this
    //#input(int getIntensity()): this.intensity
    //#output(int getIntensity()): return_value
    //#pre[2] (int getIntensity()): init'ed(this.intensity)
    //#post(int getIntensity()): return_value == this.intensity
    //#post(int getIntensity()): init'ed(return_value)
    //#TagStat.java:66: end of method: int org.apache.roller.weblogger.pojos.TagStat.getIntensity()
    }

    public void setIntensity(int intensity) {
        this.intensity = intensity;
    //#TagStat.java:70: method: void org.apache.roller.weblogger.pojos.TagStat.setIntensity(int)
    //#input(void setIntensity(int)): intensity
    //#input(void setIntensity(int)): this
    //#output(void setIntensity(int)): this.intensity
    //#post(void setIntensity(int)): this.intensity == intensity
    //#post(void setIntensity(int)): init'ed(this.intensity)
    }
    //#TagStat.java:71: end of method: void org.apache.roller.weblogger.pojos.TagStat.setIntensity(int)

}
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/TagStat]
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getCount()I
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getIntensity()I
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setCount(I)V
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setIntensity(I)V
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/TagStat] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getCount()I == &getCount
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getIntensity()I == &getIntensity
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setCount(I)V == &setCount
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setIntensity(I)V == &setIntensity
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.pojos.TagStat__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#TagStat.java:: end of method: org.apache.roller.weblogger.pojos.TagStat.org.apache.roller.weblogger.pojos.TagStat__static_init
    //#TagStat.java:: end of class: org.apache.roller.weblogger.pojos.TagStat
