From cdd81e754d6f63cd1a4dff4da68841fbb8d2a617 Mon Sep 17 00:00:00 2001
From: Ivano Bilenchi <ivanobilenchi@gmail.com>
Date: Tue, 30 Jul 2024 11:13:54 +0200
Subject: [PATCH] Fix missing implementation for 'cowl_obj_prop_exp_get_prop'

---
 src/cowl_obj_prop_exp.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/cowl_obj_prop_exp.c

diff --git a/src/cowl_obj_prop_exp.c b/src/cowl_obj_prop_exp.c
new file mode 100644
index 0000000..8a086ec
--- /dev/null
+++ b/src/cowl_obj_prop_exp.c
@@ -0,0 +1,17 @@
+/**
+ * @author Ivano Bilenchi
+ *
+ * @copyright Copyright (c) 2024 SisInf Lab, Polytechnic University of Bari
+ * @copyright <http://swot.sisinflab.poliba.it>
+ * @copyright SPDX-License-Identifier: EPL-2.0
+ *
+ * @file
+ */
+
+#include "cowl_obj_prop_exp.h"
+#include "cowl_any.h"
+#include "cowl_inv_obj_prop.h"
+
+CowlObjProp *cowl_obj_prop_exp_get_prop(CowlAnyObjPropExp *exp) {
+    return cowl_obj_prop_exp_is_inverse(exp) ? cowl_inv_obj_prop_get_prop(exp) : exp;
+}