mcrl2::gui::qt::CodeHighlighter¶
Include file:
#include "mcrl2/gui/codeeditor.h
-
class
mcrl2::gui::qt::CodeHighlighter¶ The CodeHighlighter class defines a syntax highlighter for mCRL2 specifications or mu-calculus formulae.
Private attributes¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::commentFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::containerTypeKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::dataKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::dataOperatorKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::functionKeywordFormat¶
-
std::vector<HighlightingRule>
mcrl2::gui::qt::CodeHighlighter::highlightingRules¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::identifierFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::numberFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::operatorFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::primitiveTypeKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::processKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::processOperatorKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::specificationKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::stateFormulaOpertorKeywordFormat¶
-
QTextCharFormat
mcrl2::gui::qt::CodeHighlighter::todoKeywordFormat¶
Public member functions¶
-
CodeHighlighter(bool spec, bool light, QTextDocument *parent = 0)¶ CodeHighlighter Constructor.
Parameters:
- spec Whether this code editor is for a mcrl2 specification or a mu-calculus formula
- light Whether the application has a light colour palette
- parent The document on which the code highlighter should operate
