diff options
author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
---|---|---|
committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
tree | 87a171383266dd1f64196589af081bc2f8e497c3 /pygments/lexers/trafficscript.py | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'pygments/lexers/trafficscript.py')
-rw-r--r-- | pygments/lexers/trafficscript.py | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/pygments/lexers/trafficscript.py b/pygments/lexers/trafficscript.py deleted file mode 100644 index 9b767253..00000000 --- a/pygments/lexers/trafficscript.py +++ /dev/null @@ -1,54 +0,0 @@ -# -*- coding: utf-8 -*- -""" - pygments.lexers.trafficscript - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - - Lexer for RiverBed's TrafficScript (RTS) language. - - :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. - :license: BSD, see LICENSE for details. -""" - -import re - -from pygments.lexer import RegexLexer -from pygments.token import String, Number, Name, Keyword, Operator, Text, Comment - -__all__ = ['RtsLexer'] - - -class RtsLexer(RegexLexer): - """ - For `Riverbed Stingray Traffic Manager <http://www.riverbed.com/stingray>`_ - - .. versionadded:: 2.1 - """ - name = 'TrafficScript' - aliases = ['rts','trafficscript'] - filenames = ['*.rts'] - - tokens = { - 'root' : [ - (r"'(\\\\|\\[^\\]|[^'\\])*'", String), - (r'"', String, 'escapable-string'), - (r'(0x[0-9a-fA-F]+|\d+)', Number), - (r'\d+\.\d+', Number.Float), - (r'\$[a-zA-Z](\w|_)*', Name.Variable), - (r'(if|else|for(each)?|in|while|do|break|sub|return|import)', Keyword), - (r'[a-zA-Z][\w.]*', Name.Function), - (r'[-+*/%=,;(){}<>^.!~|&\[\]\?\:]', Operator), - (r'(>=|<=|==|!=|' - r'&&|\|\||' - r'\+=|.=|-=|\*=|/=|%=|<<=|>>=|&=|\|=|\^=|' - r'>>|<<|' - r'\+\+|--|=>)', Operator), - (r'[ \t\r]+', Text), - (r'#[^\n]*', Comment), - ], - 'escapable-string' : [ - (r'\\[tsn]', String.Escape), - (r'[^"]', String), - (r'"', String, '#pop'), - ], - - } |