On 2013-11-20 14:01, Timon Gehr wrote:

void process(Data data)in{ assert(isValid(data)); }body{
     // process
}

Right, forgot about contracts.

--
/Jacob Carlborg

Reply via email to