Another term that describes the preconditions and postconditions associated with a method is

Select one:
a. contract
b. rubrik
c. exception
d. outcome