//# 0 errors, 48 messages
//#
/*
    //#WeblogEntryAttributeWrapper.java:1:1: class: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper
    //#WeblogEntryAttributeWrapper.java:1:1: method: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__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 org.apache.roller.weblogger.pojos.WeblogEntryAttribute;


/**
 * Pojo safety wrapper for WeblogEntryAttribute object.
 */
public class WeblogEntryAttributeWrapper {
    
    // keep a reference to the wrapped pojo
    private final WeblogEntryAttribute pojo;
    
    // this is private so that we can force the use of the .wrap(pojo) method
    private WeblogEntryAttributeWrapper(WeblogEntryAttribute toWrap) {
    //#WeblogEntryAttributeWrapper.java:33: method: void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)): this
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)): toWrap
    //#output(void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)): this.pojo
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)): this.pojo == toWrap
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)): init'ed(this.pojo)
        this.pojo = toWrap;
    }
    //#WeblogEntryAttributeWrapper.java:35: end of method: void org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper(WeblogEntryAttribute)
    
    
    // wrap the given pojo if it is not null
    public static WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute toWrap) {
        if(toWrap != null)
    //#WeblogEntryAttributeWrapper.java:40: method: WeblogEntryAttributeWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.wrap(WeblogEntryAttribute)
    //#input(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): toWrap
    //#output(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1) num objects
    //#output(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1).__Tag
    //#output(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1).pojo
    //#output(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): return_value
    //#new obj(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1)
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): return_value == One-of{&new WeblogEntryAttributeWrapper(wrap#1), null}
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): return_value in Addr_Set{null,&new WeblogEntryAttributeWrapper(wrap#1)}
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1) num objects <= 1
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogEntryAttributeWrapper
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1).pojo == toWrap
    //#post(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): new WeblogEntryAttributeWrapper(wrap#1).pojo != null
    //#test_vector(WeblogEntryAttributeWrapper wrap(WeblogEntryAttribute)): toWrap: Addr_Set{null}, Inverse{null}
            return new WeblogEntryAttributeWrapper(toWrap);
        
        return null;
    //#WeblogEntryAttributeWrapper.java:43: end of method: WeblogEntryAttributeWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.wrap(WeblogEntryAttribute)
    }
    
    // NOTD: removing this for 4.0 because there is no need for it
//    public String getId() {
//        return this.pojo.getId();
//    }
    
    // NOTE: removing this for 4.0 because there is no need for it
//    public WeblogEntryWrapper getEntry() {
//        return WeblogEntryWrapper.wrap(this.pojo.getEntry());
//    }
    
    
    public String getName() {
        return this.pojo.getName();
    //#WeblogEntryAttributeWrapper.java:58: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.getName()
    //#WeblogEntryAttributeWrapper.java:58: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogEntryAttribute:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper
    //#    method: String getName()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogEntryAttribute:getName()
    //#input(String getName()): this
    //#input(String getName()): this.pojo
    //#output(String getName()): return_value
    //#pre[2] (String getName()): this.pojo != null
    //#post(String getName()): init'ed(return_value)
    //#WeblogEntryAttributeWrapper.java:58: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.getName()
    }
    
    
    public String getValue() {
        return this.pojo.getValue();
    //#WeblogEntryAttributeWrapper.java:63: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.getValue()
    //#WeblogEntryAttributeWrapper.java:63: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogEntryAttribute:getValue()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper
    //#    method: String getValue()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogEntryAttribute:getValue()
    //#input(String getValue()): this
    //#input(String getValue()): this.pojo
    //#output(String getValue()): return_value
    //#pre[2] (String getValue()): this.pojo != null
    //#post(String getValue()): init'ed(return_value)
    //#WeblogEntryAttributeWrapper.java:63: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.getValue()
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogEntryAttributeWrapper]
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Dispatch_Table.getValue()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogEntryAttributeWrapper] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init): __Dispatch_Table.getValue()Ljava/lang/String; == &getValue
    //#WeblogEntryAttributeWrapper.java:: end of method: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper__static_init
    //#WeblogEntryAttributeWrapper.java:: end of class: org.apache.roller.weblogger.pojos.wrapper.WeblogEntryAttributeWrapper
