equal
deleted
inserted
replaced
70 } |
70 } |
71 } |
71 } |
72 |
72 |
73 @Override |
73 @Override |
74 public boolean addAll(Collection<? extends Diag> c) { |
74 public boolean addAll(Collection<? extends Diag> c) { |
75 return c.stream().filter(d -> add(d)).count() > 0; |
75 return c.stream().filter(this::add).count() > 0; |
76 } |
76 } |
77 |
77 |
78 @Override |
78 @Override |
79 public Diag set(int index, Diag element) { |
79 public Diag set(int index, Diag element) { |
80 throw new UnsupportedOperationException(); |
80 throw new UnsupportedOperationException(); |
108 return this.stream() |
108 return this.stream() |
109 .filter(d -> { |
109 .filter(d -> { |
110 Snippet snn = d.snippetOrNull(); |
110 Snippet snn = d.snippetOrNull(); |
111 return snn == u.snippet(); |
111 return snn == u.snippet(); |
112 }) |
112 }) |
113 .collect(Collectors.toCollection(() -> new DiagList())); |
113 .collect(Collectors.toCollection(DiagList::new)); |
114 } |
114 } |
115 |
115 |
116 boolean hasErrors() { |
116 boolean hasErrors() { |
117 return (cntNotStmt + cntResolve + cntUnreach + cntOther) > 0; |
117 return (cntNotStmt + cntResolve + cntUnreach + cntOther) > 0; |
118 } |
118 } |