• Главная
• PhpDeal
• Annotation

PHP PhpDeal\Annotation Пространство имен

Классы

Имя	Описание
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