Macro
Has the same effect as NS_ASSERTION. Should be used to test conditions that are guaranteed to be produced by a method.
NS_POSTCONDITION(expressionToTest, "error text");