Where should pre and postconditions be stated?

• in a comment block below the method
• in a comment block just under the method definition
• at the top of a java file before a class is declard