[Fix kbss-cvut/fta-fmea-ui#406] Filter out FHA with fault tree

kbss-cvut · Jul 7, 2024 · 8bf5a51 · 8bf5a51
1 parent c69b776
commit 8bf5a51
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/java/cz/cvut/kbss/analysis/dao/FaultEventTypeDao.java b/src/main/java/cz/cvut/kbss/analysis/dao/FaultEventTypeDao.java
@@ -62,6 +62,10 @@ public List<FaultEventType> getTopFaultEvents(URI systemUri) {
                                 fta:name ?name ;
                                 fta:is-manifestation-of/fta:has-component ?c.
                             
+                            FILTER NOT EXISTS {
+                                ?faultTree fta:is-manifested-by/fta:is-derived-from ?uri.
+                            }
+                            
                             ?system fta:has-part-component+ ?c.
                             ?c fta:is-derived-from ?generalComponent .