01: /*
02: * Licensed to the Apache Software Foundation (ASF) under one or more
03: * contributor license agreements. See the NOTICE file distributed with
04: * this work for additional information regarding copyright ownership.
05: * The ASF licenses this file to You under the Apache License, Version 2.0
06: * (the "License"); you may not use this file except in compliance with
07: * the License. You may obtain a copy of the License at
08: *
09: * http://www.apache.org/licenses/LICENSE-2.0
10: *
11: * Unless required by applicable law or agreed to in writing, software
12: * distributed under the License is distributed on an "AS IS" BASIS,
13: * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14: * See the License for the specific language governing permissions and
15: * limitations under the License.
16: */
17: /**
18: * @author Alexey A. Ivanov
19: * @version $Revision$
20: */package javax.swing.text;
21:
22: import java.awt.Graphics;
23:
24: /**
25: * Interval with unselected text.
26: */
27: final class UnselectedTextInterval extends TextInterval {
28: /**
29: * Creates <em>unselected</em> text interval.
30: *
31: * @param start the start of the interval.
32: * @param end the end of the interval.
33: * @param painter the painter to use.
34: */
35: public UnselectedTextInterval(final int start, final int end,
36: final TextIntervalPainter painter) {
37: super (start, end, painter);
38: }
39:
40: public TextInterval[] dissect(final TextInterval anotherInterval) {
41: return dissect(this , anotherInterval);
42: }
43:
44: public String getType() {
45: return "Unselected";
46: }
47:
48: public int paint(final Graphics g, final int x, final int y)
49: throws BadLocationException {
50: return painter.paintUnselected(g, start, end, x, y);
51: }
52: }
|