• 홈
• 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