TracePane.java

Go to the documentation of this file.

package org.libcsdbg.jtracer;

import java.util.Hashtable;
import java.util.Enumeration;
import java.util.regex.Pattern;
import java.util.regex.Matcher;

import java.awt.Font;
import java.awt.Color;

import javax.swing.JTextPane;
import javax.swing.text.Style;
import javax.swing.text.StyleContext;
import javax.swing.text.StyleConstants;
import javax.swing.text.Document;

public class TracePane extends JTextPane
{
  private static final long serialVersionUID = 0x0800;

  private Hashtable<String, String> details = null;


  TracePane(Hashtable<String, String> rqst)
  {
    details = rqst;
    Registry conf = Registry.getCurrent();
    StyleContext sc = StyleContext.getDefaultStyleContext();
    Style s = addStyle("plain", sc.getStyle(sc.DEFAULT_STYLE));

    /* Create paragraph style attributes */
    Integer padding = (Integer) conf.get("text", "padding");
    if (padding != null) {
      StyleConstants.setLeftIndent(s, padding);
      StyleConstants.setRightIndent(s, padding);
    }

    Float spacing = (Float) conf.get("text", "line-height");
    if (spacing != null)
      StyleConstants.setLineSpacing(s, spacing);

    StyleConstants.setAlignment(s, StyleConstants.ALIGN_JUSTIFIED);
    setParagraphAttributes(s, true);

    /* Setup the default (plain) style */
    Font fnt = (Font) conf.get("text", "font-trace");
    if (fnt != null) {
      StyleConstants.setFontFamily(s, fnt.getFamily());
      StyleConstants.setFontSize(s, fnt.getSize());
      StyleConstants.setBold(s, fnt.isBold());
      StyleConstants.setItalic(s, fnt.isItalic());
    }

    Color fg = (Color) conf.get("text", "fgcolor-plain");
    StyleConstants.setForeground(s, fg);

    /* Based on the default style create a style for each type of token */
    fg = (Color) conf.get("text", "fgcolor-keyword");
    s = addStyle("keyword", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-type");
    s = addStyle("type", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-number");
    s = addStyle("number", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-file");
    s = addStyle("file", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-delimiter");
    s = addStyle("delimiter", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-scope");
    s = addStyle("scope", s);
    StyleConstants.setForeground(s, fg);

    fg = (Color) conf.get("text", "fgcolor-function");
    s = addStyle("function", s);
    StyleConstants.setForeground(s, fg);

    /* Set selection colors */
    Color bg = (Color) conf.get("text", "bgcolor-selection");
    fg = (Color) conf.get("text", "fgcolor-selection");
    setSelectionColor(bg);
    setSelectedTextColor(fg);

    setEditable(false);
    setAutoscrolls(true);
  }


  public String getField(String key)
  {
    return details.get(key);
  }


  public Enumeration getFieldKeys()
  {
    return details.keys();
  }


  public void append(String trace)
  {
    /* Delimiters */
    String expr = "[\\s\\{\\}\\(\\)\\*&,:<>]+";

    Pattern regexp = Pattern.compile(expr);
    Matcher parser = regexp.matcher(trace);

    /* Parse the trace and append it word-by-word doing syntax highlighting */
    int offset = 0;
    String prev = null;
    while (parser.find()) {
      String grp = parser.group();
      String token = trace.substring(offset, parser.start());
      offset = parser.end();

      append(token, prev, grp);
      append(grp, "delimiter");
      prev = grp;
    }

    if (offset < trace.length() - 1)
      append(trace.substring(offset), prev, null);
  }


  public void append(String token, String prev, String next)
  {
    Highlighter h = new Highlighter();
    String num = "(0x)?\\p{XDigit}+$";

    /* Highlight decimal and hex numbers */
    if (token.matches(num))
      append(token, "number");

    /* Highlight file names */
    else if (h.lookup(token, "extension", true))
      append(token, "file");

    /* Highlight C++ integral types */
    else if (h.lookup(token, "type", false))
      append(token, "type");

    /* Highlight C++ keywords (apart those for integral types) */
    else if (h.lookup(token, "keyword", false))
      append(token, "keyword");

    /* Highlight C++ namespaces and classes */
    else if (next.equals("::"))
      append(token, "scope");

    /* Highlight function names */
    else if (next.equals("(") || next.equals("<") || next.startsWith("\n"))
      append(token, "function");

    else
      append(token, "plain");
  }


  public void append(String ln, String tag)
  {
    try {
      Document doc = getDocument();
      int len = doc.getLength();
      doc.insertString(len, ln, getStyle(tag));
      setCaretPosition(len + ln.length());
    }

    catch (Throwable t) {
      Registry.debug(t);
    }
  }


  public void appendln(String ln, String tag)
  {
    append(ln + "\n", tag);
  }


  public void clear()
  {
    try {
      Document doc = getDocument();
      doc.remove(0, doc.getLength());
      setCaretPosition(0);
    }

    catch (Throwable t) {
      Registry.debug(t);
    }
  }
}