Searched refs:assumeNoSideEffects (Results 1 – 9 of 9) sorted by relevance
64 …configuration.assumeNoSideEffects = extendClassSpecifications(configuration.assumeNoSideEffe… in appendTo()65 … this.configuration.assumeNoSideEffects); in appendTo()202 … configuration.assumeNoSideEffects = extendClassSpecifications(configuration.assumeNoSideEffects, in addConfiguredAssumenosideeffects()
170 public List assumeNoSideEffects; field in Configuration
73 fullyQualifiedClassNameChecker.checkClassSpecifications(configuration.assumeNoSideEffects); in execute()286 classMemberChecker.checkClassSpecifications(configuration.assumeNoSideEffects); in execute()
152 …hecker(assumeNoSideEffectsNotePrinter).checkClassSpecifications(configuration.assumeNoSideEffects); in check()
184 …(nextWord)) configuration.assumeNoSideEffects = parseClassSpecificationArguments(conf… in parse()
169 …teOptions(ConfigurationConstants.ASSUME_NO_SIDE_EFFECTS_OPTION, configuration.assumeNoSideEffects); in write()
612 configuration.assumeNoSideEffects = in assumenosideeffects()613 extendClassSpecifications(configuration.assumeNoSideEffects, in assumenosideeffects()621 configuration.assumeNoSideEffects = in assumenosideeffects()622 extendClassSpecifications(configuration.assumeNoSideEffects, in assumenosideeffects()
687 … boilerplateNoSideEffectMethods = new ClassSpecification[configuration.assumeNoSideEffects.size()]; in loadBoilerplateConfiguration()688 configuration.assumeNoSideEffects.toArray(boilerplateNoSideEffectMethods); in loadBoilerplateConfiguration()995 configuration.assumeNoSideEffects); in setProGuardConfiguration()1002 additionalNoSideEffectsPanel.setClassSpecifications(configuration.assumeNoSideEffects); in setProGuardConfiguration()1164 configuration.assumeNoSideEffects = noSideEffectMethods; in getProGuardConfiguration()
319 if (configuration.assumeNoSideEffects != null) in execute()324 … ClassSpecificationVisitorFactory.createClassPoolVisitor(configuration.assumeNoSideEffects, in execute()