Book a Demo

Author Topic: Code generation template - operation pre and post conditions  (Read 3713 times)

BobLoblaw

  • EA Novice
  • *
  • Posts: 4
  • Karma: +0/-0
    • View Profile
Code generation template - operation pre and post conditions
« on: November 26, 2019, 03:35:27 am »
Hi there!

I am creating a custom code template in C, and wish to print the pre and post conditions in the operation notes.
Is this possible?

I would like something like:
$preConditionNotes = "// Precondition = " + %opPreCondition% + "\n"

Max H

  • EA User
  • **
  • Posts: 24
  • Karma: +0/-0
    • View Profile
    • SafeCode Consulting
Re: Code generation template - operation pre and post conditions
« Reply #1 on: January 08, 2020, 07:23:00 am »
I've been waiting for this since 2008.

I have not found a way to generate constraints for operations.  It is possible to create and expand constraints for classes, leaving me to believe it's just an oversight that you cannot do it for operations.