1 9 package org.jboss.portal.core.impl.user; 10 11 import org.jboss.portal.common.value.Value; 12 import org.jboss.portal.core.impl.preferences.MappedPreference; 13 import org.jboss.portal.core.impl.preferences.MappedPreferenceSet; 14 import org.jboss.portal.server.plugins.preferences.Preference; 15 16 import java.util.Set ; 17 import java.util.Map ; 18 19 26 public class UserPrefSet 27 extends MappedPreferenceSet 28 { 29 public UserPrefSet() 30 { 31 } 32 33 public UserPrefSet(String name) 34 { 35 super(name); 36 } 37 38 protected MappedPreferenceSet newChild(String name) 39 { 40 return new UserPrefSet(name); 41 } 42 43 protected Preference newPreference(String name, Value value, boolean readOnly) 44 { 45 MappedPreference preference = new UserPref(name); 46 preference.setValue(value); 47 return preference; 48 } 49 50 54 public Set getChildren() 55 { 56 return super.getChildren(); 57 } 58 59 63 public Map getContent() 64 { 65 return super.getContent(); 66 } 67 68 72 public MappedPreferenceSet getParent() 73 { 74 return super.getParent(); 75 } 76 } 77 | Popular Tags |