Swing/SimpleSyntaxHighlight のバックアップの現在との差分(No.2)

JTextPaneでキーワードのSyntaxHighlight

サンプルコード

#spanend
#spandel
//From: http://www.discoverteenergy.com/files/SyntaxDocument.java
#spanend
#spanadd
* サンプルコード [#sourcecode]
#spanend
#spanadd
#code(link){{
#spanend
#spanadd
// This code is taken from: SyntaxDocument.java, MultiSyntaxDocument.java
#spanend
#spanadd
// Fast styled JTextPane editor | Oracle Community
#spanend
#spanadd
// @author camickr
#spanend
#spanadd
// @author David Underhill
#spanend
#spanadd
// https://community.oracle.com/thread/2105230
#spanend
#spanadd
// modified by aterai aterai@outlook.com
#spanend
class SimpleSyntaxDocument extends DefaultStyledDocument {
  HashMap<String,AttributeSet> keywords = new HashMap<String,AttributeSet>();
  MutableAttributeSet normal = new SimpleAttributeSet();
  private final Style normal;
  private static final String OPERANDS = ".,";
  public SimpleSyntaxDocument() {
    super();
    Style def = StyleContext.getDefaultStyleContext().getStyle(
        StyleContext.DEFAULT_STYLE);
    normal = addStyle("normal", def);
    StyleConstants.setForeground(normal, Color.BLACK);
    MutableAttributeSet color;
    StyleConstants.setForeground(color = new SimpleAttributeSet(), Color.RED);
    keywords.put("red", color);
    StyleConstants.setForeground(color = new SimpleAttributeSet(), Color.GREEN);
    keywords.put("green", color);
    StyleConstants.setForeground(color = new SimpleAttributeSet(), Color.BLUE);
    keywords.put("blue", color);
    StyleConstants.setForeground(addStyle("red",   normal), Color.RED);
    StyleConstants.setForeground(addStyle("green", normal), Color.GREEN);
    StyleConstants.setForeground(addStyle("blue",  normal), Color.BLUE);
  }
  @Override
  public void insertString(int offset, String str, AttributeSet a) throws BadLocationException {
#spanadd

#spanend
  @Override public void insertString(int offset, String str, AttributeSet a)
        throws BadLocationException {
    super.insertString(offset, str, a);
    processChangedLines(offset, str.length());
  }
  @Override
  public void remove(int offset, int length) throws BadLocationException {
#spanadd

#spanend
  @Override public void remove(int offset, int length)
        throws BadLocationException {
    super.remove(offset, length);
    processChangedLines(offset, 0);
  }
  private void processChangedLines(int offset, int length) throws BadLocationException {
    Element root   = getDefaultRootElement();
    String content = getText(0, getLength());
    int startLine  = root.getElementIndex( offset );
    int endLine    = root.getElementIndex( offset + length );
    for (int i = startLine; i <= endLine; i++) {
      applyHighlighting(content, i);
#spanadd

#spanend
  private void processChangedLines(int offset, int length)
        throws BadLocationException {
    Element root = getDefaultRootElement();
    int startLine = root.getElementIndex(offset);
    int endLine = root.getElementIndex(offset + length);
    for (int line = startLine; line <= endLine; line++) {
      applyHighlighting(line);
    }
  }
  private void applyHighlighting(String content, int line) throws BadLocationException {
#spanadd

#spanend
  private void applyHighlighting(int line) throws BadLocationException {
    Element root = getDefaultRootElement();
    int startOffset   = root.getElement( line ).getStartOffset();
    int endOffset   = root.getElement( line ).getEndOffset() - 1;
    int lineLength  = endOffset - startOffset;
    int contentLength = content.length();
    if (endOffset >= contentLength) endOffset = contentLength - 1;
    int startOffset   = root.getElement(line).getStartOffset();
    int endOffset     = root.getElement(line).getEndOffset() - 1;
    int lineLength    = endOffset - startOffset;
    int contentLength = getLength();
    if (endOffset >= contentLength) {
      endOffset = contentLength - 1;
    }
    setCharacterAttributes(startOffset, lineLength, normal, true);
    checkForTokens(content, startOffset, endOffset);
    checkForTokens(startOffset, endOffset);
  }
  private void checkForTokens(String content, int startOffset, int endOffset) {
    while (startOffset <= endOffset) {
      while (isDelimiter(content.substring(startOffset, startOffset+1))) {
        if (startOffset < endOffset) {
          startOffset++;
#spanadd

#spanend
  private void checkForTokens(int startOffset, int endOffset)
        throws BadLocationException {
    int index = startOffset;
    while (index <= endOffset) {
      while (isDelimiter(getText(index, 1))) {
        if (index < endOffset) {
          index++;
        } else {
          return;
        }
      }
      startOffset = getOtherToken(content, startOffset, endOffset);
      index = getOtherToken(index, endOffset);
    }
  }
  private int getOtherToken(String content, int startOffset, int endOffset) {
#spanadd

#spanend
  private int getOtherToken(int startOffset, int endOffset)
        throws BadLocationException {
    int endOfToken = startOffset + 1;
    while ( endOfToken <= endOffset ) {
      if ( isDelimiter( content.substring(endOfToken, endOfToken + 1) ) ) {
    while (endOfToken <= endOffset) {
      if (isDelimiter(getText(endOfToken, 1))) {
        break;
      }
      endOfToken++;
    }
    String token = content.substring(startOffset, endOfToken);
    if ( keywords.containsKey( token ) ) {
      setCharacterAttributes(startOffset, endOfToken - startOffset, keywords.get(token), false);
    String token = getText(startOffset, endOfToken - startOffset);
    Style s = getStyle(token);
    if (s != null) {
      setCharacterAttributes(startOffset, endOfToken - startOffset, s, false);
    }
    return endOfToken + 1;
  }
  String operands = ".,";
#spanadd

#spanend
  protected boolean isDelimiter(String character) {
    return Character.isWhitespace(character.charAt(0)) || operands.indexOf(character)!=-1;
    return Character.isWhitespace(
        character.charAt(0)) || OPERANDS.indexOf(character) != -1;
  }
}

• 区切り文字は、空白、.(ドット)、,(カンマ)の3つのみ
• Javaのシンタックスハイライトを行うサンプルコード(参考リンクのSyntaxDocument.javaなど)からキーワードのハイライト部分を抜き出して作成

• SyntaxDocument.java
• Customizing a Text Editor
• Text Editor Tutorial

参考リンク

コメント