Suppose I am making a Jeroo method that requires the Jeroo to have 3 flowers in order for the method to work correctly. How would I write this in the comment above my method?
@precondition The Jeroo has at least three flowers.
@needed The Jeroo has at least three flowers.
@required The Jeroo has at least three flowers.
@postcondition The Jeroo has at least three flowers.