editordocument.java

人力资源管理系统主要包括：人员管理、招聘管理、培训管理、奖惩管理和薪金管理五大管理模块。

package net.sf.hibern8ide.highlighter;

/*
=====================================================================

  EditorDocument.java
  
  Created by Claude Duguay
  Copyright (c) 2002
  
=====================================================================
*/

import java.awt.*;
import javax.swing.text.*;

public class EditorDocument extends DefaultStyledDocument
{
  protected RETypes types;
  
  public EditorDocument(RETypes types)
  {
    Style defaultStyle = getStyle("default");
    StyleConstants.setFontFamily(defaultStyle, "Arial");
    StyleConstants.setFontSize(defaultStyle, 12);
    
    this.types = types;
    types.setStyles(this);
    
  }
  
  public void insertString(int offset, String text, AttributeSet style)
    throws BadLocationException
  {
    super.insertString(offset, text, style);
    highlightSyntax();
  }
  
  public void remove(int offset, int length)
    throws BadLocationException
  {
    super.remove(offset, length);
    highlightSyntax();
  }
  
  public void highlightSyntax()
  {
    try
    {
      String text = getText(0, getLength());
      setCharacterAttributes(0, getLength(),
        getStyle("default"), true);
      RETokenizer.Token token;
      RETokenizer tokenizer = new RETokenizer(types, text);
      int typeCount = types.getTypeCount();
      while ((token = tokenizer.nextToken()) != null)
      {
        int pos = token.getPos();
        String type = token.getType();
        String word = token.getText();
        int len = word.length();
        for (int i = 0; i < typeCount; i++)
        {
          String name = types.getName(i);
          if (type.equals(name))
          {
            if (types.getColor(i) == null)
            {
              String style = types.getStyleName(word);
              if (style != null)
              {
                setCharacterAttributes(
                  pos, len, getStyle(style), false);
              }
            }
            else
            {
              setCharacterAttributes(
                pos, len, getStyle(name), false);
            }
          }
        }
      }
    }
    catch (Exception e)
    {
      e.printStackTrace();
    }
  }
}