/* 
    P/P   *  Method: org.apache.roller.weblogger.config.runtime.DisplayGroup__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   * DisplayGroup.java
    20   *
    21   * Created on June 4, 2005, 1:10 PM
    22   */
    23  
    24  package org.apache.roller.weblogger.config.runtime;
    25  
    26  import java.util.ArrayList;
    27  import java.util.List;
    28  
    29  /**
    30   * Represents a single DisplayGroup.
    31   * Each DisplayGroup may contain 0 or more PropertyDefs.
    32   *
    33   * @author Allen Gilliland
    34   */
    35  public class DisplayGroup {
    36      
    37      private List propertyDefs = null;
    38      private String name = null;
    39      private String key = null;
    40      
    41      
             /* 
    P/P       *  Method: void org.apache.roller.weblogger.config.runtime.DisplayGroup()
              * 
              *  Postconditions:
              *    this.key == null
              *    this.name == null
              *    this.propertyDefs == &new ArrayList(DisplayGroup#1)
              *    new ArrayList(DisplayGroup#1) num objects == 1
              */
    42      public DisplayGroup() {
    43          this.propertyDefs = new ArrayList();
    44      }
    45      
             /* 
    P/P       *  Method: void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)
              * 
              *  Postconditions:
              *    this.key == null
              *    this.name == null
              *    this.propertyDefs == propdefs
              *    init'ed(this.propertyDefs)
              */
    46      public DisplayGroup(List propdefs) {
    47          this.propertyDefs = propdefs;
    48      }
    49      
    50      
    51      public boolean addPropertyDef(PropertyDef prop) {
                 /* 
    P/P           *  Method: bool addPropertyDef(PropertyDef)
                  * 
                  *  Preconditions:
                  *    this.propertyDefs != null
                  * 
                  *  Postconditions:
                  *    init'ed(return_value)
                  */
    52          return this.propertyDefs.add(prop);
    53      }
    54      
    55      public boolean removePropertyDef(PropertyDef prop) {
                 /* 
    P/P           *  Method: bool removePropertyDef(PropertyDef)
                  * 
                  *  Preconditions:
                  *    this.propertyDefs != null
                  * 
                  *  Postconditions:
                  *    init'ed(return_value)
                  */
    56          return this.propertyDefs.remove(prop);
    57      }
    58      
    59  
    60      public String toString() {
                 /* 
    P/P           *  Method: String toString()
                  * 
                  *  Preconditions:
                  *    init'ed(this.key)
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    java.lang.StringBuilder:toString(...)._tainted == this.name._tainted | this.key._tainted
                  *    init'ed(java.lang.StringBuilder:toString(...)._tainted)
                  *    return_value == &java.lang.StringBuilder:toString(...)
                  */
    61          return name+","+key;
    62      }
    63      
    64      public List getPropertyDefs() {
                 /* 
    P/P           *  Method: List getPropertyDefs()
                  * 
                  *  Preconditions:
                  *    init'ed(this.propertyDefs)
                  * 
                  *  Postconditions:
                  *    return_value == this.propertyDefs
                  *    init'ed(return_value)
                  */
    65          return propertyDefs;
    66      }
    67  
    68      public void setPropertyDefs(List propertyDefs) {
                 /* 
    P/P           *  Method: void setPropertyDefs(List)
                  * 
                  *  Postconditions:
                  *    this.propertyDefs == propertyDefs
                  *    init'ed(this.propertyDefs)
                  */
    69          this.propertyDefs = propertyDefs;
    70      }
    71  
    72      public String getName() {
                 /* 
    P/P           *  Method: String getName()
                  * 
                  *  Preconditions:
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    return_value == this.name
                  *    init'ed(return_value)
                  */
    73          return name;
    74      }
    75  
    76      public void setName(String name) {
                 /* 
    P/P           *  Method: void setName(String)
                  * 
                  *  Postconditions:
                  *    this.name == name
                  *    init'ed(this.name)
                  */
    77          this.name = name;
    78      }
    79  
    80      public String getKey() {
                 /* 
    P/P           *  Method: String getKey()
                  * 
                  *  Preconditions:
                  *    init'ed(this.key)
                  * 
                  *  Postconditions:
                  *    return_value == this.key
                  *    init'ed(return_value)
                  */
    81          return key;
    82      }
    83  
    84      public void setKey(String key) {
                 /* 
    P/P           *  Method: void setKey(String)
                  * 
                  *  Postconditions:
                  *    this.key == key
                  *    init'ed(this.key)
                  */
    85          this.key = key;
    86      }
    87      
    88      
    89  }