| java.lang.Object workbench.gui.profiles.ProfileKey
ProfileKey | public ProfileKey(String pname)(Code) | | Create a new ProfileKey.
The passed name can consist of the profile group and the profile name
the group needs to be enclosed in curly brackets, e.g:
{MainGroup}/HR Database
The divividing slash is optional.
Parameters: pname - the name (can include the profile group) of the profile |
ProfileKey | public ProfileKey(String pname, String pgroup)(Code) | | Create a new key based on a profile name and a group name.
Parameters: pname - the name of the profile Parameters: pgroup - the group to which the profile belongs |
hashCode | public int hashCode()(Code) | | |
|
|