A method with a precondition may have assert statements to test that precondition, as in these examples: /** Constructor: a P with grandparent p.
確定! 回上一頁