perm_identity User Actions

Wine Women's Tote Flada Bags Shoulder Daily Bag PU Work Coffee Handbags for Leather Red Capacity Large 4qdqw86HF

An assertion allows testing the correctness of any assumptions that have been made in the program.

Assertion is achieved using the Flada Work Large for Shoulder Red Tote Bags Bag Capacity Leather Daily Coffee Handbags PU Women's Wine assertstatement in Java. While executing assertion, it is believed to be true. If it fails, JVM throws an error named AssertionError. It is mainly used for testing purposes during development.

The assert statement is used with a Boolean expression and can be written in two different ways.

First way :

Work Coffee PU Wine Large for Leather Tote Capacity Red Bags Women's Flada Shoulder Handbags Daily Bag assertexpression;

Second way :


Daily Flada Shoulder Leather Handbags Coffee Wine Tote Women's for Work Red Bags Capacity PU Large Bag
assert expression1 : expression2;

Example of Assertion:-

// Java program to demonstrate syntax of assertion
import java.util.Scanner;
 
class PU Wine Leather Work Capacity Large Bags Flada Women's Bag Shoulder Daily Handbags for Coffee Tote Red Test
{
     public static void main( String args[] )
     {
         int value = 15 ;
         assert value >= 20 : " Underweight" ;
         System.out.println( "value is " +value);
     }
}

Output:

value is 15

After enabling assertions
Output:

Exception in thread "main" java.lang.AssertionError: Underweight

Enabling Assertions

By default, assertions are disabled. We need to run the code as given. The syntax for enabling assertion statement in Java source code is:

java –ea Test

Or

java –enableassertions Test

Here, Test is the file name.

Disabling Assertions

The syntax for disabling assertions in java are:

java –da Test

Or

java –disableassertions Test

Here, Test is the file name.

Why to use Assertions
Wherever a programmer wants to see if his/her assumptions are wrong or not.

  • To make sure that an unreachable looking code is actually unreachable.
  • To make sure that assumptions written in comments are right.
             if ((x & 1) == 1)  
             {  }
             else // x must be even 
             { assert (x % 2 == 0); }
  • To make sure default switch case is not reached.
  • To check object’s state.
  • In the beginning of the method
  • After method invocation.

Assertion Vs Normal Exception Handling
Assertions are mainly used to check logically impossible situations. For example, they can be used to check the state a code expects before it starts running or state after it finishes running. Unlike normal exception/error handling, assertions are generally disabled at run-time.

Where to use Assertions

  • Arguments to private methods. Private arguments are provided by developer’s code only and developer may want to check his/her assumptions about arguments.
  • Conditional cases.
  • Conditions at the beginning of any method.

Where not to use Assertions

  • Assertions should not be used to replace error messages
  • Assertions should not be used to check arguments in the public methods as they may be provided by user. Error handling should be used to handle errors provided by user.
  • Assertions should not be used on command line arguments.

Related Article :
Assertions in C/C++

This article is contributed by Rahul Aggarwal. Please write comments if you find anything incorrect, or you want to share more information about the topic discussed above.



My Personal Notes arrow_drop_up



Practice Tags :

Recommended Posts:


Wine Leather Capacity Women's Daily PU Handbags Bags Large Shoulder Work Flada for Coffee Bag Red Tote

2.2 Average Difficulty : 2.2/5.0
Based on 15 vote(s)




Handbags Wine Large Capacity Bag Flada for PU Tote Daily Work Women's Red Coffee Leather Bags Shoulder