//# 0 errors, 61 messages
//#
/*
    //#blogentryevent.java:1:1: class: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent
    //#blogentryevent.java:1:1: method: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.api.event.blogentry;

import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.api.event.PebbleEvent;

import java.util.List;

/**
 * Event to signify that a blog entry has been added, removed or changed.
 *
 * @author Simon Brown
 */
public class BlogEntryEvent extends PebbleEvent {

  /** constant representing blog entry added type */
  public static final int BLOG_ENTRY_ADDED = 0;

  /** constant representing blog entry removed type */
  public static final int BLOG_ENTRY_REMOVED = 1;

  /** constant representing blog entry changed type */
  public static final int BLOG_ENTRY_CHANGED = 2;

  /** constant representing blog entry published type */
  public static final int BLOG_ENTRY_PUBLISHED = 3;

  /** constant representing blog entry unpublished type */
  public static final int BLOG_ENTRY_UNPUBLISHED = 4;

  /** the list of property change events that caused this event */
  private List propertyChangeEvents;

  /**
   * Creates a new instance with the specified source and type.
   *
   * @param blogEntry   the blog entry that created this event
   * @param type        the type of this event
   */
  public BlogEntryEvent(BlogEntry blogEntry, int type) {
    super(blogEntry, type);
    //#blogentryevent.java:71: method: void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): blogEntry
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): this
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): type
    //#output(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): this.type
    //#output(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): this.vetoed
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): this.type == type
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): init'ed(this.type)
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): this.vetoed == 0
    //#unanalyzed(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)): Effects-of-calling:java.util.EventObject
  }
    //#blogentryevent.java:72: end of method: void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, int)

  /**
   * Creates a new instance with the specified source and type.
   *
   * @param blogEntry   the blog entry that created this event
   * @param propertyChangeEvents    the type of this event
   */
  public BlogEntryEvent(BlogEntry blogEntry, List propertyChangeEvents) {
    super(blogEntry, BLOG_ENTRY_CHANGED);
    //#blogentryevent.java:81: method: void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): blogEntry
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): propertyChangeEvents
    //#input(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this
    //#output(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.propertyChangeEvents
    //#output(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.type
    //#output(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.vetoed
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.propertyChangeEvents == propertyChangeEvents
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): init'ed(this.propertyChangeEvents)
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.type == 2
    //#post(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): this.vetoed == 0
    //#unanalyzed(void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)): Effects-of-calling:java.util.EventObject
    this.propertyChangeEvents = propertyChangeEvents;
  }
    //#blogentryevent.java:83: end of method: void net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent(BlogEntry, List)

  /**
   * Gets the blog entry that is the source of this event.
   *
   * @return  a BlogEntry instance
   */
  public BlogEntry getBlogEntry() {
    return (BlogEntry)getSource();
    //#blogentryevent.java:91: method: BlogEntry net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.getBlogEntry()
    //#blogentryevent.java:91: Warning: method not available
    //#    -- call on Object net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent
    //#    method: BlogEntry getBlogEntry()
    //#    unanalyzed callee: Object net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource()
    //#input(BlogEntry getBlogEntry()): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(BlogEntry getBlogEntry()): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(BlogEntry getBlogEntry()): this
    //#output(BlogEntry getBlogEntry()): return_value
    //#presumption(BlogEntry getBlogEntry()): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...).__Tag@91 == net/sourceforge/pebble/domain/BlogEntry
    //#post(BlogEntry getBlogEntry()): init'ed(return_value)
    //#blogentryevent.java:91: end of method: BlogEntry net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.getBlogEntry()
  }

  /**
   * Gets the list of property change events that caused this event.
   *
   * @return  a List of PropertyChangeEvent objects, or null if the type of
   *          this event is not BLOG_ENTRY_CHANGED
   */
  public List getPropertyChangeEvents() {
    return this.propertyChangeEvents;
    //#blogentryevent.java:101: method: List net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.getPropertyChangeEvents()
    //#input(List getPropertyChangeEvents()): this
    //#input(List getPropertyChangeEvents()): this.propertyChangeEvents
    //#output(List getPropertyChangeEvents()): return_value
    //#pre[2] (List getPropertyChangeEvents()): init'ed(this.propertyChangeEvents)
    //#post(List getPropertyChangeEvents()): return_value == this.propertyChangeEvents
    //#post(List getPropertyChangeEvents()): init'ed(return_value)
    //#blogentryevent.java:101: end of method: List net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.getPropertyChangeEvents()
  }

}
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getPropertyChangeEvents()Ljava/util/List;
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getType()I
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.isVetoed()Z
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.veto()V
    //#output(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): net/sourceforge/pebble/api/event/PebbleEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): net/sourceforge/pebble/api/event/PebbleEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry; == &getBlogEntry
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getPropertyChangeEvents()Ljava/util/List; == &getPropertyChangeEvents
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.getType()I == &net/sourceforge/pebble/api/event/PebbleEvent.getType
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.isVetoed()Z == &net/sourceforge/pebble/api/event/PebbleEvent.isVetoed
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &net/sourceforge/pebble/api/event/PebbleEvent.toString
    //#post(net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init): __Dispatch_Table.veto()V == &net/sourceforge/pebble/api/event/PebbleEvent.veto
    //#blogentryevent.java:: end of method: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent.net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent__static_init
    //#blogentryevent.java:: end of class: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent
