From de3ed8f1bc03925e31a519a6fe4bce26ab18bcee Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 27 Aug 2020 23:12:17 +0200
Subject: [PATCH] add value accessor for mapping
---
Helpers.jrag | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/Helpers.jrag b/Helpers.jrag
index 004bb7b..8c1ff56 100644
--- a/Helpers.jrag
+++ b/Helpers.jrag
@@ -14,4 +14,13 @@ aspect Helpers {
public void MappingElement.addKeyValuePair(String key, Element value) {
addKeyValuePair(new KeyValuePair(key, value));
}
+
+ public java.util.Optional<Element> MappingElement.getValue(String key) {
+ for (KeyValuePair pair : getKeyValuePairList()) {
+ if (pair.getKey().equals(key)) {
+ return java.util.Optional.of(pair.getValue());
+ }
+ }
+ return java.util.Optional.empty();
+ }
}
--
GitLab