The @Postcondition Tag


	Resources

	FAQ Online Help File Examples External Links


	Online Help File

	The Time2HELP help file is available online.


	Order Time2HELP

	Order Time2help and pay by credit card, check or bank transfer.

	Order online from Kagi.


	Download trial version

	Download the 30 day trial version of Time2HELP now.


Painless Documentation for your Source Code



		Home Features Download Support News Order

The @Postcondition Tag

Syntax

@postcondition description

Synonyms

@post.

Description

Documents a postcondition. Applies to methods and routines, and sometimes to properties. A postcondition is a statement which you as a caller can assume to be true when the method (etc) returns. It is part of the contract between the caller and callee, with the "burden" on the callee.

Example

@post Result<>nil
@post OutputArgument1 > 0