Searched refs:assumeNoSideEffectsNoteCount (Results 1 – 1 of 1) sorted by relevance
154 int assumeNoSideEffectsNoteCount = assumeNoSideEffectsNotePrinter.getWarningCount(); in check() local155 if (assumeNoSideEffectsNoteCount > 0) in check()157 System.out.println("Note: there were " + assumeNoSideEffectsNoteCount + in check()