sisetingimus
Sisetingimus on tingimus, mis asub tingimuslause sees ja mida peab olema täidetud, et midagi juhtuks või kehtiks. Programmeerimises ja loogikas tingimus, mis kontrollib väärtusi või olekuid programmi või süsteemi sees.
Sisetingimus on tingimus, mis paikneb tingimuslause või tingimuskonstruktsiooni sees ja mida hinnatakse programmi töö või loogilise järelduse käigus. Programmeerimises on sisetingimus kontrollimehanism, mis kontrollib muutujate väärtusi, andmete olekuid või süsteemi parameetreid enne teatud tegevuse sooritamist. Näiteks programmikoodis võib sisetingimus kontrollida, kas kasutaja vanus on suurem kui 18, enne kui lubatakse teatud funktsiooni kasutada. Loogikas ja matemaatikas tähistab sisetingimus tingimust, mis peab olema tõene, et mingit järeldust saaks teha või mingit väidet saaks pidada kehtivaks. Sisetingimusi kasutatakse ka lepingutes ja kokkulepetes, kus need määratlevad tingimused, mis peavad olema täidetud lepingu kehtivuse või täitmise käigus. Sisetingimuste õige defineerimine on oluline vigade vältimiseks ja loogilise terviklikkuse tagamiseks.
Kasutusnäited
Programmi sisetingimus kontrollib, kas sisestatud parool vastab nõuetele.
Lepingu sisetingimus nõuab, et mõlemad pooled esitaksid aruande iga kvartali lõpus.
Algoritmi sisetingimus tagab, et jagamine nulliga ei toimuks.