home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text;
-
- class DefaultHighlighter$HighlightInfo implements Highlighter.Highlight {
- // $FF: renamed from: p0 javax.swing.text.Position
- Position field_0;
- // $FF: renamed from: p1 javax.swing.text.Position
- Position field_1;
- Highlighter.HighlightPainter painter;
- // $FF: synthetic field
- private final DefaultHighlighter this$0;
-
- DefaultHighlighter$HighlightInfo(DefaultHighlighter var1) {
- this.this$0 = var1;
- }
-
- public int getStartOffset() {
- return this.field_0.getOffset();
- }
-
- public int getEndOffset() {
- return this.field_1.getOffset();
- }
-
- public Highlighter.HighlightPainter getPainter() {
- return this.painter;
- }
- }
-