eric: comparison ThirdParty/Pygments/pygments/lexers/esoteric.py

-:f0d08bdeacf4
+:6762afd9f963
 pygments.lexers.esoteric
 ~~~~~~~~~~~~~~~~~~~~~~~~
 Lexers for esoteric languages.
-:copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS.
+:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
 :license: BSD, see LICENSE for details.
 """
 from pygments.lexer import RegexLexer, include, words
 from pygments.token import Text, Comment, Operator, Keyword, Name, String, \
-Number, Punctuation, Error, Whitespace
+Number, Punctuation, Error
-__all__ = ['BrainfuckLexer', 'BefungeLexer', 'BoogieLexer', 'RedcodeLexer', 'CAmkESLexer']
+__all__ = ['BrainfuckLexer', 'BefungeLexer', 'RedcodeLexer', 'CAmkESLexer',
+'CapDLLexer', 'AheuiLexer']
 class BrainfuckLexer(RegexLexer):
 """
 Lexer for the esoteric `BrainFuck <http://www.muppetlabs.com/~breadbox/bf/>`_
 name = 'CAmkES'
 aliases = ['camkes', 'idl4']
 filenames = ['*.camkes', '*.idl4']
 tokens = {
-'root':[
+'root': [
 # C pre-processor directive
 (r'^\s*#.*\n', Comment.Preproc),
 # Whitespace, comments
 (r'\s+', Text),
 (r'/\*(.|\n)*?\*/', Comment),
 (r'//.*\n', Comment),
-(r'[\[\(\){},\.;=\]]', Punctuation),
+(r'[\[(){},.;\]]', Punctuation),
+(r'[~!%^&*+=|?:<>/-]', Operator),
 (words(('assembly', 'attribute', 'component', 'composition',
 'configuration', 'connection', 'connector', 'consumes',
-'control', 'dataport', 'Dataport', 'emits', 'event',
+'control', 'dataport', 'Dataport', 'Dataports', 'emits',
-'Event', 'from', 'group', 'hardware', 'has', 'interface',
+'event', 'Event', 'Events', 'export', 'from', 'group',
-'Interface', 'maybe', 'procedure', 'Procedure', 'provides',
+'hardware', 'has', 'interface', 'Interface', 'maybe',
-'template', 'to', 'uses'), suffix=r'\b'), Keyword),
+'procedure', 'Procedure', 'Procedures', 'provides',
+'template', 'thread', 'threads', 'to', 'uses', 'with'),
+suffix=r'\b'), Keyword),
 (words(('bool', 'boolean', 'Buf', 'char', 'character', 'double',
 'float', 'in', 'inout', 'int', 'int16_6', 'int32_t',
 'int64_t', 'int8_t', 'integer', 'mutex', 'out', 'real',
-'refin', 'semaphore', 'signed', 'string', 'uint16_t',
+'refin', 'semaphore', 'signed', 'string', 'struct',
-'uint32_t', 'uint64_t', 'uint8_t', 'uintptr_t', 'unsigned',
+'uint16_t', 'uint32_t', 'uint64_t', 'uint8_t', 'uintptr_t',
-'void'), suffix=r'\b'), Keyword.Type),
+'unsigned', 'void'),
+suffix=r'\b'), Keyword.Type),
 # Recognised attributes
 (r'[a-zA-Z_]\w*_(priority|domain|buffer)', Keyword.Reserved),
 (words(('dma_pool', 'from_access', 'to_access'), suffix=r'\b'),
 Keyword.Reserved),
 # Literals
 (r'0[xX][\da-fA-F]+', Number.Hex),
 (r'-?[\d]+', Number),
 (r'-?[\d]+\.[\d]+', Number.Float),
 (r'"[^"]*"', String),
+(r'[Tt]rue|[Ff]alse', Name.Builtin),
 # Identifiers
 (r'[a-zA-Z_]\w*', Name),
+],
+}
+class CapDLLexer(RegexLexer):
+"""
+Basic lexer for
+`CapDL <https://ssrg.nicta.com.au/publications/nictaabstracts/Kuz_KLW_10.abstract.pml>`_.
+The source of the primary tool that reads such specifications is available
+at https://github.com/seL4/capdl/tree/master/capDL-tool. Note that this
+lexer only supports a subset of the grammar. For example, identifiers can
+shadow type names, but these instances are currently incorrectly
+highlighted as types. Supporting this would need a stateful lexer that is
+considered unnecessarily complex for now.
+.. versionadded:: 2.2
+"""
+name = 'CapDL'
+aliases = ['capdl']
+filenames = ['*.cdl']
+tokens = {
+'root': [
+# C pre-processor directive
+(r'^\s*#.*\n', Comment.Preproc),
+# Whitespace, comments
+(r'\s+', Text),
+(r'/\*(.|\n)*?\*/', Comment),
+(r'(//|--).*\n', Comment),
+(r'[<>\[(){},:;=\]]', Punctuation),
+(r'\.\.', Punctuation),
+(words(('arch', 'arm11', 'caps', 'child_of', 'ia32', 'irq', 'maps',
+'objects'), suffix=r'\b'), Keyword),
+(words(('aep', 'asid_pool', 'cnode', 'ep', 'frame', 'io_device',
+'io_ports', 'io_pt', 'notification', 'pd', 'pt', 'tcb',
+'ut', 'vcpu'), suffix=r'\b'), Keyword.Type),
+# Properties
+(words(('asid', 'addr', 'badge', 'cached', 'dom', 'domainID', 'elf',
+'fault_ep', 'G', 'guard', 'guard_size', 'init', 'ip',
+'prio', 'sp', 'R', 'RG', 'RX', 'RW', 'RWG', 'RWX', 'W',
+'WG', 'WX', 'level', 'masked', 'master_reply', 'paddr',
+'ports', 'reply', 'uncached'), suffix=r'\b'),
+Keyword.Reserved),
+# Literals
+(r'0[xX][\da-fA-F]+', Number.Hex),
+(r'\d+(\.\d+)?(k|M)?', Number),
+(words(('bits',), suffix=r'\b'), Number),
+(words(('cspace', 'vspace', 'reply_slot', 'caller_slot',
+'ipc_buffer_slot'), suffix=r'\b'), Number),
+# Identifiers
+(r'[a-zA-Z_][-@\.\w]*', Name),
 ],
 }
 class RedcodeLexer(RegexLexer):
 (r'[-+]?\d+', Number.Integer),
 ],
 }
-class BoogieLexer(RegexLexer):
+class AheuiLexer(RegexLexer):
 """
-For `Boogie <https://boogie.codeplex.com/>`_ source code.
+Aheui_ Lexer.
-.. versionadded:: 2.1
+Aheui_ is esoteric language based on Korean alphabets.
-"""
-name = 'Boogie'
+.. _Aheui:: http://aheui.github.io/
-aliases = ['boogie']
-filenames = ['*.bpl']
+"""
-tokens = {
+name = 'Aheui'
-'root': [
+aliases = ['aheui']
-# Whitespace and Comments
+filenames = ['*.aheui']
-(r'\n', Whitespace),
-(r'\s+', Whitespace),
+tokens = {
-(r'//[/!](.*?)\n', Comment.Doc),
+'root': [
-(r'//(.*?)\n', Comment.Single),
+(u'['
-(r'/\*', Comment.Multiline, 'comment'),
+u'나-낳냐-냫너-넣녀-녛노-놓뇨-눟뉴-닇'
+u'다-닿댜-댷더-덯뎌-뎧도-돟됴-둫듀-딓'
-(words((
+u'따-땋땨-떃떠-떻뗘-뗳또-똫뚀-뚷뜌-띟'
-'axiom', 'break', 'call', 'ensures', 'else', 'exists', 'function',
+u'라-랗랴-럏러-렇려-렿로-롷료-뤃류-릫'
-'forall', 'if', 'invariant', 'modifies', 'procedure',  'requires',
+u'마-맣먀-먛머-멓며-몋모-뫃묘-뭏뮤-믷'
-'then', 'var', 'while'),
+u'바-밯뱌-뱧버-벟벼-볗보-봏뵤-붛뷰-빃'
-suffix=r'\b'), Keyword),
+u'빠-빻뺘-뺳뻐-뻫뼈-뼣뽀-뽛뾰-뿧쀼-삏'
-(words(('const',), suffix=r'\b'), Keyword.Reserved),
+u'사-샇샤-샿서-섷셔-셯소-솧쇼-숳슈-싛'
+u'싸-쌓쌰-썋써-쎃쎠-쎻쏘-쏳쑈-쑿쓔-씧'
-(words(('bool', 'int', 'ref'), suffix=r'\b'), Keyword.Type),
+u'자-잫쟈-쟣저-젛져-졓조-좋죠-줗쥬-즿'
-include('numbers'),
+u'차-챃챠-챻처-첳쳐-쳫초-촣쵸-춯츄-칗'
-(r"(>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])", Operator),
+u'카-캏캬-컇커-컿켜-켷코-콯쿄-쿻큐-킣'
-(r"([{}():;,.])", Punctuation),
+u'타-탛탸-턓터-텋텨-톃토-톻툐-퉇튜-틯'
-# Identifier
+u'파-팧퍄-퍟퍼-펗펴-폏포-퐇표-풓퓨-픻'
-(r'[a-zA-Z_]\w*', Name),
+u'하-핳햐-햫허-헣혀-혛호-홓효-훟휴-힇'
-],
+u']', Operator),
-'comment': [
+('.', Comment),
-(r'[^*/]+', Comment.Multiline),
+],
-(r'/\*', Comment.Multiline, '#push'),
+}
-(r'\*/', Comment.Multiline, '#pop'),
-(r'[*/]', Comment.Multiline),
-],
-'numbers': [
-(r'[0-9]+', Number.Integer),
-],
-}

Mercurial Repositories > eric / file comparison

comparison: ThirdParty/Pygments/pygments/lexers/esoteric.py

ThirdParty/Pygments/pygments/lexers/esoteric.py