Searched refs:additionalNoSideEffectsPanel (Results 1 – 2 of 2) sorted by relevance
84 …private final ClassSpecificationsPanel additionalNoSideEffectsPanel = new ClassSpecificationsPanel… field in ProGuardGUI454 addBorder(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditional"); in ProGuardGUI()455 …optimizationPanel.add(tip(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditionalTip"), stret… in ProGuardGUI()1002 additionalNoSideEffectsPanel.setClassSpecifications(configuration.assumeNoSideEffects); in setProGuardConfiguration()1155 List additionalNoSideEffectOptions = additionalNoSideEffectsPanel.getClassSpecifications(); in getProGuardConfiguration()
META-INF/ META-INF/MANIFEST.MF proguard/gui/ proguard/gui/ ...