[pjmlp]

You kind of used D's syntax for contracts,

http://dlang.org/contracts.html

[mhomde]

cool, thanks!

Multiple bracket blocks is not the most esthetic of solutions I think but it's the best I can think of. Attributes feels too clunky and just stacking contracts as lines after the class statement feels too disorganized