From 060179166b82f97c9dd617233932f5d85b392d96 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 24 Apr 2013 16:37:08 +0200
Subject: [PATCH] fix assertion check button
---
de.prob.ui/plugin.xml | 13 +++++++++----
1 file changed, 9 insertions(+), 4 deletions(-)
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index d1ea1c26..43acbbe7 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -308,6 +308,11 @@
id="de.prob.ui.refinement_check"
name="Validate Refinement">
</command>
+ <command
+ categoryId="de.prob.ui.commands.category"
+ id="de.prob.ui.assertion_check"
+ name="Check Assertions">
+ </command>
<command
categoryId="de.prob.ui.commands.category"
id="de.prob.ui.opview.checks"
@@ -766,9 +771,6 @@
</handler>
<handler
commandId="de.prob.ui.assertion_check">
- <class
- class="de.prob.ui.deadlock.AssertionCheckHandler">
- </class>
<enabledWhen>
<with
variable="de.prob.core.model_loaded">
@@ -777,6 +779,9 @@
</equals>
</with>
</enabledWhen>
+ <class
+ class="de.prob.ui.assertion.AssertionCheckHandler">
+ </class>
</handler>
<!-- <handler
commandId="de.prob.ui.startdmc">
@@ -1109,7 +1114,7 @@
style="push">
</command>
<command
- commandId="de.prob.ui.assertions_check"
+ commandId="de.prob.ui.assertion_check"
icon="icons/CBCInvariantCheck.png"
label="Context Theorems"
mnemonic="C"
--
GitLab