Precondition

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.

In object-oriented programming

Preconditions in object-oriented software development are an essential part of design by contract. Design by contract also includes notions of postcondition and class invariant.

This page contains text from Wikipedia, the Free Encyclopedia - https://wn.com/Precondition

Latest News for: Precondition

Edit

Gov't ready to negotiate with opposition without preconditions: Venezuelan FM

China.dot.org 13 Feb 2019

Venezuelan Foreign Minister Jorge Arreaza said on Tuesday that the government led by President Nicolas Maduro is ready to sit down with the opposition without preconditions and seek a solution to the political crisis....

Edit

Maduro ready to meet Guaido without preconditions

Sify 13 Feb 2019

The Venezuelan government, led by President Nicolas Maduro, is ready to meet with self-proclaimed President Juan Guaido without preconditions to arrive at a solution for the political crisis in the Latin American nation. "How can there be preconditions between Venezuelans? The government has been saying....

Edit

Iran's top judge says EU's preconditions for new non-dollar trade channel 'unacceptable'

Daily Star Lebanon 04 Feb 2019

Iran's top judge said on Monday that Tehran would never accept the "humiliating conditions" set by the European Union for non-dollar trade with Iran to avert U.S. sanctions, Iran's semi-official Tasnim news agency reported ... ....

Edit

Iran's top judge: EU preconditions for non-dollar trade channel 'unacceptable'

Reuters 04 Feb 2019

Iran's top judge said on Monday that Tehran would never accept the "humiliating conditions" set by the European Union for non-dollar trade intended to evade U.S. sanctions, the semi-official Tasnim news agency reported ... ....

Edit

Corbyn Will Meet Hamas, Hezbollah Without Preconditions, but Not Me, British PM May Tells Parliament

The Algemeiner 23 Jan 2019

British Prime Minister Theresa May addressing the House of Commons. Photo ... “He [Corbyn] has been willing to sit down with Hamas, Hezbollah and the IRA [Irish Republican Army] without preconditions, yet he won’t meet me to talk about Brexit,” May told the House of Commons in her weekly Prime Minister’s Questions session ... ....

Edit

Bipin Rawat for Taliban talks, but no 'preconditions'

Asian Age 10 Jan 2019

It may be recalled that the Afghan govt as well as the United States and Russia are in favour of engaging with the Pakistan-backed Afghan Taliban ... ....

Edit

Turkey Refuses to Cancel S-400 Purchase as Precondition for US Patriot Deal

Sputnik 10 Jan 2019

ANKARA (Sputnik) - Turkey is ready to consider US proposal on deliveries of Patriot air defense systems, but refuses to abandon the S-400 deal with Russia as a potential precondition for the Ankara-Washington agreement, Turkish Foreign Minister Mevlut Cavusoglu said Thursday ... ....

Edit

Talks with Taliban should be held without preconditions, says Army Chief Rawat; asserts terrorism becoming ...

India TV 10 Jan 2019

Taliban should be engaged but talks with it should be held without any preconditions, said Army Chief General Bipin Rawat, at a time when the US and Russia are reaching out to the terror outfit in Afghanistan ... "There can be no preconditions attached because when you start ......

Edit

Let's talk to Taliban, but with no preconditions, says Army Chief Bipin Rawat

DNA India 10 Jan 2019

Army Chief General Bipin Rawat has said that "there should be talks with the Taliban" but without any preconditions ... Explaining, Bipin Rawat said, "But then when you talk to terrorists or any organisation of that kind, you have to talk without preconditions. There cannot be preconditions attached to it....

Edit

'There Should Be Talks With Taliban, But Without Preconditions': Army Chief Bipin Rawat

News18 09 Jan 2019

... the Taliban so as to bring peace to Afghanistan but asserted the engagement must be without any preconditions....

Edit

Peace talks with Taliban welcome as long as there are no preconditions: Indian army chief

Dawn 09 Jan 2019

Indian Army Chief Gen Bipin Rawat welcomed peace talks with the Afghan Taliban as long as they did not have any "preconditions" attached to them, The Hindu reported on Wednesday ... "When you start attaching preconditions, it gives a sense of a notional victory that one or ......

Edit

Talks with Taliban should happen for stability in Afghanistan, without preconditions: Gen Rawat

The Hindu 09 Jan 2019

Observing that Pakistan has always treated Afghanistan as its backyard and have been concerned, General Bipin Rawat said talks with Taliban are welcome in the interest of stability in Afghanistan as long as there are no preconditions ... to be without preconditions, Gen Rawat stated....

Edit

Talks with Taliban should be held but without preconditions: Army chief Rawat

The Times of India 09 Jan 2019

At a time the US and Russia are reaching out to the Taliban in Afghanistan, Army chief General Bipin Rawat said the terror outfit should be engaged but talks should be held with it without any preconditions ... "There can be no preconditions attached because when you start attaching ......