//# 0 errors, 93 messages
//#
/*
    //#AppModuleImpl.java:1:1: class: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl
    //#AppModuleImpl.java:1:1: method: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__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.webservices.atomprotocol;

import com.sun.syndication.feed.module.ModuleImpl;
import java.util.Date;

public class AppModuleImpl extends ModuleImpl implements AppModule {
    private boolean draft = false;
    private Date edited = null;
    
    public AppModuleImpl() {
        super(AppModule.class, AppModule.URI);
    //#AppModuleImpl.java:28: method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()
    //#AppModuleImpl.java:28: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.module.ModuleImpl(Class, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl
    //#    method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()
    //#    unanalyzed callee: void com.sun.syndication.feed.module.ModuleImpl(Class, String)
    //#input(void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()): this
    //#output(void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()): this.draft
    //#output(void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()): this.edited
    //#post(void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()): this.draft == 0
    //#post(void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()): this.edited == null
    }
    //#AppModuleImpl.java:29: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl()
    
    public boolean getDraft() {
        return draft;
    //#AppModuleImpl.java:32: method: bool org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getDraft()
    //#input(bool getDraft()): this
    //#input(bool getDraft()): this.draft
    //#output(bool getDraft()): return_value
    //#pre[2] (bool getDraft()): init'ed(this.draft)
    //#post(bool getDraft()): return_value == this.draft
    //#post(bool getDraft()): init'ed(return_value)
    //#AppModuleImpl.java:32: end of method: bool org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getDraft()
    }
    
    public void setDraft(boolean draft) {
        this.draft = draft;
    //#AppModuleImpl.java:36: method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.setDraft(bool)
    //#input(void setDraft(bool)): draft
    //#input(void setDraft(bool)): this
    //#output(void setDraft(bool)): this.draft
    //#post(void setDraft(bool)): this.draft == draft
    //#post(void setDraft(bool)): init'ed(this.draft)
    }
    //#AppModuleImpl.java:37: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.setDraft(bool)
    
    public Date getEdited() {
        return edited;
    //#AppModuleImpl.java:40: method: Date org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getEdited()
    //#input(Date getEdited()): this
    //#input(Date getEdited()): this.edited
    //#output(Date getEdited()): return_value
    //#pre[2] (Date getEdited()): init'ed(this.edited)
    //#post(Date getEdited()): return_value == this.edited
    //#post(Date getEdited()): init'ed(return_value)
    //#AppModuleImpl.java:40: end of method: Date org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getEdited()
    }

    public void setEdited(Date edited) {
        this.edited = edited;
    //#AppModuleImpl.java:44: method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.setEdited(Date)
    //#input(void setEdited(Date)): edited
    //#input(void setEdited(Date)): this
    //#output(void setEdited(Date)): this.edited
    //#post(void setEdited(Date)): this.edited == edited
    //#post(void setEdited(Date)): init'ed(this.edited)
    }
    //#AppModuleImpl.java:45: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.setEdited(Date)
    
    public Class getInterface() {
        return AppModule.class;
    //#AppModuleImpl.java:48: method: Class org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getInterface()
    //#output(Class getInterface()): return_value
    //#post(Class getInterface()): return_value == &org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Class_Obj
    //#AppModuleImpl.java:48: end of method: Class org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.getInterface()
    }
    
    public void copyFrom(Object obj) {
        AppModule m = (AppModule)obj;
    //#AppModuleImpl.java:52: method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.copyFrom(Object)
    //#AppModuleImpl.java:52: Warning: suspicious precondition
    //#    the precondition for obj.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl
    //#    method: void copyFrom(Object)
    //#    suspicious precondition index: [2]
    //#input(void copyFrom(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#input(void copyFrom(Object)): __Descendant_Table[others]
    //#input(void copyFrom(Object)): __Dispatch_Table.getDraft()Z
    //#input(void copyFrom(Object)): __Dispatch_Table.getEdited()Ljava/util/Date;
    //#input(void copyFrom(Object)): __Dispatch_Table.setDraft(Z)V
    //#input(void copyFrom(Object)): __Dispatch_Table.setEdited(Ljava/util/Date;)V
    //#input(void copyFrom(Object)): obj
    //#input(void copyFrom(Object)): obj.__Tag
    //#input(void copyFrom(Object)): obj.draft
    //#input(void copyFrom(Object)): obj.edited
    //#input(void copyFrom(Object)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#input(void copyFrom(Object)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModule]
    //#input(void copyFrom(Object)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[others]
    //#input(void copyFrom(Object)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Dispatch_Table.getDraft()Z
    //#input(void copyFrom(Object)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Dispatch_Table.getEdited()Ljava/util/Date;
    //#input(void copyFrom(Object)): this
    //#input(void copyFrom(Object)): this.__Tag
    //#output(void copyFrom(Object)): this.draft
    //#output(void copyFrom(Object)): this.edited
    //#pre[1] (void copyFrom(Object)): obj != null
    //#pre[2] (void copyFrom(Object)): obj.__Tag in {org/apache/roller/weblogger/webservices/atomprotocol/AppModule, org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl}
    //#pre[3] (void copyFrom(Object)): init'ed(obj.draft)
    //#pre[4] (void copyFrom(Object)): init'ed(obj.edited)
    //#pre[6] (void copyFrom(Object)): this.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl
    //#post(void copyFrom(Object)): this.draft == obj.draft
    //#post(void copyFrom(Object)): init'ed(this.draft)
    //#post(void copyFrom(Object)): this.edited == obj.edited
    //#post(void copyFrom(Object)): init'ed(this.edited)
        setDraft(m.getDraft());
        setEdited(m.getEdited());
    }
    //#AppModuleImpl.java:55: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.copyFrom(Object)
}
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.copyFrom(Ljava/lang/Object;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getDraft()Z
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getEdited()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getInterface()Ljava/lang/Class;
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.setDraft(Z)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.setEdited(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.copyFrom(Ljava/lang/Object;)V == &copyFrom
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getDraft()Z == &getDraft
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getEdited()Ljava/util/Date; == &getEdited
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.getInterface()Ljava/lang/Class; == &getInterface
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.setDraft(Z)V == &setDraft
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init): __Dispatch_Table.setEdited(Ljava/util/Date;)V == &setEdited
    //#AppModuleImpl.java:: end of method: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl.org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl__static_init
    //#AppModuleImpl.java:: end of class: org.apache.roller.weblogger.webservices.atomprotocol.AppModuleImpl
