CodeColoring.java

gehe zur Dokumentation dieser Datei

package de.lathanda.eos.common.gui;
 
import java.awt.Color;
import java.util.LinkedList;
 
import javax.swing.SwingUtilities;
import javax.swing.text.SimpleAttributeSet;
import javax.swing.text.StyleConstants;
 
import de.lathanda.eos.base.util.GuiToolkit;
import de.lathanda.eos.baseparser.InfoToken;
import de.lathanda.eos.vm.Marker;
 
 
public class CodeColoring implements CodeColorHook {
    private final SimpleAttributeSet attributeSetBase = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetMark = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetUnmark = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetError = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetComment = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetLiteral = new SimpleAttributeSet();
    private final SimpleAttributeSet attributeSetKeyword = new SimpleAttributeSet();
    private SourceCode sourceCode;
    private Marker newCodePointer;
    private Marker codePointer;
    private boolean codePointerDirty = false;
 
    public CodeColoring() {
        this.codePointer = new Marker();
        StyleConstants.setBackground(attributeSetBase, Color.WHITE);
        StyleConstants.setForeground(attributeSetBase, Color.BLACK);
        StyleConstants.setUnderline(attributeSetBase, false);
        StyleConstants.setBold(attributeSetBase, false);
        StyleConstants.setForeground(attributeSetComment, new Color(0, 160, 0));
        StyleConstants.setForeground(attributeSetLiteral, Color.BLUE);
        StyleConstants.setForeground(attributeSetKeyword, Color.BLACK);
        StyleConstants.setForeground(attributeSetError, Color.RED);
        StyleConstants.setBold(attributeSetKeyword, true);
        StyleConstants.setBackground(attributeSetMark, Color.YELLOW);
        StyleConstants.setBackground(attributeSetUnmark, Color.WHITE);
    }
 
    @Override
    public void setFontSize(int size) {
        StyleConstants.setFontSize(attributeSetBase, GuiToolkit.getFontSize(size));
        StyleConstants.setFontSize(attributeSetComment, GuiToolkit.getFontSize(size));
        StyleConstants.setFontSize(attributeSetLiteral, GuiToolkit.getFontSize(size));
        StyleConstants.setFontSize(attributeSetKeyword, GuiToolkit.getFontSize(size));
        StyleConstants.setFontSize(attributeSetMark, GuiToolkit.getFontSize(size));
        StyleConstants.setFontSize(attributeSetUnmark, GuiToolkit.getFontSize(size));
    }
 
    @Override
    public void doColoring() {
        if (sourceCode.getProgram() == null) {
            sourceCode.setCharacterAttributes(0, sourceCode.getLength(), attributeSetBase, true);
            return;
        }
        LinkedList<InfoToken> tokens = sourceCode.getProgram().getTokenList();
        // remove previous coloring
        // change size
        sourceCode.setCharacterAttributes(0, sourceCode.getLength(), attributeSetBase, true);
        for (InfoToken t : tokens) {
            switch (t.getFormat()) {
            case COMMENT:
                sourceCode.setCharacterAttributes(t.getBegin(), t.getLength(), attributeSetComment, true);
                break;
            case LITERAL:
                sourceCode.setCharacterAttributes(t.getBegin(), t.getLength(), attributeSetLiteral, true);
                break;
            case KEYWORD:
                sourceCode.setCharacterAttributes(t.getBegin(), t.getLength(), attributeSetKeyword, true);
                break;
            case PLAIN:
                // no formating
            default:
                // no formating
            }
        }
    }
 
    private synchronized void markExecutionPoint() {
        if (codePointer != null) {
            sourceCode.setCharacterAttributes(codePointer.getBeginPosition(), codePointer.getLength(),
                    attributeSetUnmark, false);
        }
        codePointer = newCodePointer;
        codePointerDirty = false;
 
        if (codePointer != null) {
            sourceCode.setCharacterAttributes(codePointer.getBeginPosition(), codePointer.getLength(), attributeSetMark,
                    false);
        }
    }
 
    @Override
    public synchronized void unmarkExecutionPoint() {
        if (codePointer != null) {
            int begin = codePointer.getBeginPosition();
            int length = codePointer.getLength();
            sourceCode.setCharacterAttributes(begin, length, attributeSetUnmark, false);
        }
    }
 
    @Override
    public void markError(Marker code) {
        sourceCode.setCharacterAttributes(code.getBeginPosition(), code.getLength(), attributeSetError, false);
    }
 
    @Override
    public synchronized void markExecutionPoint(Marker codeRange) {
        newCodePointer = codeRange;
        if (!codePointerDirty) {
            codePointerDirty = true;
            SwingUtilities.invokeLater(() -> markExecutionPoint());
        }
    }
 
    @Override
    public void init(SourceCode source) {
        this.sourceCode = source;
    }
}