highlighter.cpp

#include <highlighter.h>
/*Highlighter*/

Highlighter::Highlighter(QTextDocument *parent)
     : QSyntaxHighlighter(parent)
 {
     HighlightingRule rule;

     keywordFormat.setForeground(Qt::black);
     keywordFormat.setFontWeight(QFont::Bold);
     keywordFormat.setFontUnderline(true);
     QStringList keywordPatterns;
     keywordPatterns << "\\bProof\\b" << "\\bCase\\b";
     foreach (const QString &pattern, keywordPatterns) {
         rule.pattern = QRegExp(pattern);
         rule.format = keywordFormat;
         highlightingRules.append(rule);
     }
    // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      classFormat.setFontWeight(QFont::Bold);
      classFormat.setForeground(Qt::darkMagenta);
      rule.pattern = QRegExp("\\bQ[A-Za-z]+\\b");
      rule.format = classFormat;
      highlightingRules.append(rule);

      hintFormat1.setForeground(Qt::darkGray);
      hintFormat1.setFontItalic(true);
      rule.pattern = QRegExp("〈.*〉");
      rule.format = hintFormat1;
      highlightingRules.append(rule);

      hintFormat2.setForeground(Qt::gray);
      hintFormat2.setFontItalic(true);
      rule.pattern = QRegExp("\":.*:\"");
      rule.format = hintFormat2;
      highlightingRules.append(rule);

      functionFormat.setFontItalic(true);
      functionFormat.setForeground(Qt::blue);
      rule.pattern = QRegExp("\\b[A-Za-z0-9_]+(?=\\()");
      rule.format = functionFormat;
      highlightingRules.append(rule);

      //~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      singleLineCommentFormat.setForeground(Qt::red);
      rule.pattern = QRegExp("//[^\n]*");
      rule.format = singleLineCommentFormat;
      highlightingRules.append(rule);

      multiLineCommentFormat.setForeground(Qt::red);

      commentStartExpression = QRegExp("/\\*");
      commentEndExpression = QRegExp("\\*/");
}


// ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

void Highlighter::highlightBlock(const QString &text) {
    foreach (const HighlightingRule &rule, highlightingRules) {
        QRegExp expression(rule.pattern);
        int index = expression.indexIn(text);
        while (index >= 0) {
            int length = expression.matchedLength();
            setFormat(index, length, rule.format);
            index = expression.indexIn(text, index + length);
        }
    }
    setCurrentBlockState(0);
    int startIndex = 0;
    if (previousBlockState() != 1)
        startIndex = commentStartExpression.indexIn(text);
    while (startIndex >= 0) {
           int endIndex = commentEndExpression.indexIn(text, startIndex);
           int commentLength;
           if (endIndex == -1) {
               setCurrentBlockState(1);
               commentLength = text.length() - startIndex;
           } else {
               commentLength = endIndex - startIndex
                               + commentEndExpression.matchedLength();
           }
           setFormat(startIndex, commentLength, multiLineCommentFormat);
           startIndex = commentStartExpression.indexIn(text, startIndex + commentLength);
       }
   }