From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 20 Mar 2019 16:09:09 +0100
Subject: Fault tree transformation for partial models WIP

---
 .../plugin.xml                                     | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml
new file mode 100644
index 00000000..8a01c50c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/plugin.xml
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+   <extension
+         point="org.eclipse.ui.menus">
+      <menuContribution
+            allPopups="false"
+            locationURI="popup:hu.bme.mit.inf.dslreasoner.application.ui.menu?after=hu.bme.mit.inf.dslreasoner.application.ui.executescript">
+         <command
+               commandId="hu.bme.mit.inf.dslreasoner.faulttree.ui.reliabilityanalysis"
+               label="Reliability Analysis..."
+               style="push">
+         </command>
+      </menuContribution>
+   </extension>
+   <extension
+         point="org.eclipse.ui.commands">
+      <command
+            defaultHandler="hu.bme.mit.inf.dslreasoner.faulttree.ui.handler.ReliabilityAnalysisHandler"
+            id="hu.bme.mit.inf.dslreasoner.faulttree.ui.reliabilityanalysis"
+            name="Execute Reliability Analysis">
+      </command>
+   </extension>
+
+</plugin>
-- 
cgit v1.2.3-70-g09d2