Content deleted Content added
AdaHephais (talk | contribs) Internal link Tags: Visual edit Mobile edit Mobile web edit |
AdaHephais (talk | contribs) Internal link Tags: Visual edit Mobile edit Mobile web edit |
||
Line 47:
== Usage ==
In languages such as [[Eiffel (programming language)|Eiffel]], assertions form part of the design process; other languages, such as [[C (programming language)|C]] and [[Java (programming language)|Java]], use them only to check assumptions at [[Runtime system|runtime]]. In both cases, they can be checked for validity at runtime but can usually also be suppressed.
=== Assertions in design by contract ===
| |||