//# 0 errors, 38 messages
//#
/*
    //#trackbackevent.java:1:1: class: net.sourceforge.pebble.api.event.trackback.TrackBackEvent
    //#trackbackevent.java:1:1: method: net.sourceforge.pebble.api.event.trackback.TrackBackEvent.net.sourceforge.pebble.api.event.trackback.TrackBackEvent__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.trackback;

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

/**
 * Event to signify that a TrackBack has been added/removed.
 *
 * @author Simon Brown
 */
public class TrackBackEvent extends PebbleEvent {

  /** constant representing TrackBack added type */
  public static final int TRACKBACK_ADDED = 0;

  /** constant representing TrackBack removed type */
  public static final int TRACKBACK_REMOVED = 1;

  /** constant representing TrackBack approved type */
  public static final int TRACKBACK_APPROVED = 2;

  /** constant representing TrackBack rejected type */
  public static final int TRACKBACK_REJECTED = 3;

  /**
   * Creates a new instance with the specified source and type.
   *
   * @param trackBack   the TrackBack that initiated this event
   * @param type        the type of this event
   */
  public TrackBackEvent(TrackBack trackBack, int type) {
    super(trackBack, type);
    //#trackbackevent.java:63: method: void net.sourceforge.pebble.api.event.trackback.TrackBackEvent.net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)
    //#input(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): this
    //#input(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): trackBack
    //#input(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): type
    //#output(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): this.type
    //#output(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): this.vetoed
    //#post(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): this.type == type
    //#post(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): init'ed(this.type)
    //#post(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): this.vetoed == 0
    //#unanalyzed(void net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)): Effects-of-calling:java.util.EventObject
  }
    //#trackbackevent.java:64: end of method: void net.sourceforge.pebble.api.event.trackback.TrackBackEvent.net.sourceforge.pebble.api.event.trackback.TrackBackEvent(TrackBack, int)

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

}
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.getType()I
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.isVetoed()Z
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.veto()V
    //#output(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): net/sourceforge/pebble/api/event/PebbleEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): net/sourceforge/pebble/api/event/PebbleEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack; == &getTrackBack
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.getType()I == &net/sourceforge/pebble/api/event/PebbleEvent.getType
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.isVetoed()Z == &net/sourceforge/pebble/api/event/PebbleEvent.isVetoed
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &net/sourceforge/pebble/api/event/PebbleEvent.toString
    //#post(net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init): __Dispatch_Table.veto()V == &net/sourceforge/pebble/api/event/PebbleEvent.veto
    //#trackbackevent.java:: end of method: net.sourceforge.pebble.api.event.trackback.TrackBackEvent.net.sourceforge.pebble.api.event.trackback.TrackBackEvent__static_init
    //#trackbackevent.java:: end of class: net.sourceforge.pebble.api.event.trackback.TrackBackEvent
