A' chiad dhearbhadh agad

deich mionaidean · trì ceumannan · dad ris am feum thu earbsa a chur gun sgrùdadh

Is e seo slighe an neach-tòiseachaidh. Chan fheum thu a bhith 'nad neach-prògramaidh, chan fheum thu cunntas fhaighinn, agus chan fheum thu innse dhuinn gu bheil thu ann. Aig a dheireadh, bidh an coimpiutair agad fhèin — chan e am fear againne, agus chan e am facal againne mu a dheidhinn — air am matamataig air cùl riaghailt fhìor bhon leabharlann a sgrùdadh.

Ma tha thu eòlach mu thràth air dearbhaiche, thèid an slighe làn nas fhaide: a' togail a' bheòil agus a' sgrùdadh gach sreath den chlàr fhìrinn aige. Stadaidh an duilleag seo aig an dearbhadh, agus is e sin am pàirt as cudromaiche agus am pàirt aig nach eil feum air dad a stàladh.

Na tha thu gu bhith a' sgrùdadh

Is e brief-fill policy ainm na riaghailt. Tha e a' co-dhùnadh cuin as urrainn do luchd-cuideachaidh freagairt a thoirt seachad às leth an sealbhadair seach faighneachd dha. Thathar a' dèanamh ceithir tagraidhean mu a deidhinn, agus tha na ceithir gu bhith air an dearbhadh air a' choimpiutair agad:

• chan lìon e freagairt a-riamh gun riaghailt a cheadaicheas i;
• ma tha tasgadan nan riaghailtean a dhìth, cha tèid dad troimhe;
• chan innlich e dad a-riamh;
• chan fhaighnich e dhut càil a-riamh a fhreagras riaghailt mu thràth.

Chan e geallaidhean ann am post blog a th' annta seo. Is e teòiridhean a th' annta, agus tha dearbhaiche gu bhith a' feuchainn ris am briseadh.

Ceum 1 — faigh an dearbhaiche

Tha e an asgaidh agus chan e againne a th' ann — tha e a' tighinn bho choimhearsnachd Ada, chan ann bhuainn. Is e sin am puing: cha bu chòir don rud a sgrùdas ar n-obair a bhith 'na rud a thug sinn dhut.

Ceum 2 — faigh an riaghailt

Faodaidh tu an t-suim sgrùdaidh a leigeil seachad air a' chiad ruith — chan eil an dearbhadh ann an ceum 3 an urra ris. Tha e ann airson uair a thogras tu dearbhadh gur e am faidhle a fhuair thu am faidhle a dh'fhoillsich sinn, agus gur e an aon fhaidhle ris an ainmicheas the catalogue.

Ceum 3 — iarr air a' choimpiutair agad a sgrùdadh

Fosgail teirmineal anns a' phasgan neo-phacaichte agus ruith dà loidhne:

cd brief-fill-policy/core/src
gnatprove -P proof.gpr -f -U --level=2

Fuirich. Nuair a bhios e deiseil, coimhead airson an dà fhacal seo:

0 unproved

Sin e. Sin an t-eacarsaich gu lèir. Chan fheum càil eile a stàladh, agus obraichidh an ceum seo air coimpiutair simplidh gun dad eile air — tha an dearbhaiche a luchdaich thu a-nuas a' giùlan a h-uile càil a dh'fheumas an dearbhadh.

Na thachair an-dràsta

Ghabh an coimpiutair agad na ceithir tagraidhean gu h-àrd, dh'fheuch e ri càs a lorg far am fàillig fear sam bith aca, agus cha b' urrainn dha — oir chan eil fear ann. Chan e “rinn sinn deuchainn air agus bha e coltach gu robh e ceart gu leòr”. Chan e “tha an neach-glèidhidh ag ràdh sin”. Chaidh coimpiutair nach gabh mealladh a choimhead airson eisimpleir-fhrithealaidh agus thàinig e air ais falamh.

Cha do chuir thu earbsa annainn gus sin innse dhut. Choimhead thu air a' tachairt air an t-àbhaist-chruaidh a tha leatsa.

Roghainneil — bris e a dh'aona ghnothach

Is e seo am pàirt as fhiach a dhèanamh ma tha còig mionaidean eile agad, oir chan eil sgrùdadh nach can ach “tha” fhiach mòran.

Fosgail brief_fill_policy_pkg.ads ann an deasaiche teacsa sam bith agus atharraich an riaghailt gus an leig tasgadan a dhìth freagairt troimhe co-dhiù. Ruith an aon àithne a-rithist. Diùltaidh e — agus ainmichidh e an teòirim mionaideach a bhris thu direach.

Is e an diùltadh sin am modail tèarainteachd gu lèir. Cha stàlaich Ghillie dad nach gabh seo — agus mar sin is e na rinn thu le làmh an rud a nì e às do leth-sa gach turas.

Na nach eil seo a' dearbhadh

B' fheàrr leinn seo innse dhut na fhàgail dhut ri lorg às dèidh làimhe. Tha na dearbhaidhean a' còmhdach nan riaghailtean co-dhùnaidh — cò a gheibh sealladh air dè, dè a dh'fhaodas falbh, dè a dh'fheumas lìbhrigeadh a dhol troimhe. Cha dèan iad iongantach an còrr den bhathar-bog, agus chan eil sinn ag ràdh gu bheil. Is e an t-onarachd sin an aonta, agus is e sin an t-aonta gu lèir.

Càite an ath rud

• An slighe làn — tog am beul agus sgrùd gach sreath den chlàr fhìrinn a chuir e a-mach.
• The catalogue — an còrr den sgeilp, gach pìos a ghabhas ath-dhearbhadh air an aon dòigh.
• Ghillie — an luchd-cuideachaidh a tha na riaghailtean seo a' frithealadh.
• The Reef machine — dè an t-àbhaist-chruaidh a dh'fheumas tu ma thogras tu a dhol nas fhaide na an duilleag seo.

Mura h-obraich e, is e lorg a tha sin agus bu toil leinn a chluinntinn. Tha diùltadh nach urrainn dhut a mhìneachadh nas inntinniche dhuinn na soirbheachadh.