From fdbe9a235e35ce3f93d4196ae940895a66c0e87a Mon Sep 17 00:00:00 2001
From: Elena <elena.yan@studio.unibo.it>
Date: Tue, 4 Jun 2024 16:50:24 +0200
Subject: [PATCH] feat: add source in select plan event

---
 src/java/event/planEvent/SelectPlanEvent.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/java/event/planEvent/SelectPlanEvent.java b/src/java/event/planEvent/SelectPlanEvent.java
index c55399f..0bdb1c3 100644
--- a/src/java/event/planEvent/SelectPlanEvent.java
+++ b/src/java/event/planEvent/SelectPlanEvent.java
@@ -3,9 +3,11 @@
 import event.Event;
 import event.eventInfo.PlanInfo;
 import jason.asSemantics.Option;
+import jason.asSyntax.Term;
 import jason.asSyntax.Trigger;
 
 import java.util.List;
+import java.util.Optional;
 
 /**
  * A class that representing an event for a plan selection.
@@ -13,6 +15,7 @@
 public class SelectPlanEvent implements Event {
 
     private final String event;
+    private final Optional<List<String>> sources;
     private final List<PlanInfo> planOptions;
     private PlanInfo selectedPlan;
 
@@ -22,7 +25,8 @@ public class SelectPlanEvent implements Event {
      * @param options a list of options to select from
      */
     public SelectPlanEvent(Trigger trigger, List<Option> options) {
-        this.event = trigger.getLiteral().toString();
+        this.event = trigger.getLiteral().getFunctor();
+        this.sources = trigger.getLiteral().getSources() == null ? Optional.empty() : Optional.of(trigger.getLiteral().getSources().getAsList().stream().map(Term::toString).toList());
         this.planOptions = options.stream().map(p -> new PlanInfo(p.getPlan())).toList();
     }