Everything about Precondition totally explained
In
logic a
precondition is a condition that has to be met before a main argument can have any value.
In
computer programming, a
precondition is a condition or
predicate that must always be true just prior to the execution of some section of
code or before an operation in a
formal specification.
If a precondition is violated, the effect of the section of
code becomes undefined and thus may or may not carry out its intended work.
Security problems can arise due to incorrect preconditions.
Often, preconditions are simply included in the documentation of the affected section of code. Preconditions are sometimes tested using
assertions within the code itself, and some languages have specific syntactic constructions for doing so.
For example: the
factorial is only defined for integers greater than or equal to zero. So a program that calculates the factorial of an input number would have preconditions that the number be an integer and that it be greater than or equal to zero.
Further Information
Get more info on 'Precondition'.
|
External Link Exchanges
Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:
<a href="http://precondition.totallyexplained.com">Precondition Totally Explained</a>
Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned. |
