mcrl2::gui::qt::CodeHighlighter =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/gui/codeeditor.h .. cpp:class:: mcrl2::gui::qt::CodeHighlighter The CodeHighlighter class defines a syntax highlighter for mCRL2 specifications or mu-calculus formulae. Private attributes ------------------------------------------------------------------------------- .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::commentFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::containerTypeKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::dataKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::dataOperatorKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::functionKeywordFormat .. cpp:member:: std::vector< HighlightingRule > mcrl2::gui::qt::CodeHighlighter::highlightingRules .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::identifierFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::numberFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::operatorFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::primitiveTypeKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::processKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::processOperatorKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::specificationKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::stateFormulaOpertorKeywordFormat .. cpp:member:: QTextCharFormat mcrl2::gui::qt::CodeHighlighter::todoKeywordFormat Public member functions ------------------------------------------------------------------------------- .. cpp:function:: 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 Protected member functions ------------------------------------------------------------------------------- .. cpp:function:: void highlightBlock(const QString &text) highlightBlock Highlights a single block of text **Parameters:** * **text** The text to highlight