equal
deleted
inserted
replaced
114 } else { |
114 } else { |
115 List<Monitor> logged = monitoredVm.findByPattern(arguments.counterNames()); |
115 List<Monitor> logged = monitoredVm.findByPattern(arguments.counterNames()); |
116 Collections.sort(logged, arguments.comparator()); |
116 Collections.sort(logged, arguments.comparator()); |
117 List<Monitor> constants = new ArrayList<Monitor>(); |
117 List<Monitor> constants = new ArrayList<Monitor>(); |
118 |
118 |
119 for (Iterator i = logged.iterator(); i.hasNext(); /* empty */) { |
119 for (Iterator<Monitor> i = logged.iterator(); i.hasNext(); /* empty */) { |
120 Monitor m = (Monitor)i.next(); |
120 Monitor m = i.next(); |
121 if (!(m.isSupported() || arguments.showUnsupported())) { |
121 if (!(m.isSupported() || arguments.showUnsupported())) { |
122 i.remove(); |
122 i.remove(); |
123 continue; |
123 continue; |
124 } |
124 } |
125 if (m.getVariability() == Variability.CONSTANT) { |
125 if (m.getVariability() == Variability.CONSTANT) { |