コード例 #1
0
ファイル: Nowarns.java プロジェクト: OpenJML/OpenJML
 // FIXME - this is an inefficient lookup, and in the following method
 public boolean suppress(DiagnosticSource file, int pos, String label) {
   int line = file.getLineNumber(pos);
   for (Item i : nowarns) {
     if (i.label != null && !label.equals(i.label)) {
       // continue
     } else if (i.source == null) {
       return true; // FIXME - don't we check the line number? what use case is this?
     } else {
       if (file.equals(i.source) && line == i.line) return true;
     }
   }
   return false;
 }
コード例 #2
0
ファイル: Nowarns.java プロジェクト: OpenJML/OpenJML
 /** Add a new occurrence of an annotation to the record. */
 public void addItem(DiagnosticSource file, int pos, String label) {
   nowarns.add(new Item(file, file.getLineNumber(pos), label));
 }