Searched refs:assumeNoSideEffectsNotePrinter (Results 1 – 1 of 1) sorted by relevance
139 …WarningPrinter assumeNoSideEffectsNotePrinter = new WarningPrinter(System.out, configuration.note); in check() local141 …new AssumeNoSideEffectsChecker(assumeNoSideEffectsNotePrinter).checkClassSpecifications(configurat… in check()154 int assumeNoSideEffectsNoteCount = assumeNoSideEffectsNotePrinter.getWarningCount(); in check()