fullyQualifiedClassNameNotePrinter); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.keep); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoEscapingParameters); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalReturnValues);
fullyQualifiedClassNameNotePrinter); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.keep); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoEscapingParameters); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalReturnValues);
fullyQualifiedClassNameNotePrinter); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.keep); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalSideEffects); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoEscapingParameters); fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoExternalReturnValues);