From 6654546671eea9f9becd32b3160a134802659cbc Mon Sep 17 00:00:00 2001 From: Sam Anthony Date: Thu, 28 Nov 2024 17:26:19 -0500 Subject: Replica2: restrict scope --- src/main/java/derms/replica/replica2/Resources.java | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src/main/java/derms/replica/replica2/Resources.java') diff --git a/src/main/java/derms/replica/replica2/Resources.java b/src/main/java/derms/replica/replica2/Resources.java index 71d78ca..03bf33f 100644 --- a/src/main/java/derms/replica/replica2/Resources.java +++ b/src/main/java/derms/replica/replica2/Resources.java @@ -6,14 +6,14 @@ import java.util.Map; import java.util.NoSuchElementException; import java.util.concurrent.ConcurrentHashMap; -public class Resources { +class Resources { private Map> resources; - public Resources() { + Resources() { this.resources = new ConcurrentHashMap>(); } - public List borrowed(CoordinatorID borrower, ResourceType name) { + List borrowed(CoordinatorID borrower, ResourceType name) { List borrowed = new ArrayList(); Resource[] namedResources = getByName(name); for (Resource r : namedResources) { @@ -24,7 +24,7 @@ public class Resources { return borrowed; } - public Resource getByID(ResourceID id) throws NoSuchElementException { + Resource getByID(ResourceID id) throws NoSuchElementException { for (Map rids : resources.values()) { Resource resource = rids.get(id); if (resource != null) { @@ -34,7 +34,7 @@ public class Resources { throw new NoSuchElementException("No such resource "+id); } - public Resource[] getByName(ResourceType name) { + Resource[] getByName(ResourceType name) { Map rids = resources.get(name); if (rids == null) { return new Resource[0]; @@ -43,7 +43,7 @@ public class Resources { return rids.values().toArray(r); } - public void add(Resource r) { + void add(Resource r) { Map rids; synchronized (resources) { rids = resources.get(r.type); @@ -62,7 +62,7 @@ public class Resources { } } - public void removeByID(ResourceID id) throws NoSuchElementException { + void removeByID(ResourceID id) throws NoSuchElementException { for (Map rids : resources.values()) { if (rids.containsKey(id)) { rids.remove(id); -- cgit v1.2.3