Searched refs:ClassSpecificationsPanel (Results 1 – 3 of 3) sorted by relevance
39 class ClassSpecificationsPanel extends ListPanel class44 public ClassSpecificationsPanel(JFrame owner, boolean fullKeepOptions) in ClassSpecificationsPanel() method in ClassSpecificationsPanel
33 final class KeepSpecificationsPanel extends ClassSpecificationsPanel
84 …private final ClassSpecificationsPanel additionalNoSideEffectsPanel = new ClassSpecificationsPanel…86 …private final ClassSpecificationsPanel whyAreYouKeepingPanel = new ClassSpecificationsPanel(this, …