Searched refs:additionalNoSideEffectsPanel (Results 1 – 1 of 1) 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()