Accept comments in reference traces.
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 26 Nov 2012 19:48:54 +0000 (19:48 +0000)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 26 Nov 2012 19:48:54 +0000 (19:48 +0000)
tracematch.py

index 9ffd310880323763b0c7705712cdd8dd1ad0ea71..c1e0948210e8405ba8fdcca6ef3dc1a8680429f2 100755 (executable)
@@ -440,6 +440,9 @@ class CallScanner(Scanner):
         # whitespace
         (SKIP, r'[ \t\f\r\n\v]+', False),
 
+        # comments
+        (SKIP, r'//[^\r\n]*', False),
+
         # Alphanumeric IDs
         (ID, r'[a-zA-Z_][a-zA-Z0-9_]*(?:::[a-zA-Z_][a-zA-Z0-9_]*)?', True),