[jira] [Created] (GROOVY-12060) groovy-contracts could support @Decreases at the method level

[Paul King (Jira)]

Paul King created GROOVY-12060:
----------------------------------

             Summary: groovy-contracts could support @Decreases at the method 
level
                 Key: GROOVY-12060
                 URL: https://issues.apache.org/jira/browse/GROOVY-12060
             Project: Groovy
          Issue Type: Improvement
            Reporter: Paul King
            Assignee: Paul King


Essentially this would mean it can act as a call-stack/recursion measure for 
termination.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)