Searched refs:additionalNoSideEffectOptions (Results 1 – 1 of 1) sorted by relevance
1145 List additionalNoSideEffectOptions = additionalNoSideEffectsPanel.getClassSpecifications(); in getProGuardConfiguration() local1146 if (additionalNoSideEffectOptions != null) in getProGuardConfiguration()1148 noSideEffectMethods.addAll(additionalNoSideEffectOptions); in getProGuardConfiguration()