search

sebhoss / annotated-contracts

Design by Contract based on annotations
The Unlicense
1 stars 1 forks source link

Consider JEP 120 usage #2

Open sebhoss opened 11 years ago

sebhoss commented 11 years ago

JEP 120 allows the repeated usage of annotations. This can be useful when defining several pre- and postconditions