• Home
• PhpDeal
• Annotation

PHP PhpDeal\Annotation Namespace

Classes

Name	Description
Ensure	This annotation defines a Post-condition check, applied to the method
Invariant	This annotation defines an Invariant check
Verify	This annotation defines a Pre-condition check, applied to the method