black-tie:正式的语义验证方法

黑领带 正式的语义验证方法 这是什么？ black-tie是用于TypeScript类的语义验证的基于装饰器的简单方法。 黑领带使用Object Constraint Language来执行这些验证。 不变量 假设我们有一个看起来像这样的类： class MediaItem { name : string ; mediaType : 'book' | 'movie' ; isbn : string ; } 我们要强制执行以下规则：任何书籍都应具有ISBN号。 @ ContextFor ( `inv bookHasIsbn: self.mediaType = "book" implies not self.isbn.oclIsUndefined()` ) class MediaItem { name : string ; mediaType :