samples/javabeans/src/org/apidesign/javabeans/toomany/HighlightsContainer.java
changeset 102 461397695234
child 132 3bc4c54f4bcc
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/toomany/HighlightsContainer.java	Sat Jun 14 09:54:22 2008 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +package org.apidesign.javabeans.toomany;
     1.5 +
     1.6 +import java.util.TooManyListenersException;
     1.7 +
     1.8 +public interface HighlightsContainer {        
     1.9 +// BEGIN: javabeans.with.HighlightsContainer.TooMany
    1.10 +  public void addHighlightsChangeListener(HighlightsChangeListener listener) throws TooManyListenersException;
    1.11 +// END: javabeans.with.HighlightsContainer.TooMany
    1.12 +  public HighlightsSequence getHighlights(int startOffset, int endOffset);
    1.13 +  public void removeHighlightsChangeListener(HighlightsChangeListener listener);
    1.14 +}