User:GorgeUbuasha/My sand box
(Redirected from User:GeorgBauhaus/My sand box)
Scratch Space[edit | edit source]
-- pre: a /= 0 and a >= -1if
a /= 0and
a >= -1then
-- pre: a /= 0 and a >= -1if
a /= 0and
a >= -1then
WiKi markup and Ada comments[edit | edit source]
OK:
-- hello? -- ! pre: wlt > 0
But:
-- result >= 0,
versus
-- {{{1}}}
and
-- count = old count + 1
versus
-- {{{1}}}
(From [Computer_programming/Design_by_Contract])
Resolution: look at this WiKi's templates syntax, named and numbered parameters, like in /=. IOW RTFM. Thanks to ManuelGR for pointing this out.