javax/swing/event/DocumentEvent.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package javax.swing.event;

import javax.swing.text.*;


public interface DocumentEvent
{
    class ElementChange
    {
    }

    class EventType
    {
    }

    ElementChange getChange(Element elem);
    Document getDocument();
    int getLength();
    int getOffset();
    EventType getType();
}