CODEWITHSUNDEEP
adacontractpost-conditions
Alexis Guillot
Alexis Guillot

Reputation: 21

How can i assign a new value to a function parameter in an ada postcondition

i've been trying a lot of things and looking for solutions but i can't find one.

I' m stuck because i need to assign a new value to a post condition in an ada function

For example, with the following function:

function Square(A: in out INTEGER) return INTEGER
   with 
      Pre => A > 0,
      Post => Square'Result = A * A
....

I would like to know how i can for example increment the parameter A or set it to a random value like 42 inside of the the post condition

Thank you

Upvotes: 2

Views: 510

Answers (0)

Related Questions