pyfcstm.highlight

Syntax highlighting lexers for FCSTM languages.

The pyfcstm.highlight package exposes Pygments lexers used by Sphinx, editor integrations, and command-line highlighting tools. The lexers are syntax highlighters only: they do not parse FCSTM models, bind BMC query paths, or run semantic validation.

Public lexer roadmap:

Language surface	Public lexer	Purpose
FCSTM model DSL	pyfcstm.highlight.pygments_lexer.FcstmLexer	Highlight *.fcstm state-machine model files.
FCSTM BMC Query	pyfcstm.highlight.bmc_query_lexer.FcstmBmcQueryLexer	Highlight *.fbmcq bounded-model-checking query files.

Example:

>>> from pyfcstm.highlight import FcstmBmcQueryLexer, FcstmLexer
>>> FcstmLexer().name
'FCSTM'
>>> FcstmBmcQueryLexer().name
'FCSTM BMC Query'

• pyfcstm.highlight.bmc_query_lexer
  • __all__
    • __all__
  • FcstmBmcQueryLexer
    • FcstmBmcQueryLexer
• pyfcstm.highlight.pygments_lexer
  • __all__
    • __all__
  • FcstmLexer
    • FcstmLexer

__all__

pyfcstm.highlight.__all__ = ['FcstmLexer', 'FcstmBmcQueryLexer']

Built-in mutable sequence.

If no argument is given, the constructor creates a new empty list. The argument must be an iterable if specified.