Software AG component for code instrumentation:

History of Changes

instrumentation_1_2_1_0

Contract

• No more automatic logging of all pre- and postcondition checks.
  Reason: practical evaluation shows that this logging output does not helps.
• For all other logging output - if (logger.isLoggable(Level.xxx)) - added.
• ViolatedPrecondition and ViolatedPostcondition are public now.

Logging

• No feature changes.

instrumentation_1_2_0_0

no history.