文件名称：black-tie:正式的语义验证方法
文件大小：14KB
文件格式：ZIP
更新时间：2024-05-31 05:31:07
TypeScript
黑领带 正式的语义验证方法 这是什么？ 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 :
【文件预览】：
black-tie-master
----.gitignore(19B)
----package.json(883B)
----package-lock.json(14KB)
----src()
--------validate.ts(3KB)
--------index.ts(59B)
--------oclDecorator.ts(3KB)
----LICENSE(1KB)
----tsconfig.json(5KB)
----README.md(1KB)
----.vscode()
--------settings.json(73B)
--------launch.json(583B)
--------tasks.json(299B)
----.gitattributes(66B)
----test()
--------mocha.opts(139B)
--------validate.spec.ts(3KB)