Provides annotations that help you to enforce your design pattern rules by throwing errors at compilation time if needed.