Дамян е прав - става дума за обещанието, което един програмен модул дава: какво очаква (напр. входни данни, свободни ресурси), какво дава или променя, какво не закача. Аналогията с договор/контракт от бизнеса си е залегнала в понятието, но става дума за оцветяване на програмни конструкции в езика Eiffel. Да не объркваме потребителите.
Напр: http://archive.eiffel.com/doc/manuals/technology/contract/ put (x: ELEMENT; key: STRING) is -- Insert x so that it -- will be retrievable through key. require count <= capacity not key.empty do ... Some insertion algorithm ... ensure has (x) item (key) = x count = old count + 1 end Частите между (1) require и do и (2) ensure и end представляват програмните задължения на модула. ал_шопов _______________________________________________ Dict mailing list [email protected] http://zver.fsa-bg.org/cgi-bin/mailman/listinfo/dict
