More on postconditions:
nQuery
postconditions:
uQueries do not
change objects’ states.
uQuery postconditions
simply say something about the value
returned.
nCommand
postconditions:
uCommands change
states.
uCommand
postconditions describe the new state
after execution of the command.
nConstructor
postconditions:
udescribe the initial
state of the object.