Package | Description |
---|---|
de.interactive_instruments.ShapeChange.Profile |
Modifier and Type | Method and Description |
---|---|
ProfileIdentifier |
ProfileIdentifier.createCopy() |
ProfileIdentifier |
Profiles.get(int index) |
ProfileIdentifier |
Profiles.getProfile(String profileName) |
ProfileIdentifier |
Profiles.put(ProfileIdentifier profile)
Adds the given profile to this set of profiles.
|
ProfileIdentifier |
Profiles.put(String profileName)
Adds a new profile with the given name to this set of profiles.
|
Modifier and Type | Method and Description |
---|---|
SortedSet<ProfileIdentifier> |
Profiles.getProfileIdentifiers() |
SortedMap<String,ProfileIdentifier> |
Profiles.getProfileIdentifiersByName() |
SortedSet<ProfileIdentifier> |
Profiles.getProfiles(Set<String> profileNames) |
Modifier and Type | Method and Description |
---|---|
int |
ProfileIdentifier.compareTo(ProfileIdentifier other)
NOTE: Comparison is based on the textual representation of the profile
identifiers.
|
boolean |
ProfileIdentifier.contains(ProfileIdentifier other,
List<String> messages) |
ProfileIdentifier |
Profiles.put(ProfileIdentifier profile)
Adds the given profile to this set of profiles.
|
Modifier and Type | Method and Description |
---|---|
void |
Profiles.put(Set<ProfileIdentifier> profiles)
Adds the given profiles to this set of profiles.
|
Constructor and Description |
---|
Profiles(Collection<ProfileIdentifier> profileIdentifiers) |
Profiles(SortedMap<String,ProfileIdentifier> profileIdentifiers) |
Copyright © 2018. All rights reserved.