jtulach@102: package org.apidesign.javabeans.without;
jtulach@102: 
jtulach@102: // BEGIN: javabeans.without
jtulach@102: public interface HighlightsContainer {        
jtulach@102:     public void initialize(Callback callback);
jtulach@102:     public HighlightsSequence getHighlights(int startOffset, int endOffset);
jtulach@102: 
jtulach@102:     public static final class Callback {
jtulach@102:         Callback() { /* only for the infastructure */ }
jtulach@102: 
jtulach@102:         public final void highlightsChanged() {
jtulach@102:             // refresh everything
jtulach@102:         }
jtulach@102:     }
jtulach@102: }
jtulach@102: // END: javabeans.without