Glossary: Java Beyond the Basics

Compact constructor

A record constructor written without a parameter list, whose checks run on every new record, like Product rejecting negative stock.