In a method, the postcondition is documented in which clae? Option 1: Formal parameter. Option 2: Requires. Option 3: Method signature. Option 4: Ensures. Option 5: Returns.