Code Inspection: Problem in contract annotation definition

Last modified: 08 March 2021

This inspection verifies the syntax of Contract Annotations.