//# 0 errors, 124 messages
//#
/*
    //#DisplayGroup.java:1:1: class: org.apache.roller.weblogger.config.runtime.DisplayGroup
    //#DisplayGroup.java:1:1: method: org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup__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.
*/
/*
 * DisplayGroup.java
 *
 * Created on June 4, 2005, 1:10 PM
 */

package org.apache.roller.weblogger.config.runtime;

import java.util.ArrayList;
import java.util.List;

/**
 * Represents a single DisplayGroup.
 * Each DisplayGroup may contain 0 or more PropertyDefs.
 *
 * @author Allen Gilliland
 */
public class DisplayGroup {
    
    private List propertyDefs = null;
    private String name = null;
    private String key = null;
    
    
    public DisplayGroup() {
    //#DisplayGroup.java:42: method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup()
    //#input(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): new ArrayList(DisplayGroup#1) num objects
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.key
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.name
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.propertyDefs
    //#new obj(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): new ArrayList(DisplayGroup#1)
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.key == null
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.name == null
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): this.propertyDefs == &new ArrayList(DisplayGroup#1)
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup()): new ArrayList(DisplayGroup#1) num objects == 1
        this.propertyDefs = new ArrayList();
    }
    //#DisplayGroup.java:44: end of method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup()
    
    public DisplayGroup(List propdefs) {
    //#DisplayGroup.java:46: method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup(List)
    //#input(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): propdefs
    //#input(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.key
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.name
    //#output(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.propertyDefs
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.key == null
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.name == null
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): this.propertyDefs == propdefs
    //#post(void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)): init'ed(this.propertyDefs)
        this.propertyDefs = propdefs;
    }
    //#DisplayGroup.java:48: end of method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup(List)
    
    
    public boolean addPropertyDef(PropertyDef prop) {
        return this.propertyDefs.add(prop);
    //#DisplayGroup.java:52: method: bool org.apache.roller.weblogger.config.runtime.DisplayGroup.addPropertyDef(PropertyDef)
    //#input(bool addPropertyDef(PropertyDef)): prop
    //#input(bool addPropertyDef(PropertyDef)): this
    //#input(bool addPropertyDef(PropertyDef)): this.propertyDefs
    //#output(bool addPropertyDef(PropertyDef)): return_value
    //#pre[3] (bool addPropertyDef(PropertyDef)): this.propertyDefs != null
    //#post(bool addPropertyDef(PropertyDef)): init'ed(return_value)
    //#DisplayGroup.java:52: end of method: bool org.apache.roller.weblogger.config.runtime.DisplayGroup.addPropertyDef(PropertyDef)
    }
    
    public boolean removePropertyDef(PropertyDef prop) {
        return this.propertyDefs.remove(prop);
    //#DisplayGroup.java:56: method: bool org.apache.roller.weblogger.config.runtime.DisplayGroup.removePropertyDef(PropertyDef)
    //#input(bool removePropertyDef(PropertyDef)): prop
    //#input(bool removePropertyDef(PropertyDef)): this
    //#input(bool removePropertyDef(PropertyDef)): this.propertyDefs
    //#output(bool removePropertyDef(PropertyDef)): return_value
    //#pre[3] (bool removePropertyDef(PropertyDef)): this.propertyDefs != null
    //#post(bool removePropertyDef(PropertyDef)): init'ed(return_value)
    //#DisplayGroup.java:56: end of method: bool org.apache.roller.weblogger.config.runtime.DisplayGroup.removePropertyDef(PropertyDef)
    }
    

    public String toString() {
        return name+","+key;
    //#DisplayGroup.java:61: method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.toString()
    //#input(String toString()): ","._tainted
    //#input(String toString()): this
    //#input(String toString()): this.key
    //#input(String toString()): this.key._tainted
    //#input(String toString()): this.name
    //#input(String toString()): this.name._tainted
    //#output(String toString()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuilder:toString(...)
    //#pre[2] (String toString()): init'ed(this.key)
    //#pre[4] (String toString()): init'ed(this.name)
    //#post(String toString()): java.lang.StringBuilder:toString(...)._tainted == this.name._tainted | this.key._tainted
    //#post(String toString()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String toString()): return_value == &java.lang.StringBuilder:toString(...)
    //#DisplayGroup.java:61: end of method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.toString()
    }
    
    public List getPropertyDefs() {
        return propertyDefs;
    //#DisplayGroup.java:65: method: List org.apache.roller.weblogger.config.runtime.DisplayGroup.getPropertyDefs()
    //#input(List getPropertyDefs()): this
    //#input(List getPropertyDefs()): this.propertyDefs
    //#output(List getPropertyDefs()): return_value
    //#pre[2] (List getPropertyDefs()): init'ed(this.propertyDefs)
    //#post(List getPropertyDefs()): return_value == this.propertyDefs
    //#post(List getPropertyDefs()): init'ed(return_value)
    //#DisplayGroup.java:65: end of method: List org.apache.roller.weblogger.config.runtime.DisplayGroup.getPropertyDefs()
    }

    public void setPropertyDefs(List propertyDefs) {
        this.propertyDefs = propertyDefs;
    //#DisplayGroup.java:69: method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.setPropertyDefs(List)
    //#input(void setPropertyDefs(List)): propertyDefs
    //#input(void setPropertyDefs(List)): this
    //#output(void setPropertyDefs(List)): this.propertyDefs
    //#post(void setPropertyDefs(List)): this.propertyDefs == propertyDefs
    //#post(void setPropertyDefs(List)): init'ed(this.propertyDefs)
    }
    //#DisplayGroup.java:70: end of method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.setPropertyDefs(List)

    public String getName() {
        return name;
    //#DisplayGroup.java:73: method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.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)
    //#DisplayGroup.java:73: end of method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.getName()
    }

    public void setName(String name) {
        this.name = name;
    //#DisplayGroup.java:77: method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.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)
    }
    //#DisplayGroup.java:78: end of method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.setName(String)

    public String getKey() {
        return key;
    //#DisplayGroup.java:81: method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.getKey()
    //#input(String getKey()): this
    //#input(String getKey()): this.key
    //#output(String getKey()): return_value
    //#pre[2] (String getKey()): init'ed(this.key)
    //#post(String getKey()): return_value == this.key
    //#post(String getKey()): init'ed(return_value)
    //#DisplayGroup.java:81: end of method: String org.apache.roller.weblogger.config.runtime.DisplayGroup.getKey()
    }

    public void setKey(String key) {
        this.key = key;
    //#DisplayGroup.java:85: method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.setKey(String)
    //#input(void setKey(String)): key
    //#input(void setKey(String)): this
    //#output(void setKey(String)): this.key
    //#post(void setKey(String)): this.key == key
    //#post(void setKey(String)): init'ed(this.key)
    }
    //#DisplayGroup.java:86: end of method: void org.apache.roller.weblogger.config.runtime.DisplayGroup.setKey(String)
    
    
}
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Descendant_Table[org/apache/roller/weblogger/config/runtime/DisplayGroup]
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.addPropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getKey()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getPropertyDefs()Ljava/util/List;
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.removePropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setKey(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setPropertyDefs(Ljava/util/List;)V
    //#output(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Descendant_Table[org/apache/roller/weblogger/config/runtime/DisplayGroup] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.addPropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z == &addPropertyDef
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getKey()Ljava/lang/String; == &getKey
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.getPropertyDefs()Ljava/util/List; == &getPropertyDefs
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.removePropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z == &removePropertyDef
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setKey(Ljava/lang/String;)V == &setKey
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.setPropertyDefs(Ljava/util/List;)V == &setPropertyDefs
    //#post(org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#DisplayGroup.java:: end of method: org.apache.roller.weblogger.config.runtime.DisplayGroup.org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init
    //#DisplayGroup.java:: end of class: org.apache.roller.weblogger.config.runtime.DisplayGroup
