From eb0e24cdb189073d59a0d27f46520a2a2f1ce2e6 Mon Sep 17 00:00:00 2001
From: ClotildeToullec <clotilde.toullec@inria.fr>
Date: Fri, 14 Feb 2025 15:42:00 +0100
Subject: [PATCH] FM3Trait: the property is now #users, not #owner.

---
 .../main/java/ch/akuhn/fame/fm3/FM3Trait.java | 22 +++++++++++++------
 1 file changed, 15 insertions(+), 7 deletions(-)

diff --git a/lib/src/main/java/ch/akuhn/fame/fm3/FM3Trait.java b/lib/src/main/java/ch/akuhn/fame/fm3/FM3Trait.java
index dbae859..42476c6 100644
--- a/lib/src/main/java/ch/akuhn/fame/fm3/FM3Trait.java
+++ b/lib/src/main/java/ch/akuhn/fame/fm3/FM3Trait.java
@@ -86,13 +86,21 @@ public FM3Trait(String name) {
         super(name);
     }
 
-    FM3Type traitOwner;
-    @FameProperty(name = "owner", opposite = "traits")
-    public FM3Type getTraitOwner() {
-        return traitOwner;
+    private Map<String, FM3Type> users = new HashMap<String, FM3Type>();
+
+    @FameProperty(name = "users", opposite = "traits")
+    public Collection<FM3Type> getUsers() {
+        return users.values();
     }
-    public void setTraitOwner(FM3Type traitOwner){
-        this.traitOwner = traitOwner;
+
+    public void setUsers(Collection<FM3Type> users){
+        for (FM3Type user : users) {
+            this.addUser(user);
+        }
     }
 
-}
+    public void addUser(FM3Type user) {
+        users.put(user.getName(), user);
+    }
+    
+}
\ No newline at end of file