Commits

Sven Hager committed dfa15ff

Changed the lexer to ignore "\\r".

Comments (0)

Files changed (1)

prolog/interpreter/parsing.py

         ("VAR", parse_regex("[A-Z_]([a-zA-Z0-9]|_)*|_")),
         ("NUMBER", parse_regex("(0|[1-9][0-9]*)(\.[0-9]+)?")),
         ("IGNORE", parse_regex(
-            "[ \\n\\t]|(/\\*[^\\*]*(\\*[^/][^\\*]*)*\\*/)|(%[^\\n]*)")),
+            "[ \\n\\t\\r]|(/\\*[^\\*]*(\\*[^/][^\\*]*)*\\*/)|(%[^\\n]*)")),
         ("ATOM", parse_regex("([a-z]([a-zA-Z0-9]|_)*)|('[^']*')|\[\]|!|\+|\-")),
         ("(", parse_regex("\(")),
         (")", parse_regex("\)")),
   Rule('expr200', [['complexterm', '**', 'complexterm', 'extraexpr200'], ['complexterm', '^', 'expr200', 'extraexpr200'], ['complexterm', 'extraexpr200']])],
  'query')
 def recognize(runner, i):
+    #auto-generated code, don't edit
     assert i >= 0
     input = runner.text
     state = 0
     while 1:
         if state == 0:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 0
                 return ~i
             if char == '\t':
                 state = 1
             elif char == '\n':
                 state = 1
+            elif char == '\r':
+                state = 1
             elif char == ' ':
                 state = 1
             elif char == '(':
                 state = 9
             elif 'a' <= char <= 'h':
                 state = 10
-            elif 'j' <= char <= 'l':
+            elif 's' <= char <= 'w':
                 state = 10
             elif 'n' <= char <= 'q':
                 state = 10
-            elif 's' <= char <= 'w':
+            elif 'j' <= char <= 'l':
                 state = 10
             elif char == 'y':
                 state = 10
         if state == 4:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 4
                 return i
             if char == '.':
         if state == 5:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 5
                 return i
             if char == '.':
         if state == 6:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 6
                 return i
             if char == '<':
             else:
                 break
         if state == 7:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 7
                 return ~i
             if char == '=':
         if state == 8:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 8
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 8
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 8
+                continue
+            elif '0' <= char <= '9':
                 state = 8
                 continue
             elif char == '_':
                 state = 8
                 continue
-            elif 'a' <= char <= 'z':
-                state = 8
-                continue
             else:
                 break
         if state == 9:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 9
                 return i
             if char == '=':
         if state == 10:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 10
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 10
+                continue
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif char == '_':
                 state = 10
                 continue
-            elif 'a' <= char <= 'z':
-                state = 10
-                continue
             else:
                 break
         if state == 11:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 11
                 return i
-            if '0' <= char <= '9':
-                state = 10
-                continue
-            elif 'A' <= char <= 'Z':
-                state = 10
-                continue
-            elif char == '_':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
             elif 'a' <= char <= 'n':
             elif 'p' <= char <= 'z':
                 state = 10
                 continue
+            elif '0' <= char <= '9':
+                state = 10
+                continue
+            elif char == '_':
+                state = 10
+                continue
             elif char == 'o':
                 state = 61
             else:
                 break
         if state == 13:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 13
                 return ~i
             if char == "'":
                 state = 26
-            elif '\x00' <= char <= '&':
+            elif '(' <= char <= '\xff':
                 state = 13
                 continue
-            elif '(' <= char <= '\xff':
+            elif '\x00' <= char <= '&':
                 state = 13
                 continue
             else:
         if state == 15:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 15
                 return i
             if char == '*':
         if state == 17:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 17
                 return i
             if char == '-':
         if state == 18:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 18
                 return i
             if char == ']':
         if state == 19:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 19
                 return i
             if char == '*':
         if state == 21:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 21
                 return i
             if char == '-':
         if state == 22:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 22
                 return i
             if char == '=':
         if state == 24:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 24
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'f' <= char <= 'z':
                 state = 10
                 continue
-            elif char == '_':
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif 'a' <= char <= 'd':
                 state = 10
                 continue
-            elif 'f' <= char <= 'z':
+            elif char == '_':
                 state = 10
                 continue
             elif char == 'e':
         if state == 27:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 27
                 return i
-            if '\x00' <= char <= '\t':
+            if '\x0b' <= char <= '\xff':
                 state = 27
                 continue
-            elif '\x0b' <= char <= '\xff':
+            elif '\x00' <= char <= '\t':
                 state = 27
                 continue
             else:
         if state == 29:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 29
                 return i
             if char == '>':
         if state == 30:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 30
                 return i
             if char == '@':
                 state = 37
             elif char == '<':
                 state = 38
+            elif char == '=':
+                state = 39
             elif char == '.':
-                state = 39
+                state = 40
             elif char == ':':
-                state = 40
-            elif char == '=':
                 state = 41
             elif char == '\\':
                 state = 42
         if state == 32:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 32
                 return i
-            if '0' <= char <= '9':
-                state = 10
-                continue
-            elif 'A' <= char <= 'Z':
-                state = 10
-                continue
-            elif char == '_':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
             elif 'a' <= char <= 'r':
                 state = 10
                 continue
+            elif '0' <= char <= '9':
+                state = 10
+                continue
             elif 't' <= char <= 'z':
                 state = 10
                 continue
+            elif char == '_':
+                state = 10
+                continue
             elif char == 's':
                 state = 36
             else:
         if state == 33:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 33
                 return i
-            if '0' <= char <= '9':
-                state = 10
-                continue
-            elif 'A' <= char <= 'Z':
-                state = 10
-                continue
-            elif char == '_':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
             elif 'a' <= char <= 'n':
             elif 'p' <= char <= 'z':
                 state = 10
                 continue
+            elif '0' <= char <= '9':
+                state = 10
+                continue
+            elif char == '_':
+                state = 10
+                continue
             elif char == 'o':
                 state = 34
             else:
         if state == 34:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 34
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'e' <= char <= 'z':
                 state = 10
                 continue
-            elif char == '_':
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif 'a' <= char <= 'c':
                 state = 10
                 continue
-            elif 'e' <= char <= 'z':
+            elif char == '_':
                 state = 10
                 continue
             elif char == 'd':
         if state == 35:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 35
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 10
+                continue
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif char == '_':
                 state = 10
                 continue
-            elif 'a' <= char <= 'z':
-                state = 10
-                continue
             else:
                 break
         if state == 36:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 36
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 10
+                continue
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif char == '_':
                 state = 10
                 continue
-            elif 'a' <= char <= 'z':
-                state = 10
-                continue
             else:
                 break
         if state == 37:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 37
                 return ~i
             if char == '=':
                 state = 46
             else:
                 break
-        if state == 39:
-            if i < len(input):
+        if state == 40:
+            try:
                 char = input[i]
                 i += 1
-            else:
-                runner.state = 39
+            except IndexError:
+                runner.state = 40
                 return ~i
             if char == '.':
                 state = 45
             else:
                 break
-        if state == 40:
-            if i < len(input):
+        if state == 41:
+            try:
                 char = input[i]
                 i += 1
-            else:
-                runner.state = 40
+            except IndexError:
+                runner.state = 41
                 return ~i
             if char == '=':
                 state = 44
             else:
                 break
         if state == 42:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 42
                 return ~i
             if char == '=':
             else:
                 break
         if state == 47:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 47
                 return ~i
             if char == '>':
         if state == 50:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 50
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
-                state = 10
-                continue
-            elif char == '_':
+            elif 'n' <= char <= 'z':
                 state = 10
                 continue
             elif 'a' <= char <= 'l':
                 state = 10
                 continue
-            elif 'n' <= char <= 'z':
+            elif '0' <= char <= '9':
+                state = 10
+                continue
+            elif char == '_':
                 state = 10
                 continue
             elif char == 'm':
         if state == 51:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 51
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 10
+                continue
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif char == '_':
                 state = 10
                 continue
-            elif 'a' <= char <= 'z':
-                state = 10
-                continue
             else:
                 break
         if state == 57:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 57
                 return ~i
-            if '\x00' <= char <= ')':
+            if '+' <= char <= '\xff':
                 state = 57
                 continue
-            elif '+' <= char <= '\xff':
+            elif '\x00' <= char <= ')':
                 state = 57
                 continue
             elif char == '*':
             else:
                 break
         if state == 60:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 60
                 return ~i
-            if '\x00' <= char <= '.':
+            if '0' <= char <= '\xff':
                 state = 57
                 continue
-            elif '0' <= char <= '\xff':
+            elif '\x00' <= char <= '.':
                 state = 57
                 continue
             elif char == '/':
         if state == 61:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 61
                 return i
-            if '0' <= char <= '9':
-                state = 10
-                continue
-            elif 'A' <= char <= 'Z':
-                state = 10
-                continue
-            elif char == '_':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
             elif 'a' <= char <= 'q':
                 state = 10
                 continue
+            elif '0' <= char <= '9':
+                state = 10
+                continue
             elif 's' <= char <= 'z':
                 state = 10
                 continue
+            elif char == '_':
+                state = 10
+                continue
             elif char == 'r':
                 state = 62
             else:
         if state == 62:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 62
                 return i
-            if '0' <= char <= '9':
+            if 'A' <= char <= 'Z':
                 state = 10
                 continue
-            elif 'A' <= char <= 'Z':
+            elif 'a' <= char <= 'z':
+                state = 10
+                continue
+            elif '0' <= char <= '9':
                 state = 10
                 continue
             elif char == '_':
                 state = 10
                 continue
-            elif 'a' <= char <= 'z':
-                state = 10
-                continue
             else:
                 break
         if state == 64:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 64
                 return i
             if char == '=':
             else:
                 break
         if state == 67:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 67
                 return ~i
             if char == '<':
         if state == 69:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 69
                 return i
             if char == '=':
             else:
                 break
         if state == 73:
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 73
                 return ~i
             if '0' <= char <= '9':
         if state == 74:
             runner.last_matched_index = i - 1
             runner.last_matched_state = state
-            if i < len(input):
+            try:
                 char = input[i]
                 i += 1
-            else:
+            except IndexError:
                 runner.state = 74
                 return i
             if '0' <= char <= '9':
 lexer = DummyLexer(recognize, DFA(75,
  {(0, '\t'): 1,
   (0, '\n'): 1,
+  (0, '\r'): 1,
   (0, ' '): 1,
   (0, '!'): 26,
   (0, '%'): 27,
   (27, '\xff'): 27,
   (29, '-'): 47,
   (29, '>'): 48,
-  (30, '.'): 39,
-  (30, ':'): 40,
+  (30, '.'): 40,
+  (30, ':'): 41,
   (30, '<'): 38,
-  (30, '='): 41,
+  (30, '='): 39,
   (30, '@'): 37,
   (30, '\\'): 42,
   (32, '0'): 10,
   (36, 'y'): 10,
   (36, 'z'): 10,
   (37, '='): 46,
-  (39, '.'): 45,
-  (40, '='): 44,
+  (40, '.'): 45,
+  (41, '='): 44,
   (42, '='): 43,
   (47, '>'): 49,
   (50, '0'): 10,
   (74, '7'): 74,
   (74, '8'): 74,
   (74, '9'): 74},
- set([1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 41, 43, 44, 45, 46, 48, 49, 50, 51, 52, 53, 54, 55, 56, 58, 59, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 74]),
- set([1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 41, 43, 44, 45, 46, 48, 49, 50, 51, 52, 53, 54, 55, 56, 58, 59, 61, 62, 63, 64, 65, 66, 68, 69, 70, 71, 72, 74]),
- ['0, start|, 0, start|, 0, 0, 0, 0, 0, start|, 0, 0, 0, start|, 0, start|, 0, start|, 0, 0, 0, 0, start|, 0, start|, 0, start|, 0, start|, 0, start|, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0',
+ set([1,
+      2,
+      3,
+      4,
+      5,
+      6,
+      8,
+      9,
+      10,
+      11,
+      12,
+      14,
+      15,
+      16,
+      17,
+      18,
+      19,
+      20,
+      21,
+      22,
+      23,
+      24,
+      25,
+      26,
+      27,
+      28,
+      29,
+      30,
+      31,
+      32,
+      33,
+      34,
+      35,
+      36,
+      38,
+      39,
+      43,
+      44,
+      45,
+      46,
+      48,
+      49,
+      50,
+      51,
+      52,
+      53,
+      54,
+      55,
+      56,
+      58,
+      59,
+      61,
+      62,
+      63,
+      64,
+      65,
+      66,
+      68,
+      69,
+      70,
+      71,
+      72,
+      74]),
+ set([1,
+      2,
+      3,
+      4,
+      5,
+      6,
+      8,
+      9,
+      10,
+      11,
+      12,
+      14,
+      15,
+      16,
+      17,
+      18,
+      19,
+      20,
+      21,
+      22,
+      23,
+      24,
+      25,
+      26,
+      27,
+      28,
+      29,
+      30,
+      31,
+      32,
+      33,
+      34,
+      35,
+      36,
+      38,
+      39,
+      43,
+      44,
+      45,
+      46,
+      48,
+      49,
+      50,
+      51,
+      52,
+      53,
+      54,
+      55,
+      56,
+      58,
+      59,
+      61,
+      62,
+      63,
+      64,
+      65,
+      66,
+      68,
+      69,
+      70,
+      71,
+      72,
+      74]),
+ ['0, 0, 0, start|, 0, start|, 0, 0, 0, 0, 0, 0, start|, 0, 0, 0, 0, start|, 0, start|, 0, start|, 0, 0, start|, 0, 0, 0, 0, 0, 0, 0, start|, 0, start|, 0, 0, start|, 0, start|, start|, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0',
   'IGNORE',
   '(',
   'ATOM',
   'ATOM',
   'ATOM',
   '|',
-  '0, 1, 0, start|, 0, final*, start*, 0, 0, 1, final|, start|, 0, final*, start*, 0, 0, final|, start|, 0, 1, final*, start*',
+  '0, start|, 0, final*, start*, 0, 1, final*, 0, final|, start|, 0, 1, final*, start*, 0, final*, 0, 1, final|, start|, 0, final*, start*, 0, final*',
   'ATOM',
   'ATOM',
   'ATOM',
   'ATOM',
   '2',
   'ATOM',
+  'ATOM',
   '2',
   '2',
+  '2',
+  'ATOM',
+  'ATOM',
+  'ATOM',
   'ATOM',
   '2',
   'ATOM',
   'ATOM',
   'ATOM',
   'ATOM',
-  '2',
   'ATOM',
   'ATOM',
   'ATOM',
   'ATOM',
   'ATOM',
+  '0, final*, start*, 2, final*, 0, start|, 0, final*, start*, final*, 0, final*, start*, 0, final*, 0, final|, start|, 0, 1, final*, start*, final*, 0, final*, start*, 0, final*, 0, 1, final|, start|, 0, final*, start*, final*, 0, final|, 1, final*, 0, start|, 0, final*, start*, final*, start*, 0, final*, 0, final*, 1, final|, final*, 0, start|, 0, final*, start*, final*, start*, 0, final*, 0, final*, final*, 0, final|, start|, 0, 1, final*, start*, final*, start*, 0, final*, 0, final*, 0, 1, final|, start|, 0, final*, start*, final*, start*, 0, final*, 0',
   'ATOM',
   'ATOM',
-  'ATOM',
-  'ATOM',
-  'final*, start*, 1, 0, 0, start|, 0, final*, start*, 0, final*, start*, 0, 0, 1, final|, start|, 0, final*, start*, 0, final*, start*, 0, 0, final|, start|, 0, 1, final*, start*, 0, final*, 0, start|, 0, final*, start*, final*, start*, 0, 0, final*, 1, final|, final*, 0, start|, 0, final*, start*, final*, start*, 0, 0, final*, final|, 1, final*, 0, 1, final|, start|, 0, final*, start*, final*, start*, 0, 0, final*, final*, 0, final|, start|, 0, 1, final*, start*, final*, start*, 0, 0, final*',
-  'ATOM',
-  'ATOM',
-  '1, 0, 1, 0, start|',
+  '0, start|, 0, final*, 1, 0, 1',
   'ATOM',
   'ATOM',
   'ATOM',
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.