Skip to Content
Java
book

Java

by Rheinwerk Publishing, Inc, Christian Ullenboom
June 2025
Intermediate to advanced
1129 pages
53h
English
Packt Publishing
Content preview from Java

9.9    Assertions*

One connotation of the term assertion suggests what it is about: assurances . Assertions formulate statements that must always be true if the code runs correctly. If a condition isn’t met, an exception will follow, indicating that something must have gone wrong in the program. The use of assertions in code promotes documentation for the valid program state.

You can distinguish between the following types of assertions:

  • Precondition : A state that must always be true prior to an operation

  • Postcondition : A state that must always be true after an operation

Formulating correct states is an essential element of design by contract , a development method that involves establishing a “contract” about what a program must ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

Real-World Java

Real-World Java

Victor Grazi, Jeanne Boyarsky
C++

C++

Rheinwerk Publishing, Inc, Torsten T. Will

Publisher Resources

ISBN: 9781806118434