//# 1 errors, 345 messages
//#
/*
    //#PlanetGroups.java:1:1: class: org.apache.roller.weblogger.planet.ui.PlanetGroups
 * Copyright 2005 Sun Microsystems, Inc.
 *
 * Licensed 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.
 */

package org.apache.roller.weblogger.planet.ui;

import java.util.ArrayList;
import java.util.Collections;
import java.util.Iterator;
import java.util.List;
import org.apache.commons.lang.StringUtils;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.RollerException;
import org.apache.roller.planet.business.PlanetFactory;
import org.apache.roller.planet.business.PlanetManager;
import org.apache.roller.planet.pojos.PlanetGroup;


/**
 * Manage planet groups.
 */
public class PlanetGroups extends PlanetUIAction {
    
    private static Log log = LogFactory.getLog(PlanetGroups.class);
    //#PlanetGroups.java:37: method: org.apache.roller.weblogger.planet.ui.PlanetGroups.org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init
    //#PlanetGroups.java:37: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.delete()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.execute()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getGroup()Lorg/apache/roller/planet/pojos/PlanetGroup;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getGroups()Ljava/util/List;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getPlanet()Lorg/apache/roller/planet/pojos/Planet;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.isWeblogRequired()Z
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.myPrepare()V
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.myValidate()V
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.requiredUserRole()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.save()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.setBean(Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;)V
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.setGroup(Lorg/apache/roller/planet/pojos/PlanetGroup;)V
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): log
    //#output(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): org/apache/roller/weblogger/planet/ui/PlanetUIAction.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): org/apache/roller/weblogger/planet/ui/PlanetUIAction.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.delete()Ljava/lang/String; == &delete
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.execute()Ljava/lang/String; == &execute
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean; == &getBean
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getGroup()Lorg/apache/roller/planet/pojos/PlanetGroup; == &getGroup
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getGroups()Ljava/util/List; == &getGroups
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.getPlanet()Lorg/apache/roller/planet/pojos/Planet; == &org/apache/roller/weblogger/planet/ui/PlanetUIAction.getPlanet
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.isWeblogRequired()Z == &isWeblogRequired
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.myPrepare()V == &myPrepare
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.myValidate()V == &myValidate
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.requiredUserRole()Ljava/lang/String; == &requiredUserRole
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.save()Ljava/lang/String; == &save
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.setBean(Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;)V == &setBean
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): __Dispatch_Table.setGroup(Lorg/apache/roller/planet/pojos/PlanetGroup;)V == &setGroup
    //#post(org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init): init'ed(log)
    //#PlanetGroups.java:37: end of method: org.apache.roller.weblogger.planet.ui.PlanetGroups.org.apache.roller.weblogger.planet.ui.PlanetGroups__static_init
    
    // a bean to manage submitted data
    private PlanetGroupsBean bean = new PlanetGroupsBean();
    
    // the planet group we are working on
    private PlanetGroup group = null;
    
    
    public PlanetGroups() {
    //#PlanetGroups.java:46: method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.org.apache.roller.weblogger.planet.ui.PlanetGroups()
    //#input(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): new PlanetGroupsBean(PlanetGroups#1) num objects
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.__Tag
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.handle
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.id
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.title
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.actionName
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.desiredMenu
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.group
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.pageTitle
    //#output(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.planet
    //#new obj(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): new PlanetGroupsBean(PlanetGroups#1)
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.actionName == &"planetGroups"
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean == &new PlanetGroupsBean(PlanetGroups#1)
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.desiredMenu == &"admin"
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.group == null
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.planet == null
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.handle == null
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.id == null
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.title == null
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.pageTitle == &"planetGroups.pagetitle"
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): new PlanetGroupsBean(PlanetGroups#1) num objects == 1
    //#post(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#unanalyzed(void org.apache.roller.weblogger.planet.ui.PlanetGroups()): Effects-of-calling:org.apache.roller.weblogger.ui.struts2.util.UIAction
        this.actionName = "planetGroups";
        this.desiredMenu = "admin";
        this.pageTitle = "planetGroups.pagetitle";
    }
    //#PlanetGroups.java:50: end of method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.org.apache.roller.weblogger.planet.ui.PlanetGroups()
    
    
    @Override
    public String requiredUserRole() {
        return "admin";
    //#PlanetGroups.java:55: method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.requiredUserRole()
    //#output(String requiredUserRole()): return_value
    //#post(String requiredUserRole()): return_value == &"admin"
    //#PlanetGroups.java:55: end of method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.requiredUserRole()
    }
    
    @Override
    public boolean isWeblogRequired() {
        return false;
    //#PlanetGroups.java:60: method: bool org.apache.roller.weblogger.planet.ui.PlanetGroups.isWeblogRequired()
    //#output(bool isWeblogRequired()): return_value
    //#post(bool isWeblogRequired()): return_value == 0
    //#PlanetGroups.java:60: end of method: bool org.apache.roller.weblogger.planet.ui.PlanetGroups.isWeblogRequired()
    }
    
    
    @Override
    public void myPrepare() {
        
        if(getPlanet() != null && getBean().getId() != null) try {
    //#PlanetGroups.java:67: method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.myPrepare()
    //#input(void myPrepare()): "Error looking up planet group - "._tainted
    //#input(void myPrepare()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(void myPrepare()): __Descendant_Table[others]
    //#input(void myPrepare()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#input(void myPrepare()): __Dispatch_Table.getPlanet()Lorg/apache/roller/planet/pojos/Planet;
    //#input(void myPrepare()): __Dispatch_Table.setGroup(Lorg/apache/roller/planet/pojos/PlanetGroup;)V
    //#input(void myPrepare()): log
    //#input(void myPrepare()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroupsBean]
    //#input(void myPrepare()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[others]
    //#input(void myPrepare()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void myPrepare()): org/apache/roller/weblogger/planet/ui/PlanetUIAction.log
    //#input(void myPrepare()): this
    //#input(void myPrepare()): this.__Tag
    //#input(void myPrepare()): this.bean
    //#input(void myPrepare()): this.bean.__Tag
    //#input(void myPrepare()): this.bean.id
    //#input(void myPrepare()): this.bean.id._tainted
    //#input(void myPrepare()): this.planet
    //#output(void myPrepare()): this.group
    //#output(void myPrepare()): this.planet
    //#pre[3] (void myPrepare()): init'ed(this.planet)
    //#pre[6] (void myPrepare()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[1] (void myPrepare()): (soft) log != null
    //#pre[4] (void myPrepare()): (soft) org/apache/roller/weblogger/planet/ui/PlanetUIAction.log != null
    //#pre[7] (void myPrepare()): (soft) this.bean != null
    //#pre[8] (void myPrepare()): (soft) this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#pre[9] (void myPrepare()): (soft) init'ed(this.bean.id)
    //#presumption(void myPrepare()): org.apache.roller.planet.business.Planet:getPlanetManager(...)@68 != null
    //#presumption(void myPrepare()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@68 != null
    //#post(void myPrepare()): possibly_updated(this.group)
    //#post(void myPrepare()): init'ed(this.planet)
    //#unanalyzed(void myPrepare()): Effects-of-calling:org.apache.roller.planet.business.PlanetFactory:getPlanet
    //#unanalyzed(void myPrepare()): Effects-of-calling:org.apache.roller.planet.business.Planet:getPlanetManager
    //#unanalyzed(void myPrepare()): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getPlanet
    //#unanalyzed(void myPrepare()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void myPrepare()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#test_vector(void myPrepare()): this.bean.id: Addr_Set{null}, Inverse{null}
            PlanetManager pmgr = PlanetFactory.getPlanet().getPlanetManager();
    //#PlanetGroups.java:68: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myPrepare()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetGroups.java:68: Warning: method not available
    //#    -- call on PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myPrepare()
    //#    unanalyzed callee: PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
            setGroup(pmgr.getGroupById(getBean().getId()));
    //#PlanetGroups.java:69: Warning: method not available
    //#    -- call on PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroupById(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myPrepare()
    //#    unanalyzed callee: PlanetGroup org.apache.roller.planet.business.PlanetManager:getGroupById(String)
        } catch(Exception ex) {
            log.error("Error looking up planet group - "+getBean().getId(), ex);
    //#PlanetGroups.java:71: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myPrepare()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }
    }
    //#PlanetGroups.java:73: end of method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.myPrepare()

    
    /** 
     * Show planet groups page.
     */
    public String execute() {
        
        // if we are loading an existing group then populate the bean
        if(getGroup() != null) {
    //#PlanetGroups.java:82: method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.execute()
    //#input(String execute()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(String execute()): __Descendant_Table[others]
    //#input(String execute()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#input(String execute()): __Dispatch_Table.getGroup()Lorg/apache/roller/planet/pojos/PlanetGroup;
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroupsBean]
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[others]
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.copyFrom(Lorg/apache/roller/planet/pojos/PlanetGroup;)V
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.setId(Ljava/lang/String;)V
    //#input(String execute()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(String execute()): this
    //#input(String execute()): this.__Tag
    //#input(String execute()): this.bean
    //#input(String execute()): this.bean.__Tag
    //#input(String execute()): this.group
    //#output(String execute()): return_value
    //#output(String execute()): this.bean.handle
    //#output(String execute()): this.bean.id
    //#output(String execute()): this.bean.title
    //#pre[5] (String execute()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[8] (String execute()): init'ed(this.group)
    //#pre[6] (String execute()): (soft) this.bean != null
    //#pre[7] (String execute()): (soft) this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#post(String execute()): return_value == &"list"
    //#post(String execute()): possibly_updated(this.bean.handle)
    //#post(String execute()): possibly_updated(this.bean.id)
    //#post(String execute()): possibly_updated(this.bean.title)
    //#unanalyzed(String execute()): Effects-of-calling:org.apache.roller.planet.pojos.PlanetGroup:getId
    //#unanalyzed(String execute()): Effects-of-calling:org.apache.roller.planet.pojos.PlanetGroup:getTitle
    //#unanalyzed(String execute()): Effects-of-calling:org.apache.roller.planet.pojos.PlanetGroup:getHandle
    //#test_vector(String execute()): this.group: Addr_Set{null}, Inverse{null}
            getBean().copyFrom(getGroup());
        }
        
        return LIST;
    //#PlanetGroups.java:86: end of method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.execute()
    }
    
    
    /** 
     * Save group.
     */
    public String save() {
        
        myValidate();
    //#PlanetGroups.java:95: method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.save()
    //#input(String save()): "Error saving planet group - "._tainted
    //#input(String save()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(String save()): __Descendant_Table[others]
    //#input(String save()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#input(String save()): __Dispatch_Table.getGroup()Lorg/apache/roller/planet/pojos/PlanetGroup;
    //#input(String save()): __Dispatch_Table.getPlanet()Lorg/apache/roller/planet/pojos/Planet;
    //#input(String save()): log
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroupsBean]
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[others]
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.copyTo(Lorg/apache/roller/planet/pojos/PlanetGroup;)V
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/planet/ui/PlanetUIAction.log
    //#input(String save()): this
    //#input(String save()): this.__Tag
    //#input(String save()): this.bean
    //#input(String save()): this.bean.__Tag
    //#input(String save()): this.bean.handle
    //#input(String save()): this.bean.id
    //#input(String save()): this.bean.id._tainted
    //#input(String save()): this.bean.title
    //#input(String save()): this.group
    //#input(String save()): this.planet
    //#output(String save()): return_value
    //#output(String save()): this.planet
    //#pre[5] (String save()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[6] (String save()): this.bean != null
    //#pre[7] (String save()): this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#pre[8] (String save()): init'ed(this.bean.handle)
    //#pre[11] (String save()): init'ed(this.bean.title)
    //#pre[1] (String save()): (soft) log != null
    //#pre[2] (String save()): (soft) init'ed(this.planet)
    //#pre[3] (String save()): (soft) org/apache/roller/weblogger/planet/ui/PlanetUIAction.log != null
    //#pre[9] (String save()): (soft) init'ed(this.bean.id)
    //#pre[12] (String save()): (soft) init'ed(this.group)
    //#presumption(String save()): org.apache.roller.planet.business.Planet:getPlanetManager(...)@112 != null
    //#presumption(String save()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@112 != null
    //#presumption(String save()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@114 != null
    //#post(String save()): return_value == &"list"
    //#post(String save()): init'ed(this.planet)
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.planet.ui.PlanetGroups:addError
    //#unanalyzed(String save()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(String save()): Effects-of-calling:org.apache.commons.lang.StringUtils:isEmpty
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.planet.pojos.PlanetGroup:setTitle
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.planet.pojos.PlanetGroup:setHandle
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.planet.business.PlanetFactory:getPlanet
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.planet.business.Planet:getPlanetManager
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getPlanet
    //#unanalyzed(String save()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(String save()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#test_vector(String save()): this.group: Inverse{null}, Addr_Set{null}
    //#test_vector(String save()): org.apache.roller.weblogger.planet.ui.PlanetGroups:hasActionErrors(...)@97: {1}, {0}
        
        if (!hasActionErrors()) try {
    //#PlanetGroups.java:97: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.planet.ui.PlanetGroups:hasActionErrors()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: bool org.apache.roller.weblogger.planet.ui.PlanetGroups:hasActionErrors()
            
            PlanetGroup group = getGroup();
            if(group == null) {
                log.debug("Adding New Group");
    //#PlanetGroups.java:101: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
                group = new PlanetGroup();
    //#PlanetGroups.java:102: Warning: method not available
    //#    -- call on void org.apache.roller.planet.pojos.PlanetGroup()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.planet.pojos.PlanetGroup()
                group.setPlanet(getPlanet());
    //#PlanetGroups.java:103: Warning: method not available
    //#    -- call on void org.apache.roller.planet.pojos.PlanetGroup:setPlanet(Planet)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.planet.pojos.PlanetGroup:setPlanet(Planet)
            } else {
                log.debug("Updating Existing Group");
    //#PlanetGroups.java:105: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
            
            // copy in submitted data
            getBean().copyTo(group);
            
            // save and flush
            PlanetManager pmgr = PlanetFactory.getPlanet().getPlanetManager();
    //#PlanetGroups.java:112: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetGroups.java:112: Warning: method not available
    //#    -- call on PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
            pmgr.saveGroup(group);
    //#PlanetGroups.java:113: Warning: method not available
    //#    -- call on void org.apache.roller.planet.business.PlanetManager:saveGroup(PlanetGroup)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.planet.business.PlanetManager:saveGroup(PlanetGroup)
            PlanetFactory.getPlanet().flush();
    //#PlanetGroups.java:114: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetGroups.java:114: Warning: method not available
    //#    -- call on void org.apache.roller.planet.business.Planet:flush()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.planet.business.Planet:flush()
            
            addMessage("planetGroups.success.saved");
    //#PlanetGroups.java:116: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addMessage(String)
            
        } catch(Exception ex) {
            log.error("Error saving planet group - "+getBean().getId(), ex);
    //#PlanetGroups.java:119: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            // TODO: i18n
            addError("Error saving planet group");
    //#PlanetGroups.java:121: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
        }
        
        return LIST;
    //#PlanetGroups.java:124: end of method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.save()
    }

    
    /** 
     * Delete group, reset form  
     */
    public String delete() {
        
        if(getGroup() != null) {
    //#PlanetGroups.java:133: method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.delete()
    //#input(String delete()): "Error deleting planet group - "._tainted
    //#input(String delete()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(String delete()): __Descendant_Table[others]
    //#input(String delete()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#input(String delete()): __Dispatch_Table.getGroup()Lorg/apache/roller/planet/pojos/PlanetGroup;
    //#input(String delete()): log
    //#input(String delete()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroupsBean]
    //#input(String delete()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[others]
    //#input(String delete()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(String delete()): this
    //#input(String delete()): this.__Tag
    //#input(String delete()): this.bean
    //#input(String delete()): this.bean.__Tag
    //#input(String delete()): this.bean.id
    //#input(String delete()): this.bean.id._tainted
    //#input(String delete()): this.group
    //#output(String delete()): return_value
    //#pre[3] (String delete()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[8] (String delete()): init'ed(this.group)
    //#pre[1] (String delete()): (soft) log != null
    //#pre[4] (String delete()): (soft) this.bean != null
    //#pre[5] (String delete()): (soft) this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#pre[6] (String delete()): (soft) init'ed(this.bean.id)
    //#presumption(String delete()): org.apache.roller.planet.business.Planet:getPlanetManager(...)@135 != null
    //#presumption(String delete()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@135 != null
    //#presumption(String delete()): org.apache.roller.planet.business.PlanetFactory:getPlanet(...)@137 != null
    //#post(String delete()): return_value == &"list"
    //#test_vector(String delete()): this.group: Addr_Set{null}, Inverse{null}
            try {
                PlanetManager pmgr = PlanetFactory.getPlanet().getPlanetManager();
    //#PlanetGroups.java:135: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetGroups.java:135: Warning: method not available
    //#    -- call on PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: PlanetManager org.apache.roller.planet.business.Planet:getPlanetManager()
                pmgr.deleteGroup(getGroup());
    //#PlanetGroups.java:136: Warning: method not available
    //#    -- call on void org.apache.roller.planet.business.PlanetManager:deleteGroup(PlanetGroup)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: void org.apache.roller.planet.business.PlanetManager:deleteGroup(PlanetGroup)
                PlanetFactory.getPlanet().flush();
    //#PlanetGroups.java:137: Warning: method not available
    //#    -- call on Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: Planet org.apache.roller.planet.business.PlanetFactory:getPlanet()
    //#PlanetGroups.java:137: Warning: method not available
    //#    -- call on void org.apache.roller.planet.business.Planet:flush()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: void org.apache.roller.planet.business.Planet:flush()
                
                addMessage("planetSubscription.success.deleted");
    //#PlanetGroups.java:139: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addMessage(String)
            } catch(Exception ex) {
                log.error("Error deleting planet group - "+getBean().getId());
    //#PlanetGroups.java:141: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
                // TODO: i18n
                addError("Error deleting planet group");
    //#PlanetGroups.java:143: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: String delete()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
            }
        }
        
        return LIST;
    //#PlanetGroups.java:147: end of method: String org.apache.roller.weblogger.planet.ui.PlanetGroups.delete()
    }
    
    
    /** 
     * Validate posted group 
     */
    private void myValidate() {
        
        if(StringUtils.isEmpty(getBean().getTitle())) {
    //#PlanetGroups.java:156: method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.myValidate()
    //#PlanetGroups.java:156: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myValidate()
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#input(void myValidate()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(void myValidate()): __Descendant_Table[others]
    //#input(void myValidate()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/planet/ui/PlanetGroupsBean;
    //#input(void myValidate()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroupsBean]
    //#input(void myValidate()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Descendant_Table[others]
    //#input(void myValidate()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void myValidate()): org/apache/roller/weblogger/planet/ui/PlanetGroupsBean.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void myValidate()): this
    //#input(void myValidate()): this.__Tag
    //#input(void myValidate()): this.bean
    //#input(void myValidate()): this.bean.__Tag
    //#input(void myValidate()): this.bean.handle
    //#input(void myValidate()): this.bean.title
    //#pre[2] (void myValidate()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[3] (void myValidate()): this.bean != null
    //#pre[4] (void myValidate()): this.bean.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroupsBean
    //#pre[5] (void myValidate()): init'ed(this.bean.handle)
    //#pre[6] (void myValidate()): init'ed(this.bean.title)
    //#test_vector(void myValidate()): this.bean.handle: Addr_Set{null}, Inverse{null}
    //#test_vector(void myValidate()): java.lang.String:equals(...)@164: {0}, {1}
    //#test_vector(void myValidate()): org.apache.commons.lang.StringUtils:isEmpty(...)@156: {0}, {1}
    //#test_vector(void myValidate()): org.apache.commons.lang.StringUtils:isEmpty(...)@160: {0}, {1}
            addError("planetGroups.error.title");
    //#PlanetGroups.java:157: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
        }
        
        if(StringUtils.isEmpty(getBean().getHandle())) {
    //#PlanetGroups.java:160: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myValidate()
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            addError("planetGroups.error.handle");
    //#PlanetGroups.java:161: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
        }
        
        if(getBean().getHandle() != null && "all".equals(getBean().getHandle())) {
            addError("planetGroups.error.nameReserved");
    //#PlanetGroups.java:165: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.planet.ui.PlanetGroups:addError(String)
        }
        
        // make sure duplicate group handles are prevented
    }
    //#PlanetGroups.java:169: end of method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.myValidate()
    
    
    public List<PlanetGroup> getGroups() {
        
        List<PlanetGroup> displayGroups = new ArrayList();
    //#PlanetGroups.java:174: method: List org.apache.roller.weblogger.planet.ui.PlanetGroups.getGroups()
    //#input(List getGroups()): __Descendant_Table[org/apache/roller/weblogger/planet/ui/PlanetGroups]
    //#input(List getGroups()): __Descendant_Table[others]
    //#input(List getGroups()): __Dispatch_Table.getPlanet()Lorg/apache/roller/planet/pojos/Planet;
    //#input(List getGroups()): org/apache/roller/weblogger/planet/ui/PlanetUIAction.log
    //#input(List getGroups()): this
    //#input(List getGroups()): this.__Tag
    //#input(List getGroups()): this.planet
    //#output(List getGroups()): new ArrayList(getGroups#1) num objects
    //#output(List getGroups()): return_value
    //#output(List getGroups()): this.planet
    //#new obj(List getGroups()): new ArrayList(getGroups#1)
    //#pre[1] (List getGroups()): init'ed(this.planet)
    //#pre[4] (List getGroups()): this.__Tag == org/apache/roller/weblogger/planet/ui/PlanetGroups
    //#pre[2] (List getGroups()): (soft) org/apache/roller/weblogger/planet/ui/PlanetUIAction.log != null
    //#presumption(List getGroups()): java.util.Iterator:next(...)@178 != null
    //#presumption(List getGroups()): org.apache.roller.planet.pojos.Planet:getGroups(...)@176 != null
    //#presumption(List getGroups()): org.apache.roller.planet.pojos.PlanetGroup:getHandle(...)@182 != null
    //#post(List getGroups()): return_value == &new ArrayList(getGroups#1)
    //#post(List getGroups()): this.planet != null
    //#post(List getGroups()): new ArrayList(getGroups#1) num objects == 1
    //#unanalyzed(List getGroups()): Effects-of-calling:org.apache.roller.planet.business.PlanetFactory:getPlanet
    //#unanalyzed(List getGroups()): Effects-of-calling:org.apache.roller.planet.business.Planet:getPlanetManager
    //#unanalyzed(List getGroups()): Effects-of-calling:org.apache.roller.planet.business.PlanetManager:getPlanet
    //#unanalyzed(List getGroups()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(List getGroups()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#test_vector(List getGroups()): java.lang.String:equals(...)@182: {1}, {0}
    //#test_vector(List getGroups()): java.util.Iterator:hasNext(...)@177: {0}, {1}
        
        Iterator allgroups = getPlanet().getGroups().iterator();
    //#PlanetGroups.java:176: ?null dereference
    //#    getPlanet(...) != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: List getGroups()
    //#    basic block: Entry_BB_1
    //#    assertion: getPlanet(...) != null
    //#    VN: getPlanet(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#PlanetGroups.java:176: Warning: method not available
    //#    -- call on Set org.apache.roller.planet.pojos.Planet:getGroups()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: List getGroups()
    //#    unanalyzed callee: Set org.apache.roller.planet.pojos.Planet:getGroups()
        while (allgroups.hasNext()) {
            PlanetGroup agroup = (PlanetGroup) allgroups.next();
            
            // The "all" group is considered a special group and cannot be
            // managed independently
            if (!agroup.getHandle().equals("all")) {
    //#PlanetGroups.java:182: Warning: method not available
    //#    -- call on String org.apache.roller.planet.pojos.PlanetGroup:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.planet.ui.PlanetGroups
    //#    method: List getGroups()
    //#    unanalyzed callee: String org.apache.roller.planet.pojos.PlanetGroup:getHandle()
                displayGroups.add(agroup);
            }
        }
        
        return displayGroups;
    //#PlanetGroups.java:187: end of method: List org.apache.roller.weblogger.planet.ui.PlanetGroups.getGroups()
    }
    
    
    public PlanetGroupsBean getBean() {
        return bean;
    //#PlanetGroups.java:192: method: PlanetGroupsBean org.apache.roller.weblogger.planet.ui.PlanetGroups.getBean()
    //#input(PlanetGroupsBean getBean()): this
    //#input(PlanetGroupsBean getBean()): this.bean
    //#output(PlanetGroupsBean getBean()): return_value
    //#pre[2] (PlanetGroupsBean getBean()): init'ed(this.bean)
    //#post(PlanetGroupsBean getBean()): return_value == this.bean
    //#post(PlanetGroupsBean getBean()): init'ed(return_value)
    //#PlanetGroups.java:192: end of method: PlanetGroupsBean org.apache.roller.weblogger.planet.ui.PlanetGroups.getBean()
    }

    public void setBean(PlanetGroupsBean bean) {
        this.bean = bean;
    //#PlanetGroups.java:196: method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.setBean(PlanetGroupsBean)
    //#input(void setBean(PlanetGroupsBean)): bean
    //#input(void setBean(PlanetGroupsBean)): this
    //#output(void setBean(PlanetGroupsBean)): this.bean
    //#post(void setBean(PlanetGroupsBean)): this.bean == bean
    //#post(void setBean(PlanetGroupsBean)): init'ed(this.bean)
    }
    //#PlanetGroups.java:197: end of method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.setBean(PlanetGroupsBean)
    
    public PlanetGroup getGroup() {
        return group;
    //#PlanetGroups.java:200: method: PlanetGroup org.apache.roller.weblogger.planet.ui.PlanetGroups.getGroup()
    //#input(PlanetGroup getGroup()): this
    //#input(PlanetGroup getGroup()): this.group
    //#output(PlanetGroup getGroup()): return_value
    //#pre[2] (PlanetGroup getGroup()): init'ed(this.group)
    //#post(PlanetGroup getGroup()): return_value == this.group
    //#post(PlanetGroup getGroup()): init'ed(return_value)
    //#PlanetGroups.java:200: end of method: PlanetGroup org.apache.roller.weblogger.planet.ui.PlanetGroups.getGroup()
    }

    public void setGroup(PlanetGroup group) {
        this.group = group;
    //#PlanetGroups.java:204: method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.setGroup(PlanetGroup)
    //#input(void setGroup(PlanetGroup)): group
    //#input(void setGroup(PlanetGroup)): this
    //#output(void setGroup(PlanetGroup)): this.group
    //#post(void setGroup(PlanetGroup)): this.group == group
    //#post(void setGroup(PlanetGroup)): init'ed(this.group)
    }
    //#PlanetGroups.java:205: end of method: void org.apache.roller.weblogger.planet.ui.PlanetGroups.setGroup(PlanetGroup)
    
}
    //#PlanetGroups.java:: end of class: org.apache.roller.weblogger.planet.ui.PlanetGroups
