Limited access

Upgrade to access all content for this subject

In Java, a post-condition of a method is defined as

A

a state or situation that must be tested at the end of the method.

B

something that must be true after the method completes execution.

C

a state or situation that must be true before the method is called.

D

something that must not change during execution of the method.

E

a condition that is dependent on the state of variables after the method is called.

Select an assignment template