Changeset 16 for src/main/java

Timestamp:

09/22/20 08:52:08 (4 years ago)

Author:

bart

Message:

Version 1.5.

Location:

src/main/java/geniusweb/profilesserver

Files:

• AutoUpdatingProfilesRepository.java (added)
• DefaultProfilesRepository.java (added)
• ProfilesRepository.java (added)
• websocket/GetProfileSocket.java (modified) (4 diffs)
• websocket/Profiles.java (modified) (1 diff)
• websocket/ProfilesListSocket.java (modified) (5 diffs)

src/main/java/geniusweb/profilesserver/websocket/GetProfileSocket.java

@@ -28 +28 @@
 import geniusweb.profile.utilityspace.LinearAdditive;
 import geniusweb.profilesserver.Jackson;
-import geniusweb.profilesserver.ProfilesFactory;
+import geniusweb.profilesserver.ProfilesRepository;
 import geniusweb.profilesserver.events.ChangeEvent;
 import tudelft.utilities.immutablelist.FixedList;
@@ -38 +38 @@
  * and profiles. Every time something changes, a new list of domains and
  * profiles is sent. For each new websocket the server will create one of this
- * but they all share one {@link ProfilesFactory}.
+ * but they all share one {@link ProfilesRepository}.
  * 
  * <p>
@@ -80 +80 @@
                 };
                 sendupdatedProfile();
-                Profiles.factory.addListener(changeListener);
+                Profiles.repository.addListener(changeListener);
         }
 
         private void sendupdatedProfile() {
-                Profile newprof = Profiles.factory.getProfile(profilename);
+                Profile newprof = Profiles.repository.getProfile(profilename);
                 // notice, may be null if profile does not exist/was removed.
                 if (newprof == null ? prof != null : !newprof.equals(prof)) {
@@ -164 +164 @@
         @OnClose
         public void end() throws IOException {
-                Profiles.factory.removeListener(changeListener);
+                Profiles.repository.removeListener(changeListener);
         }
 

src/main/java/geniusweb/profilesserver/websocket/Profiles.java

@@ -1 +1 @@
 package geniusweb.profilesserver.websocket;
 
-import geniusweb.profilesserver.AutoUpdatingProfilesFactory;
-import geniusweb.profilesserver.ProfilesFactory;
+import geniusweb.profilesserver.AutoUpdatingProfilesRepository;
+import geniusweb.profilesserver.ProfilesRepository;
 import tudelft.utilities.logging.ReportToLogger;
 
 /**
- * Just a shared copy of the profiles factory, for use with all websockets.
+ * Just a shared copy of the profiles repository, for use with all websockets.
  * 
  */
 class Profiles {
-        public static final ProfilesFactory factory = new AutoUpdatingProfilesFactory(new ReportToLogger("profilesserver"));
+        public static final ProfilesRepository repository = new AutoUpdatingProfilesRepository(
+                        new ReportToLogger("profilesserver"));
 }

src/main/java/geniusweb/profilesserver/websocket/ProfilesListSocket.java

@@ -25 +25 @@
 
 import geniusweb.profilesserver.Jackson;
-import geniusweb.profilesserver.ProfilesFactory;
+import geniusweb.profilesserver.ProfilesRepository;
 import geniusweb.profilesserver.events.ChangeEvent;
 import tudelft.utilities.listener.Listener;
@@ -35 +35 @@
  * and profiles. Every time something changes, a new list of domains and
  * profiles is sent. For each new websocket the server will create one of this
- * but they all share one {@link ProfilesFactory}.
+ * but they all share one {@link ProfilesRepository}.
  */
 @ServerEndpoint("/websocket/liststream")
@@ -71 +71 @@
                         }
                 };
-                Profiles.factory.addListener(changeListener);
+                Profiles.repository.addListener(changeListener);
         }
 
@@ -90 +90 @@
         private Map<URI, List<URI>> getDomainsProfiles() {
                 Map<URI, List<URI>> allprofiles = new HashMap<>();
-                for (String domain : Profiles.factory.getDomains()) {
-                        List<URI> profiles = Profiles.factory.getProfiles(domain).stream()
+                for (String domain : Profiles.repository.getDomains()) {
+                        List<URI> profiles = Profiles.repository.getProfiles(domain).stream()
                                         .map(profile -> makeURI(domain, profile.getName()))
                                         .collect(Collectors.toList());
@@ -153 +153 @@
         @OnClose
         public void end() throws IOException {
-                Profiles.factory.removeListener(changeListener);
+                Profiles.repository.removeListener(changeListener);
         }