"Yannick Duch�ne (Hibou57)" wrote in message news:op.wnhfv7yjule2fv@cardamome... Le Fri, 09 Nov 2012 01:57:51 +0100, Randy Brukardt a �crit: >> (I wanted to make that a requirement, but that was shot down.) >How shot down? (if the question is not too much inquisitive) I don't recall the details, but I think most people wanted as few restrictions as possible. "Methodological restrictions" have a bad history in Ada, and thus we often avoid them. Clearly a tool like AdaControl can enforce style rules beyond those the language requires, and that was thought to be the best option here. Randy.