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

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 ......

Edit

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

Moneycontrol 09 Jan 2019

Bipin Rawat said the terror outfit should be engaged but talks should be held with it without any preconditions ... "Yes, there should be talks with Taliban so long as they do not come out with any preconditions and so long as they are looking at lasting peace in Afghanistan and bring about stability in that country....

Edit

EU politely asks if China could stop snaffling IP as precondition for doing business

The Register 21 Dec 2018

Hands off our 'leccy 'cars The EU yesterday escalated its complaint to the World Trade Organization that China "forces" Western companies to surrender valuable IP as part of doing business there ... ....

Edit

Turkish Preconditions Should be Countered by Armenian Preconditions

Asbarez 19 Dec 2018

Armenia’s Acting Prime Minister Nikol Pashinyan announced last week that his government is ready to establish diplomatic relations with Turkey, however, without any preconditions ... Serzh Sargsyan was forced to reject this precondition and annulled the Protocols earlier this year....

Edit

Healthy India a precondition for prosperous India: PM

The Times of India 15 Dec 2018

Salem. Addressing the BJP cadres in Salem, Namakkal, Coimbatore, Nilgiris and Kanyakumari through videoconference, prime minister Narendra Modi on Saturday said healthy India was a precondition for a prosperous India....

Edit

Secretary-General Welcomes Launch of Intra-Yemeni Consultations in Sweden, Urges Parties to Engage in Good Faith, without Preconditions

Public Technologies 06 Dec 2018

... Sweden and urges the parties to make progress on the agenda for the consultations outlined by his Special Envoy, Martin Griffiths, by exercising flexibility and engaging in good faith and without preconditions....