jdk/src/jdk.jdi/share/classes/com/sun/jdi/event/EventSet.java
changeset 30037 3e785fad2c3b
parent 25859 3317bb8137f4
child 34894 3248b89d1921
equal deleted inserted replaced
30036:3d4eb4503c18 30037:3e785fad2c3b
    49  * to complete the processing of an event set with
    49  * to complete the processing of an event set with
    50  * {@link #resume() EventSet.resume()}.
    50  * {@link #resume() EventSet.resume()}.
    51  * <P>
    51  * <P>
    52  * The events that are grouped in an EventSet are restricted in the
    52  * The events that are grouped in an EventSet are restricted in the
    53  * following ways:
    53  * following ways:
    54  * <P>
       
    55  * <UL>
    54  * <UL>
    56  * <LI>Always singleton sets:
    55  * <LI>Always singleton sets:
    57  *     <UL>
    56  *     <UL>
    58  *     <LI>{@link VMStartEvent}
    57  *     <LI>{@link VMStartEvent}
    59  *     <LI>{@link VMDisconnectEvent}
    58  *     <LI>{@link VMDisconnectEvent}