User:GorgeUbuasha/My sand box

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Scratch Space[edit | edit source]

--  pre: a /= 0 and a >= -1
   if a /= 0 and a >= -1 then
   --  pre: a /= 0 and a >= -1
   if a /= 0 and a >= -1 then

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.