summaryrefslogtreecommitdiff
path: root/pygments/lexers/trafficscript.py
diff options
context:
space:
mode:
authorAlex Gosse <gosse.alex@gmail.com>2013-03-07 02:23:53 -0800
committerAlex Gosse <gosse.alex@gmail.com>2013-03-07 02:23:53 -0800
commit83a87b54d7a58b53478967ea1b439098d15fef40 (patch)
treefb58a5d1630b944bc3c7d4c5e8ac6b95e75feb01 /pygments/lexers/trafficscript.py
parent072a208804b1f2f16d3553b325a05c3a0e4c00d8 (diff)
downloadpygments-83a87b54d7a58b53478967ea1b439098d15fef40.tar.gz
Fixed incorrect filename for TrafficScript lexer module (oops!).
Diffstat (limited to 'pygments/lexers/trafficscript.py')
-rw-r--r--pygments/lexers/trafficscript.py50
1 files changed, 50 insertions, 0 deletions
diff --git a/pygments/lexers/trafficscript.py b/pygments/lexers/trafficscript.py
new file mode 100644
index 00000000..56b9e04c
--- /dev/null
+++ b/pygments/lexers/trafficscript.py
@@ -0,0 +1,50 @@
+# -*- coding: utf-8 -*-
+"""
+
+ pygments.lexers.trafficscript
+ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+
+ Lexer for RiverBed's TrafficScript (RTS) language.
+
+ :copyright: Copyright 2013 by Alex Gosse <alex.gosse@gmail.com>
+ :license: BSD, see LICENSE for details.
+"""
+import re
+from pygments.lexer import RegexLexer
+from pygments.token import *
+
+__all__ = ['RtsLexer']
+
+class RtsLexer(RegexLexer):
+ """
+ For `Riverbed Stingray Traffic Manager
+ <http://www.riverbed.com/stingray>`
+ """
+ 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'[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'),
+ ],
+
+ }