Browse Source

Fix merging of EventTree lints

Alois Mahdal 6 years ago
parent
commit
d5de885367
1 changed files with 3 additions and 2 deletions
  1. 3
    2
      src/python/jat.py

+ 3
- 2
src/python/jat.py View File

49
         self.children = []
49
         self.children = []
50
         self.rest = [e for e in events]
50
         self.rest = [e for e in events]
51
         self.head = head
51
         self.head = head
52
+        self._lints = []
52
         while self.rest:
53
         while self.rest:
53
             if self.peek().startswith('SESSION.'):
54
             if self.peek().startswith('SESSION.'):
54
                 self.pop()
55
                 self.pop()
75
                 return out
76
                 return out
76
             else:
77
             else:
77
                 out.append(self.pop())
78
                 out.append(self.pop())
78
-        self.lints += [Lint('could not find: %s' % final_etype, out)]
79
+        self._lints += [Lint('could not find: %s' % final_etype, out)]
79
         return out
80
         return out
80
 
81
 
81
     @property
82
     @property
83
         lints = []
84
         lints = []
84
         for e in self.children:
85
         for e in self.children:
85
             lints += e.lints
86
             lints += e.lints
86
-        return lints
87
+        return self._lints + lints
87
 
88
 
88
 
89
 
89
 class Phase(EventTree):
90
 class Phase(EventTree):