What does the “assert” keyword do? [duplicate]

by

If you launch your program with -enableassertions (or -ea for short) then this statement

assert cond;

is equivalent to

if (!cond)
    throw new AssertionError();

If you launch your program without this option, the assert statement will have no effect.

For example, assert d >= 0 && d <= s.length();, as posted in your question, is equivalent to

if (!(d >= 0 && d <= s.length()))
    throw new AssertionError();

(If you launched with -enableassertions that is.)

Formally, the Java Language Specification: 14.10. The assert Statement says the following:

14.10. The assert Statement
An assertion is an assert statement containing a boolean expression. An assertion is either enabled or disabled. If the assertion is enabled, execution of the assertion causes evaluation of the boolean expression and an error is reported if the expression evaluates to false. If the assertion is disabled, execution of the assertion has no effect whatsoever.

Where “enabled or disabled” is controlled with the -ea switch and “An error is reported” means that an AssertionError is thrown.

And finally, a lesser known feature of assert:

You can append : "Error message" like this:

assert d != null : "d is null";

to specify what the error message of the thrown AssertionError should be.

This post has been rewritten as an article here.

More Related Contents:

  1. How do you assert that a certain exception is thrown in JUnit 4 tests?
  2. How to do a JUnit assert on a message in a logger
  3. How do you assert that a certain exception is thrown in JUnit tests?
  4. How to enable the Java keyword assert in Eclipse program-wise?
  5. Exception Vs Assertion
  6. When to use an assertion and when to use an exception
  7. assert vs. JUnit Assertions
  8. AssertEquals 2 Lists ignore order
  9. How to continue execution when Assertion is failed
  10. differences between 2 JUnit Assert classes
  11. CollectionAssert in jUnit?
  12. What are assertions in Java and when should they be used?
  13. error: incompatible types: ‘Something’ cannot convert to ‘Something’
  14. When is the finalize() method called in Java?
  15. How do I use SwingWorker in Java?
  16. How would you implement an LRU cache in Java?
  17. JAX-RS / Jersey how to customize error handling?
  18. how to write an array to a file Java
  19. How do you enable anti aliasing in arbitrary Java apps?
  20. Sort ArrayList of Array in Java
  21. Convert String to Uri
  22. Java8 Lambdas and Exceptions
  23. Slight confusion regarding overriding where variables are concerned
  24. Spring Security with roles and permissions
  25. How to package resources in Jar properly
  26. Unit testing a Java Servlet
  27. Converting PDF to multipage tiff (Group 4)
  28. How to extract images from a PDF with iText in the correct order?
  29. regex replace all ignore case
  30. jersey security and session management

Leave a Comment