Searched refs:additionalNoSideEffectsPanel (Results 1 - 2 of 2) sorted by relevance

/external/proguard/src/proguard/gui/
H A DProGuardGUI.java85 private final ClassSpecificationsPanel additionalNoSideEffectsPanel = new ClassSpecificationsPanel(this, false); field in class:ProGuardGUI
452 addBorder(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditional");
453 optimizationPanel.add(tip(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditionalTip"), stretchPanelConstraints);
995 additionalNoSideEffectsPanel.setClassSpecifications(configuration.assumeNoSideEffects);
1145 List additionalNoSideEffectOptions = additionalNoSideEffectsPanel.getClassSpecifications();
/external/proguard/lib/
H A Dproguardgui.jarMETA-INF/ META-INF/MANIFEST.MF proguard/gui/SwingUtil.class SwingUtil.java package proguard ...

Completed in 213 milliseconds