Home Javatutorials Assertion in java

Related Tutorials


 
 

Share on Google+Share on Google+

Assertion in java

Advertisement
In this tutorial we are going to tell you what is assertion in Java and how to use it in your Java program to improve the quality of your applications

Assertion in java

In this tutorial we are going to tell you what is assertion in Java and how to use it in your Java program to improve the quality of your applications!

What is Assertion in Java

According to Sun, we can use assertion to test our assumption about programs. That means it validates our program!
In another words we can say that assertions ensures the program validity by catching exceptions and logical errors. They can be stated as comments to guide the programmer. Assertions are of two types:
1) Preconditions
2) Postconditions.

Preconditions are the assertions which invokes when a method is invoked and Postconditions are the assertions which invokes after a method finishes. 

Where to use Assertions
We can use assertions in java to make it more understanding and user friendly, because assertions can be used while defining preconditions and post conditions of the program. Apart from this we can use assertions on internal, control flow and class invariants as well? to improve the programming experience.

Declaring Assertion:
Assertion statements have two form-
assert expression;
This statement evaluates expression and throws an AssertionError if the expression is false

assert expression1 : expression2
This statement evaluates expression1 and throws an AssertionError with expression2 as the error message if expression1 is false
Now we are providing you an example which explains you more clearly.

Here is the code of AssertionExample.java

import java.util.*;
import java.util.Scanner;
  
public class AssertionExample
  {
 public static void main( String args[] )
  {
  Scanner scanner = new Scanner( System.in );
 
  System.out.print( "Enter a number between 0 and 20: " );
  int value = scanner.nextInt();
  assert( value >= 0 && value <= 20 ) :
  "Invalid number: " + value;
  System.out.printf( "You have entered %d\n", value );
 } 
  }

In the above example, When the user enters the number scanner.nextInt() method reads the number from the command line. The assert statement determines whether the entered  number is within the valid range. If the user entered a number which is out of range then the error occurs.

To run the above example,
Compile the example with:  javac AssertionExample.java
Run the example with:  java -ea AssertionExample
To enable assertions at runtime,  -ea command-line option is used

When you enter the number within range, output will be displayed as:

When you enter  the number out of range, output will be:


Download Source Code

 

 

Advertisement

If you enjoyed this post then why not add us on Google+? Add us to your Circles



Liked it!  Share this Tutorial


Follow us on Twitter, or add us on Facebook or Google Plus to keep you updated with the recent trends of Java and other open source platforms.

Posted on: June 15, 2009

Related Tutorials

Discuss: Assertion in java  

Post your Comment


Your Name (*) :
Your Email :
Subject (*):
Your Comment (*):
  Reload Image
 
 
Comments:16
Sweety
January 24, 2012
Information about Assertion

Hi, I need the detail info means how 2 use the assert key in different places.
puneet
March 18, 2012
Thankyou

Thankyou!
agni prakash
March 26, 2012
thank u

thanks for the perfect demonstration....fully satisfied
Shiv P.Dubey
July 5, 2012
Satisfied

very nice sir/madam, it was very easy to understand . thanks u very much..
Girish Aiholi
July 17, 2012
THANK YOU

THANK YOU ITS VERY ASSERTIVE
ajay
December 27, 2012
java

Very helpful..!!!
Villain
April 12, 2013
Not Working

This Code ain't work...! Just Help me with a perfect example for Assertion...!
Vivek Hingorani
April 13, 2013
The above assertion is not working:-(

Copy pasted the above code and ran from eclipse and its not working..
vishal
September 7, 2012
Java Assertion

Hii I was go through that code but it wont work so pls help me
DMCA.com