KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > swing > scrollbars > spi > MarkingModel


1 /*
2  * The contents of this file are subject to the terms of the Common Development
3  * and Distribution License (the License). You may not use this file except in
4  * compliance with the License.
5  *
6  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html
7  * or http://www.netbeans.org/cddl.txt.
8  *
9  * When distributing Covered Code, include this CDDL Header Notice in each file
10  * and include the License file at http://www.netbeans.org/cddl.txt.
11  * If applicable, add the following below the CDDL Header, with the fields
12  * enclosed by brackets [] replaced by your own identifying information:
13  * "Portions Copyrighted [year] [name of copyright owner]"
14  *
15  * The Original Software is NetBeans. The Initial Developer of the Original
16  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun
17  * Microsystems, Inc. All Rights Reserved.
18  */
19
20
21 /*
22  * MarkingModel.java
23  *
24  * Created on March 5, 2003, 4:41 PM
25  */
26
27 package org.netbeans.swing.scrollbars.spi;
28
29 import javax.swing.event.ChangeListener JavaDoc;
30 import java.util.Enumeration JavaDoc;
31
32 /** Model for a list of marks.
33  *
34  * @author Tim Boudreau
35  * @version 1.0
36  */
37 public interface MarkingModel {
38     /** Find out how many marks this model contains.
39      * @return The count
40      */
41     public int size();
42     /** Get a mark at a specific index
43      * @param i The index
44      * @return The Mark
45      */
46     public Mark getMark (int i);
47     /** Get an enumeration of all marks.
48      * @return The enumeration
49      */
50     public Enumeration JavaDoc getMarks();
51     /** Get the highest number a Mark could return for its location.
52      * @return The extent
53      */
54     public int getMaxMarkLocation ();
55     
56     public void addChangeListener (ChangeListener JavaDoc ch);
57     
58     public void removeChangeListener(ChangeListener JavaDoc ch);
59 }
60
Popular Tags