i am using EA to model some c-components. i know that EA can't be used efficiently with C language but i am trying to stick to the intended usage of each element as possible as i can.
my question... i am modelling a C-file using a class and functions using operations inside this class. my functions need to receive some values before they start and send some other values before after they finish, can i represent this in the model using Operation's Pre and Post-Coditions or doesn't fit in this place? and if not how i should represent this in the model in a correct way