//# 0 errors, 237 messages
//#
/*
    //#CreateUser.java:1:1: class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
 * 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.ui.struts2.admin;

import java.util.Locale;
import java.util.TimeZone;
import org.apache.commons.lang.CharSetUtils;
import org.apache.commons.lang.StringUtils;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.business.UserManager;
import org.apache.roller.weblogger.config.WebloggerConfig;
import org.apache.roller.weblogger.pojos.User;
import org.apache.roller.weblogger.ui.struts2.core.Register;
import org.apache.roller.weblogger.ui.struts2.util.UIAction;


/**
 * Action for admins to manually create new user accounts.
 */
public class CreateUser extends UIAction {
    
    private static Log log = LogFactory.getLog(CreateUser.class);
    //#CreateUser.java:41: method: org.apache.roller.weblogger.ui.struts2.admin.CreateUser.org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init
    //#CreateUser.java:41: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUser]
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.execute()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.isWeblogRequired()Z
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.myValidate()V
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.requiredUserRole()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.save()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.setBean(Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;)V
    //#output(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): log
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUser] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.execute()Ljava/lang/String; == &execute
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean; == &getBean
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.isWeblogRequired()Z == &isWeblogRequired
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.myValidate()V == &myValidate
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.requiredUserRole()Ljava/lang/String; == &requiredUserRole
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.save()Ljava/lang/String; == &save
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): __Dispatch_Table.setBean(Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;)V == &setBean
    //#post(org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init): init'ed(log)
    //#CreateUser.java:41: end of method: org.apache.roller.weblogger.ui.struts2.admin.CreateUser.org.apache.roller.weblogger.ui.struts2.admin.CreateUser__static_init
    
    // a bean to store our form data
    private CreateUserBean bean = new CreateUserBean();
    
    
    public CreateUser() {
    //#CreateUser.java:47: method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.org.apache.roller.weblogger.ui.struts2.admin.CreateUser()
    //#CreateUser.java:47: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.util.UIAction()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.util.UIAction()
    //#input(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.java.lang.Boolean.TRUE
    //#input(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): new CreateUserBean(CreateUser#1) num objects
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.__Tag
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.activationCode
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.administrator
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.emailAddress
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.enabled
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.fullName
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.id
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.locale
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.password
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.screenName
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.timeZone
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.userName
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.actionName
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.desiredMenu
    //#output(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.pageTitle
    //#new obj(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): new CreateUserBean(CreateUser#1)
    //#presumption(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): init'ed(org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.java.lang.Boolean.TRUE)
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.actionName == &"createUser"
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean == &new CreateUserBean(CreateUser#1)
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.desiredMenu == &"admin"
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.pageTitle == &"userAdmin.title.createNewUser"
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): new CreateUserBean(CreateUser#1) num objects == 1
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.activationCode == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.emailAddress == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.fullName == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.id == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.locale == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.password == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.screenName == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.timeZone == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.userName == null
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.administrator == 0
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): this.bean.enabled == org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.java.lang.Boolean.TRUE
    //#post(void org.apache.roller.weblogger.ui.struts2.admin.CreateUser()): init'ed(this.bean.enabled)
        this.actionName = "createUser";
        this.desiredMenu = "admin";
        this.pageTitle = "userAdmin.title.createNewUser";
    }
    //#CreateUser.java:51: end of method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.org.apache.roller.weblogger.ui.struts2.admin.CreateUser()
    
    
    // admin role required
    public String requiredUserRole() {
        return "admin";
    //#CreateUser.java:56: method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.requiredUserRole()
    //#output(String requiredUserRole()): return_value
    //#post(String requiredUserRole()): return_value == &"admin"
    //#CreateUser.java:56: end of method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.requiredUserRole()
    }
    
    // no weblog required
    public boolean isWeblogRequired() {
        return false;
    //#CreateUser.java:61: method: bool org.apache.roller.weblogger.ui.struts2.admin.CreateUser.isWeblogRequired()
    //#output(bool isWeblogRequired()): return_value
    //#post(bool isWeblogRequired()): return_value == 0
    //#CreateUser.java:61: end of method: bool org.apache.roller.weblogger.ui.struts2.admin.CreateUser.isWeblogRequired()
    }
    
    
    /**
     * Show admin user creation form.
     */
    public String execute() {
        
        // defaults for locale and timezone
        getBean().setLocale(Locale.getDefault().toString());
    //#CreateUser.java:71: method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.execute()
    //#input(String execute()): __Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUser]
    //#input(String execute()): __Descendant_Table[others]
    //#input(String execute()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;
    //#input(String execute()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean]
    //#input(String execute()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[others]
    //#input(String execute()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.setLocale(Ljava/lang/String;)V
    //#input(String execute()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.setTimeZone(Ljava/lang/String;)V
    //#input(String execute()): this
    //#input(String execute()): this.__Tag
    //#input(String execute()): this.bean
    //#input(String execute()): this.bean.__Tag
    //#output(String execute()): java.util.Locale:toString(...)._tainted
    //#output(String execute()): return_value
    //#output(String execute()): this.bean.locale
    //#output(String execute()): this.bean.timeZone
    //#new obj(String execute()): java.util.Locale:toString(...)
    //#pre[2] (String execute()): this.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUser
    //#pre[3] (String execute()): this.bean != null
    //#pre[4] (String execute()): this.bean.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean
    //#presumption(String execute()): java.util.Locale:getDefault(...)@71 != null
    //#presumption(String execute()): java.util.TimeZone:getDefault(...)@72 != null
    //#post(String execute()): java.util.Locale:toString(...)._tainted == 0
    //#post(String execute()): return_value == &"input"
    //#post(String execute()): this.bean.locale == &java.util.Locale:toString(...)
    //#post(String execute()): init'ed(this.bean.timeZone)
        getBean().setTimeZone(TimeZone.getDefault().getID());
        
        return INPUT;
    //#CreateUser.java:74: end of method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.execute()
    }
    
    
    /**
     * Create a new user.
     */
    public String save() {
        
        // run some validation
        myValidate();
    //#CreateUser.java:84: method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.save()
    //#input(String save()): __Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUser]
    //#input(String save()): __Descendant_Table[others]
    //#input(String save()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;
    //#input(String save()): log
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean]
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[others]
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.copyTo(Lorg/apache/roller/weblogger/pojos/User;Ljava/util/Locale;)V
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getPassword()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.isAdministrator()Z
    //#input(String save()): org/apache/roller/weblogger/ui/struts2/core/Register.DEFAULT_ALLOWED_CHARS
    //#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.activationCode
    //#input(String save()): this.bean.administrator
    //#input(String save()): this.bean.emailAddress
    //#input(String save()): this.bean.enabled
    //#input(String save()): this.bean.fullName
    //#input(String save()): this.bean.locale
    //#input(String save()): this.bean.password
    //#input(String save()): this.bean.screenName
    //#input(String save()): this.bean.timeZone
    //#input(String save()): this.bean.userName
    //#output(String save()): return_value
    //#pre[1] (String save()): (soft) log != null
    //#pre[2] (String save()): (soft) init'ed(org/apache/roller/weblogger/ui/struts2/core/Register.DEFAULT_ALLOWED_CHARS)
    //#pre[4] (String save()): (soft) this.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUser
    //#pre[5] (String save()): (soft) this.bean != null
    //#pre[6] (String save()): (soft) this.bean.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean
    //#pre[7] (String save()): (soft) init'ed(this.bean.activationCode)
    //#pre[8] (String save()): (soft) init'ed(this.bean.administrator)
    //#pre[9] (String save()): (soft) init'ed(this.bean.emailAddress)
    //#pre[10] (String save()): (soft) this.bean.enabled != null
    //#pre[11] (String save()): (soft) init'ed(this.bean.fullName)
    //#pre[12] (String save()): (soft) init'ed(this.bean.locale)
    //#pre[13] (String save()): (soft) init'ed(this.bean.password)
    //#pre[14] (String save()): (soft) init'ed(this.bean.screenName)
    //#pre[15] (String save()): (soft) init'ed(this.bean.timeZone)
    //#pre[16] (String save()): (soft) init'ed(this.bean.userName)
    //#presumption(String save()): org.apache.roller.weblogger.business.Weblogger:getUserManager(...)@88 != null
    //#presumption(String save()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@106 != null
    //#presumption(String save()): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@88 != null
    //#post(String save()): return_value == &"input"
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setScreenName
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setFullName
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setEmailAddress
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setLocale
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setTimeZone
    //#unanalyzed(String save()): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(String save()): Effects-of-calling:java.lang.Boolean
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setEnabled
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.pojos.User:setActivationCode
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError
    //#unanalyzed(String save()): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(String save()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(String save()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(String save()): Effects-of-calling:org.apache.commons.lang.CharSetUtils:keep
    //#unanalyzed(String save()): Effects-of-calling:org.apache.commons.lang.StringUtils:isEmpty
    //#unanalyzed(String save()): Effects-of-calling:java.lang.String:equals
    //#test_vector(String save()): this.bean.administrator: {0}, {1}
    //#test_vector(String save()): org.apache.roller.weblogger.ui.struts2.admin.CreateUser:hasActionErrors(...)@86: {1}, {0}
        
        if (!hasActionErrors()) try {
    //#CreateUser.java:86: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.ui.struts2.admin.CreateUser:hasActionErrors()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.struts2.admin.CreateUser:hasActionErrors()
            
            UserManager mgr = WebloggerFactory.getWeblogger().getUserManager();
    //#CreateUser.java:88: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#CreateUser.java:88: Warning: method not available
    //#    -- call on UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: UserManager org.apache.roller.weblogger.business.Weblogger:getUserManager()
            
            // copy form data into new user pojo
            User newUser = new User();
    //#CreateUser.java:91: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.User()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.User()
            getBean().copyTo(newUser, getLocale()); // doesn't copy password
    //#CreateUser.java:92: Warning: method not available
    //#    -- call on Locale org.apache.roller.weblogger.ui.struts2.admin.CreateUser:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: Locale org.apache.roller.weblogger.ui.struts2.admin.CreateUser:getLocale()
            newUser.setDateCreated(new java.util.Date());
    //#CreateUser.java:93: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.User:setDateCreated(Date)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.User:setDateCreated(Date)
            
            // set username and password
            newUser.setUserName(getBean().getUserName());
    //#CreateUser.java:96: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.User:setUserName(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.User:setUserName(String)
            newUser.resetPassword(getBean().getPassword());
    //#CreateUser.java:97: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.User:resetPassword(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.User:resetPassword(String)
            
            // are we granting the user admin rights?
            if(((CreateUserBean)getBean()).isAdministrator()) {
                newUser.grantRole("admin");
    //#CreateUser.java:101: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.User:grantRole(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.User:grantRole(String)
            }
            
            // save new user
            mgr.addUser(newUser);
    //#CreateUser.java:105: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.UserManager:addUser(User)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.UserManager:addUser(User)
            WebloggerFactory.getWeblogger().flush();
    //#CreateUser.java:106: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#CreateUser.java:106: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.Weblogger:flush()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.Weblogger:flush()
            
            // TODO: i18n
            addMessage("New user created");
    //#CreateUser.java:109: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addMessage(String)
            
            return INPUT;
            
        } catch (WebloggerException e) {
            log.error("Error adding new user", e);
    //#CreateUser.java:114: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            // TODO: i18n
            addError("Error creating user");
    //#CreateUser.java:116: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: String save()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
        }
        
        return INPUT;
    //#CreateUser.java:119: end of method: String org.apache.roller.weblogger.ui.struts2.admin.CreateUser.save()
    }
    
    
    // TODO: replace with struts2 validation
    private void myValidate() {
        
        String allowed = WebloggerConfig.getProperty("username.allowedChars");
    //#CreateUser.java:126: method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.myValidate()
    //#CreateUser.java:126: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#input(void myValidate()): __Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUser]
    //#input(void myValidate()): __Descendant_Table[others]
    //#input(void myValidate()): __Dispatch_Table.getBean()Lorg/apache/roller/weblogger/ui/struts2/admin/CreateUserBean;
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean]
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Descendant_Table[others]
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getPassword()Ljava/lang/String;
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void myValidate()): org/apache/roller/weblogger/ui/struts2/core/Register.DEFAULT_ALLOWED_CHARS
    //#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.emailAddress
    //#input(void myValidate()): this.bean.password
    //#input(void myValidate()): this.bean.userName
    //#pre[3] (void myValidate()): this.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUser
    //#pre[4] (void myValidate()): this.bean != null
    //#pre[5] (void myValidate()): this.bean.__Tag == org/apache/roller/weblogger/ui/struts2/admin/CreateUserBean
    //#pre[6] (void myValidate()): init'ed(this.bean.emailAddress)
    //#pre[7] (void myValidate()): init'ed(this.bean.password)
    //#pre[8] (void myValidate()): init'ed(this.bean.userName)
    //#pre[1] (void myValidate()): (soft) init'ed(org/apache/roller/weblogger/ui/struts2/core/Register.DEFAULT_ALLOWED_CHARS)
    //#presumption(void myValidate()): org.apache.commons.lang.CharSetUtils:keep(...)@130 != null
    //#test_vector(void myValidate()): java.lang.String:equals(...)@134: {1}, {0}
    //#test_vector(void myValidate()): java.lang.String:length(...)@127: {1..4_294_967_295}, {0}
    //#test_vector(void myValidate()): org.apache.commons.lang.StringUtils:isEmpty(...)@132: {0}, {1}
    //#test_vector(void myValidate()): org.apache.commons.lang.StringUtils:isEmpty(...)@138: {0}, {1}
    //#test_vector(void myValidate()): org.apache.commons.lang.StringUtils:isEmpty(...)@142: {0}, {1}
    //#test_vector(void myValidate()): org.apache.roller.weblogger.config.WebloggerConfig:getProperty(...)@126: Addr_Set{null}, Inverse{null}
        if(allowed == null || allowed.trim().length() == 0) {
            allowed = Register.DEFAULT_ALLOWED_CHARS;
        }
        String safe = CharSetUtils.keep(getBean().getUserName(), allowed);
    //#CreateUser.java:130: Warning: method not available
    //#    -- call on String org.apache.commons.lang.CharSetUtils:keep(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: String org.apache.commons.lang.CharSetUtils:keep(String, String)
        
        if (StringUtils.isEmpty(getBean().getUserName())) {
    //#CreateUser.java:132: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            addError("error.add.user.missingUserName");
    //#CreateUser.java:133: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
        } else if (!safe.equals(getBean().getUserName()) ) {
            addError("error.add.user.badUserName");
    //#CreateUser.java:135: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
        }
        
        if (StringUtils.isEmpty(getBean().getEmailAddress())) {
    //#CreateUser.java:138: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
            addError("error.add.user.missingEmailAddress");
    //#CreateUser.java:139: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
        }
        
        if (StringUtils.isEmpty(getBean().getPassword()) && 
    //#CreateUser.java:142: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isEmpty(String)
                StringUtils.isEmpty(getBean().getPassword())) {
            addError("error.add.user.missingPassword");
    //#CreateUser.java:144: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
    //#    method: void myValidate()
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser:addError(String)
        }
    }
    //#CreateUser.java:146: end of method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.myValidate()
    
    
    public CreateUserBean getBean() {
        return bean;
    //#CreateUser.java:150: method: CreateUserBean org.apache.roller.weblogger.ui.struts2.admin.CreateUser.getBean()
    //#input(CreateUserBean getBean()): this
    //#input(CreateUserBean getBean()): this.bean
    //#output(CreateUserBean getBean()): return_value
    //#pre[2] (CreateUserBean getBean()): init'ed(this.bean)
    //#post(CreateUserBean getBean()): return_value == this.bean
    //#post(CreateUserBean getBean()): init'ed(return_value)
    //#CreateUser.java:150: end of method: CreateUserBean org.apache.roller.weblogger.ui.struts2.admin.CreateUser.getBean()
    }

    public void setBean(CreateUserBean bean) {
        this.bean = bean;
    //#CreateUser.java:154: method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.setBean(CreateUserBean)
    //#input(void setBean(CreateUserBean)): bean
    //#input(void setBean(CreateUserBean)): this
    //#output(void setBean(CreateUserBean)): this.bean
    //#post(void setBean(CreateUserBean)): this.bean == bean
    //#post(void setBean(CreateUserBean)): init'ed(this.bean)
    }
    //#CreateUser.java:155: end of method: void org.apache.roller.weblogger.ui.struts2.admin.CreateUser.setBean(CreateUserBean)
    
}
    //#CreateUser.java:: end of class: org.apache.roller.weblogger.ui.struts2.admin.CreateUser
