PM85918: Rules in Capsule Transitions Don't Work

Rational Software Architect RealTime Edition 9.0

APAR status

• Closed as program error.

Error description

• Capsule transition Rules has a bug: transition Constraints can
  be
  Guards or Rules, but Rules produce strange behavior and
  therefore must
  NOT be used.  Guards can be used instead.  Rules have been
  proven to
  NOT execute the first time through (previous version of redacted
  
  capsule), effectively evaluating as 'pass' or 'true'.  This
  behavior
  makes it as if there is no Rule at all, the first time through.
  
  Thereafter, the Rule acts as one would assume it should,
  evaluating to
  'pass' or 'fail' based on the coded logic of the Rule.  On the
  other
  hand, Guards evaluate every time, as expected, and therefore
  these
  should be used instead.  It would be extremely difficult to
  capture
  other details herein.  I can demonstrate this by changing
  redacted
  code, Building, and executing in the SWIT environment.
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  Validation rules were missing for transformations for a case
  when non-guard constraint is used.
  

Problem conclusion

• Added special validation rules to C++, Java and C
  transformations for a case when non-guard constraint is
  used. User will get warnings when
  - non-guard constraint is used in a transition (we should
  recommend users to use guards only)
  - non-guard constraint does not constraint Trigger (such
  constraint will be ignored in generated code)
  - non-guard constraint does not have appropriate language
  (such constraint will be ignored in generated code)
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

Fix information

• Fixed component name

  RSA REALTIME

• Fixed component ID

  5724G4701

Applicable component levels

• R804 PSN

     UP