org.eclipse.cdt.internal.ui.preferences.formatter
Class ProfileManager.KeySet

java.lang.Object
  extended by org.eclipse.cdt.internal.ui.preferences.formatter.ProfileManager.KeySet
Enclosing class:
ProfileManager

public static final class ProfileManager.KeySet
extends java.lang.Object


Constructor Summary
ProfileManager.KeySet(java.lang.String nodeName, java.util.List keys)
           
 
Method Summary
 java.util.List getKeys()
           
 java.lang.String getNodeName()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProfileManager.KeySet

public ProfileManager.KeySet(java.lang.String nodeName,
                             java.util.List keys)
Method Detail

getNodeName

public java.lang.String getNodeName()

getKeys

public java.util.List getKeys()