Class PrefetchCompleteEvent


public class PrefetchCompleteEvent
extends TransitionEvent

A PrefetchCompleteEvent is posted when a Controller finishes Prefetching. This occurs when a Controller moves from the Prefetching state to the Prefetched state, or as an acknowledgement that the prefetch method was called and the Controller is already Prefetched.

See Also:
Controller, ControllerListener, Serialized Form

Fields inherited from class java.util.EventObject
Constructor Summary
PrefetchCompleteEvent(Controller from, int previous, int current, int target)
Methods inherited from class
getCurrentState, getPreviousState, getTargetState, toString
Methods inherited from class
getSource, getSourceController
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail


public PrefetchCompleteEvent(Controller from,
                             int previous,
                             int current,
                             int target)