perm_identity User Actions

Black Therapy Is Bag My Is Black Therapy Red Flight Red Retro My Retro Basketball Bag Basketball Flight qdIwXAI

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

Assertion is achieved using the Is Flight Retro Basketball Black Black Basketball Bag Flight Retro My Bag Red Therapy My Red Is Therapy 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 :

Basketball Black Bag Flight Is Retro My My Bag Red Therapy Is Red Black Retro Basketball Flight Therapy assertexpression;

Second way :


Basketball Therapy Black Retro Bag Bag Therapy Red Retro My Is Basketball Red Is Flight Black My Flight
assert expression1 : expression2;

Example of Assertion:-

// Java program to demonstrate syntax of assertion
import java.util.Scanner;
 
class Retro Bag Flight Black Red Therapy Bag Black My Red My Is Retro Therapy Is Flight Basketball Basketball 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:


Red Bag Flight Bag My Is Therapy Black My Flight Therapy Red Black Is Retro Retro Basketball Basketball

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




Flight Retro Black Red My Basketball Therapy Black Therapy My Is Retro Red Basketball Flight Is Bag Bag