Include file:

#include "mcrl2/gui/codeeditor.h
class mcrl2::gui::qt::HighlightingRule

The HighlightingRule class defines a rule on how to highlight a given pattern of syntactic elements.

Public attributes

QTextCharFormat mcrl2::gui::qt::HighlightingRule::format
QRegExp mcrl2::gui::qt::HighlightingRule::pattern

Public member functions

HighlightingRule(QRegExp pattern, QTextCharFormat format)

HighlightingRule Constructor.


  • pattern The pattern of syntactic elements to highlight
  • format The highlighting format for this pattern