Go to: JAVA assertions

From: http://www.blogjava.net/liulu/archive/2006/10/24/77005.html

I believe that those who have learned c and c ++ will not be unfamiliar with assertions. The following describes how to use assertions in JAVA. JAVA supports assertions starting from JDK1.4 (the keyword assert is added). Note that the old version of JRE does not support them.

Assertion Overview

When writing code, we always make assumptions that assertions are used in the codeCapture these assumptions
Can regard assertionAn advanced form of Exception Handling
Assertions are expressed as boolean expressions. The programmer believes that the expression value is true at a specific point in the program.
You can enable and disable Assertion Verification at any time, so you can enable assertion during testing and disable assertion during deployment. Similarly, after the program is put into operation, the end user can re-use the assertions in case of problems.
Using assertions, you can create code with higher stability, better quality, and easier debugging.
You can use assertions to interrupt the current operation when the value is FALSE.
Unit tests must use assertions (Junit/JunitX)
In addition to type checks and unit tests, assertions also provide an excellent way to determine whether a feature is maintained in the program.
Use assertionsDesign by contractCloser to one
Common assertions

Preconditions assertions: features required before Code Execution
Post-condition assertions: features required after Code Execution
Unchanged assertion: Non-changeable features before and after Code Execution
Assertion usage

Assertion can be in two forms
1. assert Expression1
2. assert Expression1: Expression2
Expression1 should always be a Boolean value, and Expression2 is the string of the failed message output when the assertion fails. If Expression1 is false, an AssertionError is thrown. This is an error rather than an Exception, that is, an unchecked Exception. AssertionError is not captured because it is an error, however, this is not recommended because it will make your system unstable.
Start assertions

Assertions are disabled by default. To enable assertions during compilation, use source1.4 to mark both javac source1.4 Test. java and use the-ea parameter to enable assertions during runtime. To enable and disable assertions in the system class, you can use the-esa and-dsa parameters.
For example:
Public class AssertExampleOne {
Public AssertExampleOne (){}
Public static void main (String args []) {
Int x = 10;
System. out. println ("Testing Assertion that x = 100 ");
Assert x = 100: "Out assertion failed! ";
System. out. println ("Test passed! ");
}
}
If-source1.4 is not added during compilation, the compilation fails.
When-ea is not added during execution, the output is
Testing Assertion that x = 100
Test passed
The jre ignores the asserted code, and when this parameter is used, the output is
Testing Assertion that x = 100
Exception in thread "main" java. lang. AssertionError: Out assertion failed!
At AssertExampleOne. main (AssertExampleOne. java: 6)
Assertion side effects

Due to programmer problems, the use of assertions may bring side effects, such:
Boolean isEnable = false;
//...
Assert isEnable = true;
The side effect of this assertion is that it modifies the value of the variable in the program and does not throw an error. It is difficult to find such an error without careful check. At the same time, we can obtain a useful feature based on the above side effects and test whether the assertions are enabled based on it.
Public class AssertExampleTwo {
Public static void main (String args []) {
Boolean isEnable = false;
//...
Assert isenable = true;
If (isenable = false ){
Throw new runtimeexception ("assertion shoule be enable! ");
}
}
}
When to use assertions

1. You can place assert false where the program is not expected to arrive normally.
2. assertions can be used to check the parameters passed to the private method. (For public methods, because they are provided to external interfaces, there must be corresponding parameter checks in the methods to ensure code robustness)
3. Pre-and Post-Conditions for executing the test method using assertions
4. Use assertions to check the unchanged state of the class to ensure that the state of a variable must be met under any circumstances. (For example, the age attribute must be greater than 0 and smaller than a proper value)
Do not use assertions somewhere

The asserted statement is not always executed, can be blocked or Enabled
Therefore:
1. Do not use assertion as a parameter check for common methods. Parameters of common methods will always be executed.
2. assertion statements cannot have any boundary effect. Do not use assertion statements to modify variables or change the return values of methods.
Refer:
Http://jcp.org/en/jsr/detail? Id = 41
Http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
Http://www-128.ibm.com/developworkers/cn/java/jdiag0723/
Http://www-128.ibm.com/developworkers/cn/java/jmerlin/part9/

Technorati label: Java, asserted