haaroituslogiikkaa

Haaroituslogiikka tarkoittaa päätöksentekoprosesseihin ja kontrollivirran hallintaan liittyvää logiikkaa, jossa suorituspolut haarautuvat ehtojen tai tilojen perusteella. Yleisiä esimerkkejä ovat ehtolauseet kuten if-else, switch tai match, sekä vastaavat rakenteet ohjelmointikielissä. Perusidea on valita seuraava suoritettava toimenpide syötteen, tilan ja kontekstin mukaan. Haarautuminen voidaan toteuttaa ohjelmoinnissa sekä ohjelman sisäisessä kontrollivirrassa että digitaalisessa logiikassa, jossa signaalit ohjataan esimerkiksi multiplexereilla tai koodauksia käyttämällä.

Haarautumislogiikkaa tarkastellaan usein kahdella tasolla: ehdollinen haarautuminen (kunnossa oleva ehto johtaa yhteen polkuun, epätosi toiseen) sekä useisiin vaihtoehtoihin johtava valinta monimutkaisemmissa tapauksissa. Tällöin voidaan käyttää guard-lausumia, selkeää rakennetta ja pienentää sisäkkäisyyksiä. Testauksessa on tärkeää kattaa kaikki olennaiset polut ja varmistaa, ettei mikään reitti johda virheeseen.

Käyttökohteita ovat ohjelmistokehitys, päätöksentekoprosessit, algoritmisuunnittelu sekä digitaalinen logiikka ja piirisuunnittelu. Haarauslogiikan haasteisiin kuuluu polkujen mahdollinen eksponentiaalinen kasvu, virheensietokyvyn hallinta ja koodin luettavuuden ylläpito.

Esimerkki: if (x > 10) { tulos = "korkea"; } else { tulos = "matala"; }