[
https://issues.apache.org/jira/browse/GROOVY-11890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Paul King closed GROOVY-11890.
------------------------------
> groovy-contracts could support "@Decreases"
> -------------------------------------------
>
> Key: GROOVY-11890
> URL: https://issues.apache.org/jira/browse/GROOVY-11890
> Project: Groovy
> Issue Type: Improvement
> Components: groovy-contracts
> Reporter: Paul King
> Assignee: Paul King
> Priority: Major
> Fix For: 6.0.0-alpha-1
>
>
> Looking at various Dafny examples, the next most used mechanism is
> _decreases_ typically related to the loop condition. groovy-contracts could
> support a @Decreases annotation that would allow such termination conditions
> to be asserted.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
