Which statement is true about assertion in the Java programming language？（）  

• A、 Assertion expressions should not contain side effects.
• B、 Assertion expression values can be any primitive type.
• C、 Assertion should be used for enforcing preconditions on public methods.
• D、 An AssertionError thrown as a result of a failed assertion should always be handled by the enclosing method.