eec991f735
Now using reflection API to invoke Java 1.4-specific functionality. Thus, Savant now builds on my Java 1.3.1_04 box.
111 lines
3.1 KiB
Java
111 lines
3.1 KiB
Java
/*
|
|
The contents of this file are subject to the THDL Open Community License
|
|
Version 1.0 (the "License"); you may not use this file except in compliance
|
|
with the License. You may obtain a copy of the License on the THDL web site
|
|
(http://www.thdl.org/).
|
|
|
|
Software distributed under the License is distributed on an "AS IS" basis,
|
|
WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
|
|
License for the specific terms governing rights and limitations under the
|
|
License.
|
|
|
|
The Initial Developer of this software is the Tibetan and Himalayan Digital
|
|
Library (THDL). Portions created by the THDL are Copyright 2001 THDL.
|
|
All Rights Reserved.
|
|
|
|
Contributor(s): ______________________________________.
|
|
*/
|
|
|
|
package org.thdl.savant;
|
|
|
|
import java.awt.*;
|
|
import java.util.*;
|
|
import javax.swing.*;
|
|
import javax.swing.text.*;
|
|
|
|
public class TextPlayer extends JPanel implements AnnotationPlayer
|
|
{
|
|
private JTextComponent text;
|
|
private Hashtable hashStart, hashEnd, highlights;
|
|
private Highlighter highlighter;
|
|
private Highlighter.HighlightPainter highlightPainter;
|
|
|
|
public TextPlayer(JTextComponent textcomponent, Color highlightcolor, String ids, String startoffsets, String endoffsets)
|
|
{
|
|
text = textcomponent;
|
|
text.setEditable(false);
|
|
hashStart = new Hashtable();
|
|
hashEnd = new Hashtable();
|
|
highlights = new Hashtable();
|
|
|
|
StringTokenizer stIDS = new StringTokenizer(ids, ",");
|
|
StringTokenizer stSTARTS = new StringTokenizer(startoffsets, ",");
|
|
StringTokenizer stENDS = new StringTokenizer(endoffsets, ",");
|
|
while ((stIDS.hasMoreTokens()) && (stSTARTS.hasMoreTokens()) && (stENDS.hasMoreTokens())) {
|
|
String sID = stIDS.nextToken();
|
|
String sStart = stSTARTS.nextToken();
|
|
String sEnd = stENDS.nextToken();
|
|
try {
|
|
Integer start = new Integer(sStart);
|
|
hashStart.put(sID, start);
|
|
} catch (NumberFormatException err) {
|
|
hashStart.put(sID, new Integer(0));
|
|
}
|
|
try {
|
|
Integer end = new Integer(sEnd);
|
|
hashEnd.put(sID, end);
|
|
} catch (NumberFormatException err) {
|
|
hashEnd.put(sID, new Integer(0));
|
|
}
|
|
}
|
|
|
|
highlighter = text.getHighlighter();
|
|
highlightPainter = new DefaultHighlighter.DefaultHighlightPainter(highlightcolor);
|
|
|
|
setLayout(new GridLayout(1,1));
|
|
add(new JScrollPane(text, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER));
|
|
}
|
|
|
|
public boolean isPlayableAnnotation(String id)
|
|
{
|
|
return hashStart.containsKey(id);
|
|
}
|
|
|
|
public void startAnnotation(String id)
|
|
{
|
|
if (isPlayableAnnotation(id))
|
|
highlight(id);
|
|
}
|
|
|
|
public void stopAnnotation(String id)
|
|
{
|
|
if (isPlayableAnnotation(id))
|
|
unhighlight(id);
|
|
}
|
|
|
|
private void highlight(String id)
|
|
{
|
|
try
|
|
{
|
|
Integer startInt = (Integer)hashStart.get(id);
|
|
Integer endInt = (Integer)hashEnd.get(id);
|
|
int start = startInt.intValue();
|
|
int end = endInt.intValue();
|
|
Object tag = highlighter.addHighlight(start, end, highlightPainter);
|
|
highlights.put(id, tag);
|
|
}
|
|
catch (BadLocationException ble)
|
|
{
|
|
ble.printStackTrace();
|
|
}
|
|
}
|
|
|
|
private void unhighlight(String id)
|
|
{
|
|
if (highlights.containsKey(id))
|
|
{
|
|
highlighter.removeHighlight(highlights.get(id));
|
|
highlights.remove(id);
|
|
}
|
|
}
|
|
}
|