[jira] [Created] (GROOVY-11443) Support multiple Requires/Ensures/Invariant annotations in groovy-contracts

[Paul King (Jira)]

Paul King created GROOVY-11443:
----------------------------------

             Summary: Support multiple Requires/Ensures/Invariant annotations 
in groovy-contracts
                 Key: GROOVY-11443
                 URL: https://issues.apache.org/jira/browse/GROOVY-11443
             Project: Groovy
          Issue Type: Improvement
            Reporter: Paul King


Languages like Dafny support having multiple pre/post condition clauses. They 
are just and'ed together.



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