Project

General

Profile

Feature #2703

[constraints] onActivate handler

Added by Anonymous almost 4 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
09/29/2016
Due date:
% Done:

0%

Estimated time:

Description

implement an "onActivate" handler to perform actions on constraint activation:
  • information about time consumption
  • check that Z3/NuSMV or other is available
  • etc.

History

#1 Updated by Anonymous almost 4 years ago

see org.fortiss.tooling.kernel.ui.extension.IConstraintUI.isTimeConsuming()

#2 Updated by Anonymous over 3 years ago

  • Target version changed from AF3 2.11 RC1 (Feature Freeze) to AF3 2.12 RC1 (Feature Freeze)

#3 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.12 RC1 (Feature Freeze) to AF3 2.13 RC1 (Feature Freeze)

#4 Updated by Anonymous over 2 years ago

  • Assignee changed from Anonymous to Anonymous

@Sudeep: this was sofar my planned solution for checking when NuSMV was available or not: change the constraint system slightly to have an additional "hook" when a constraint gets activated.

This is easy to implement when you have an idea how the constraint system works.

Bottom line: I would keep the issue if you think it can solve your problem, if you otherwise have an easy workaround as we discussed, I would just reject.

#5 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.13 RC1 (Feature Freeze) to AF3 2.14 RC1 (Feature Freeze)

#6 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

Also available in: Atom PDF