项目作者: timroberts

项目描述 :
Scala Design by contract (DbC)
高级语言: Scala
项目地址: git://github.com/timroberts/scaladbc.git
创建时间: 2016-05-14T21:51:11Z
项目社区:https://github.com/timroberts/scaladbc

开源协议:Apache License 2.0

下载


Scala Design-by-Contract

Design-by-contract is a powerful, but less well known, technique to improve software quality.
General information can be found in the Wiki.

The goals of this repo are as follows:

  • Document via examples the built-in, but less commonly known, DbC features of Scala. For example, Predef.ensuring
  • Document patterns such as trait based specs. These are contained in the test pacakge.
  • Collect a robust implementation of missing features such as invariants. These are in the main dir.
  • Capture discussions and documents regarding implementation, trade-offs and growth scenarios around DbC in scala

Any help towards these goals gladly accepted!

I want to thank Martin Odersky for providing the original material that started this project.