Project

General

Profile

Feature #2861

[Constraints] Take functions into account

Added by Anonymous over 3 years ago. Updated 12 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Formal Verification
Target version:
Start date:
02/24/2017
Due date:
% Done:

0%

Estimated time:

Description

Steps to reproduce:
  • make a function (say the identity)
  • build a state automaton
  • make a transition using this function
  • activate the determinism check
  • change the function

Expected: check is re-triggered

Observe: it is not re-triggered

History

#1 Updated by Anonymous over 3 years ago

Solution sketch:
  • add a listener to the data dictionary which triggers a change event on the components making use of a function (+ similar for enums and structs)
    Pay attention to transitivity: a function can be used inside another function which only itself is used by a component
  • change the IConstrained type to add a containment "influentialObjects" to a list of EObjects
    This field should always be empty, but only filled in by the constraints, time of the check
  • modify the constraints so that they fill in this "influentialObjects"

#2 Updated by Simon Barner over 2 years ago

  • Target version changed from AF3 2.11 Post-release to AF3 2.13 RC1 (Feature Freeze)

#3 Updated by Anonymous over 2 years ago

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

#4 Updated by Anonymous over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to AF3 2.15 RC2 (Tested, Bug-free)

#5 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC2 (Tested, Bug-free) to AF3 2.16 RC2 (Tested, Bug-free)

#6 Updated by Simon Barner 12 months ago

  • Tracker changed from Bug to Feature
  • Category set to Formal Verification
  • Assignee deleted (Anonymous)
  • Target version changed from AF3 2.16 RC2 (Tested, Bug-free) to Backlog

Also available in: Atom PDF