//# 0 errors, 182 messages
//#
/*
    //#UserWrapper.java:1:1: class: org.apache.roller.weblogger.pojos.wrapper.UserWrapper
    //#UserWrapper.java:1:1: method: org.apache.roller.weblogger.pojos.wrapper.UserWrapper.org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init
 * Licensed to the Apache Software Foundation (ASF) under one or more
 * contributor license agreements.  The ASF licenses this file to You
 * under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.  For additional information regarding
 * copyright in this work, please see the NOTICE file in the top level
 * directory of this distribution.
 */

package org.apache.roller.weblogger.pojos.wrapper;

import java.util.Date;
import org.apache.roller.weblogger.pojos.User;


/**
 * Pojo safety wrapper for User objects.
 */
public class UserWrapper {
    
    // keep a reference to the wrapped pojo
    private final User pojo;
    
    // this is private so that we can force the use of the .wrap(pojo) method
    private UserWrapper(User toWrap) {
    //#UserWrapper.java:34: method: void org.apache.roller.weblogger.pojos.wrapper.UserWrapper.org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)
    //#input(void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)): this
    //#input(void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)): toWrap
    //#output(void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)): this.pojo
    //#post(void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)): this.pojo == toWrap
    //#post(void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)): init'ed(this.pojo)
        this.pojo = toWrap;
    }
    //#UserWrapper.java:36: end of method: void org.apache.roller.weblogger.pojos.wrapper.UserWrapper.org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)
    
    
    // wrap the given pojo if it is not null
    public static UserWrapper wrap(User toWrap) {
        if(toWrap != null)
    //#UserWrapper.java:41: method: UserWrapper org.apache.roller.weblogger.pojos.wrapper.UserWrapper.wrap(User)
    //#input(UserWrapper wrap(User)): toWrap
    //#output(UserWrapper wrap(User)): new UserWrapper(wrap#1) num objects
    //#output(UserWrapper wrap(User)): new UserWrapper(wrap#1).__Tag
    //#output(UserWrapper wrap(User)): new UserWrapper(wrap#1).pojo
    //#output(UserWrapper wrap(User)): return_value
    //#new obj(UserWrapper wrap(User)): new UserWrapper(wrap#1)
    //#post(UserWrapper wrap(User)): return_value == One-of{&new UserWrapper(wrap#1), null}
    //#post(UserWrapper wrap(User)): return_value in Addr_Set{null,&new UserWrapper(wrap#1)}
    //#post(UserWrapper wrap(User)): new UserWrapper(wrap#1) num objects <= 1
    //#post(UserWrapper wrap(User)): new UserWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/UserWrapper
    //#post(UserWrapper wrap(User)): new UserWrapper(wrap#1).pojo == toWrap
    //#post(UserWrapper wrap(User)): new UserWrapper(wrap#1).pojo != null
    //#test_vector(UserWrapper wrap(User)): toWrap: Addr_Set{null}, Inverse{null}
            return new UserWrapper(toWrap);
        
        return null;
    //#UserWrapper.java:44: end of method: UserWrapper org.apache.roller.weblogger.pojos.wrapper.UserWrapper.wrap(User)
    }
    
    
    /**
     * This is here for backwards compatability.  We no longer allow the
     * username to be displayed publicly, so screen name is returned instead.
     */
    public String getUserName() {
        return this.pojo.getScreenName();
    //#UserWrapper.java:53: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getUserName()
    //#input(String getUserName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getUserName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getUserName()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getScreenName()Ljava/lang/String;
    //#input(String getUserName()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getUserName()): this
    //#input(String getUserName()): this.pojo
    //#input(String getUserName()): this.pojo.__Tag
    //#input(String getUserName()): this.pojo.pcStateManager
    //#input(String getUserName()): this.pojo.screenName
    //#output(String getUserName()): return_value
    //#pre[3] (String getUserName()): this.pojo != null
    //#pre[4] (String getUserName()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getUserName()): init'ed(this.pojo.pcStateManager)
    //#pre[6] (String getUserName()): init'ed(this.pojo.screenName)
    //#pre[1] (String getUserName()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_285
    //#post(String getUserName()): return_value == this.pojo.screenName
    //#post(String getUserName()): init'ed(return_value)
    //#unanalyzed(String getUserName()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:53: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getUserName()
    }
    
    
    public String getScreenName() {
        return this.pojo.getScreenName();
    //#UserWrapper.java:58: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getScreenName()
    //#input(String getScreenName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getScreenName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getScreenName()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getScreenName()Ljava/lang/String;
    //#input(String getScreenName()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getScreenName()): this
    //#input(String getScreenName()): this.pojo
    //#input(String getScreenName()): this.pojo.__Tag
    //#input(String getScreenName()): this.pojo.pcStateManager
    //#input(String getScreenName()): this.pojo.screenName
    //#output(String getScreenName()): return_value
    //#pre[3] (String getScreenName()): this.pojo != null
    //#pre[4] (String getScreenName()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getScreenName()): init'ed(this.pojo.pcStateManager)
    //#pre[6] (String getScreenName()): init'ed(this.pojo.screenName)
    //#pre[1] (String getScreenName()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_285
    //#post(String getScreenName()): return_value == this.pojo.screenName
    //#post(String getScreenName()): init'ed(return_value)
    //#unanalyzed(String getScreenName()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:58: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getScreenName()
    }
    
    
    public String getFullName() {
        return this.pojo.getFullName();
    //#UserWrapper.java:63: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getFullName()
    //#input(String getFullName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getFullName()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getFullName()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getFullName()Ljava/lang/String;
    //#input(String getFullName()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getFullName()): this
    //#input(String getFullName()): this.pojo
    //#input(String getFullName()): this.pojo.__Tag
    //#input(String getFullName()): this.pojo.fullName
    //#input(String getFullName()): this.pojo.pcStateManager
    //#output(String getFullName()): return_value
    //#pre[3] (String getFullName()): this.pojo != null
    //#pre[4] (String getFullName()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getFullName()): init'ed(this.pojo.fullName)
    //#pre[6] (String getFullName()): init'ed(this.pojo.pcStateManager)
    //#pre[1] (String getFullName()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_291
    //#post(String getFullName()): return_value == this.pojo.fullName
    //#post(String getFullName()): init'ed(return_value)
    //#unanalyzed(String getFullName()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:63: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getFullName()
    }
    
    
    public String getEmailAddress() {
        return this.pojo.getEmailAddress();
    //#UserWrapper.java:68: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getEmailAddress()
    //#input(String getEmailAddress()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getEmailAddress()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getEmailAddress()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#input(String getEmailAddress()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getEmailAddress()): this
    //#input(String getEmailAddress()): this.pojo
    //#input(String getEmailAddress()): this.pojo.__Tag
    //#input(String getEmailAddress()): this.pojo.emailAddress
    //#input(String getEmailAddress()): this.pojo.pcStateManager
    //#output(String getEmailAddress()): return_value
    //#pre[3] (String getEmailAddress()): this.pojo != null
    //#pre[4] (String getEmailAddress()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getEmailAddress()): init'ed(this.pojo.emailAddress)
    //#pre[6] (String getEmailAddress()): init'ed(this.pojo.pcStateManager)
    //#pre[1] (String getEmailAddress()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_293
    //#post(String getEmailAddress()): return_value == this.pojo.emailAddress
    //#post(String getEmailAddress()): init'ed(return_value)
    //#unanalyzed(String getEmailAddress()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:68: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getEmailAddress()
    }
    
    
    public Date getDateCreated() {
        return this.pojo.getDateCreated();
    //#UserWrapper.java:73: method: Date org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getDateCreated()
    //#input(Date getDateCreated()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(Date getDateCreated()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(Date getDateCreated()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getDateCreated()Ljava/util/Date;
    //#input(Date getDateCreated()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(Date getDateCreated()): this
    //#input(Date getDateCreated()): this.pojo
    //#input(Date getDateCreated()): this.pojo.__Tag
    //#input(Date getDateCreated()): this.pojo.dateCreated
    //#input(Date getDateCreated()): this.pojo.pcStateManager
    //#output(Date getDateCreated()): return_value
    //#pre[3] (Date getDateCreated()): this.pojo != null
    //#pre[4] (Date getDateCreated()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (Date getDateCreated()): init'ed(this.pojo.dateCreated)
    //#pre[6] (Date getDateCreated()): init'ed(this.pojo.pcStateManager)
    //#pre[1] (Date getDateCreated()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_294
    //#post(Date getDateCreated()): init'ed(return_value)
    //#unanalyzed(Date getDateCreated()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#unanalyzed(Date getDateCreated()): Effects-of-calling:java.util.Date:clone
    //#UserWrapper.java:73: end of method: Date org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getDateCreated()
    }
    
    
    public String getLocale() {
        return this.pojo.getLocale();
    //#UserWrapper.java:78: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getLocale()
    //#input(String getLocale()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getLocale()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getLocale()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getLocale()Ljava/lang/String;
    //#input(String getLocale()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getLocale()): this
    //#input(String getLocale()): this.pojo
    //#input(String getLocale()): this.pojo.__Tag
    //#input(String getLocale()): this.pojo.locale
    //#input(String getLocale()): this.pojo.pcStateManager
    //#output(String getLocale()): return_value
    //#pre[3] (String getLocale()): this.pojo != null
    //#pre[4] (String getLocale()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getLocale()): init'ed(this.pojo.locale)
    //#pre[6] (String getLocale()): init'ed(this.pojo.pcStateManager)
    //#pre[1] (String getLocale()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_289
    //#post(String getLocale()): return_value == this.pojo.locale
    //#post(String getLocale()): init'ed(return_value)
    //#unanalyzed(String getLocale()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:78: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getLocale()
    }
    
    
    public String getTimeZone() {
        return this.pojo.getTimeZone();
    //#UserWrapper.java:83: method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getTimeZone()
    //#input(String getTimeZone()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[org/apache/roller/weblogger/pojos/User]
    //#input(String getTimeZone()): org/apache/roller/weblogger/pojos/User.__Descendant_Table[others]
    //#input(String getTimeZone()): org/apache/roller/weblogger/pojos/User.__Dispatch_Table.getTimeZone()Ljava/lang/String;
    //#input(String getTimeZone()): org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount
    //#input(String getTimeZone()): this
    //#input(String getTimeZone()): this.pojo
    //#input(String getTimeZone()): this.pojo.__Tag
    //#input(String getTimeZone()): this.pojo.pcStateManager
    //#input(String getTimeZone()): this.pojo.timeZone
    //#output(String getTimeZone()): return_value
    //#pre[3] (String getTimeZone()): this.pojo != null
    //#pre[4] (String getTimeZone()): this.pojo.__Tag == org/apache/roller/weblogger/pojos/User
    //#pre[5] (String getTimeZone()): init'ed(this.pojo.pcStateManager)
    //#pre[6] (String getTimeZone()): init'ed(this.pojo.timeZone)
    //#pre[1] (String getTimeZone()): (soft) org/apache/roller/weblogger/pojos/User.pcInheritedFieldCount <= 4_294_967_284
    //#post(String getTimeZone()): return_value == this.pojo.timeZone
    //#post(String getTimeZone()): init'ed(return_value)
    //#unanalyzed(String getTimeZone()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#UserWrapper.java:83: end of method: String org.apache.roller.weblogger.pojos.wrapper.UserWrapper.getTimeZone()
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/UserWrapper]
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getFullName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getLocale()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getTimeZone()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getUserName()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/UserWrapper] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getDateCreated()Ljava/util/Date; == &getDateCreated
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getEmailAddress()Ljava/lang/String; == &getEmailAddress
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getFullName()Ljava/lang/String; == &getFullName
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getLocale()Ljava/lang/String; == &getLocale
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getScreenName()Ljava/lang/String; == &getScreenName
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getTimeZone()Ljava/lang/String; == &getTimeZone
    //#post(org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init): __Dispatch_Table.getUserName()Ljava/lang/String; == &getUserName
    //#UserWrapper.java:: end of method: org.apache.roller.weblogger.pojos.wrapper.UserWrapper.org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init
    //#UserWrapper.java:: end of class: org.apache.roller.weblogger.pojos.wrapper.UserWrapper
