Pas pas gjasht\u00eb vitesh zhvillimi doli versioni i par\u00eb stabil i analizatorit statik PHPStan 1.0, i cili lejon gjetjen e gabimeve n\u00eb kodin PHP pa e ekzekutuar at\u00eb dhe pa p\u00ebrdorur teste unitare. Kodi i projektit \u00ebsht\u00eb shkruar n\u00eb PHP dhe shp\u00ebrndahet n\u00ebn licenc\u00ebn MIT. <\/p>\n
Analizatori ofron 10 nivele kontrolli, n\u00eb t\u00eb cilat \u00e7do nivel i m\u00ebpassh\u00ebm zgjeron mund\u00ebsit\u00eb e nivelit paraardh\u00ebs dhe ofron verifikime m\u00eb t\u00eb rrepta: <\/p>\n
Kontrolli bazik, p\u00ebrcaktimi i klasave, funksioneve dhe metodave t\u00eb panjohura ($this), variableve t\u00eb pav\u00ebrtetuara dhe kalimit t\u00eb numrit t\u00eb gabuar t\u00eb argumenteve.\n
Identifikimi i variableve t\u00eb mundshme t\u00eb pap\u00ebrcaktuara, metodave magjike t\u00eb panjohura dhe pronave t\u00eb klas\u00ebs me __call dhe __get.\n
Identifikimi i metodave t\u00eb panjohura n\u00eb t\u00eb gjitha shprehjet, duke mos u kufizuar n\u00eb thirrjen p\u00ebrmes $this. Kontrolli i PHPDocs.\n
Kontrolli i tipeve t\u00eb kthimit dhe caktimi i tipeve p\u00ebr pronat.\n
Identifikimi bazik i kodit \"t\u00eb vdekur\" (i pa thirrur kurr\u00eb). Identifikimi i thirrjeve instanceof q\u00eb gjithmon\u00eb kthejn\u00eb vler\u00ebn false, blloqeve \"else\" q\u00eb nuk aktivizohen kurr\u00eb dhe kodit pas return.\n
Kontrolli i tipeve t\u00eb argumenteve t\u00eb kaluara n\u00eb metoda dhe funksione.\n
Kujtesa p\u00ebr munges\u00ebn e anotacioneve me informacione p\u00ebr tipet.\n
Kujtesa p\u00ebr tipe union t\u00eb pap\u00ebrshtatshme, t\u00eb cilat definitojn\u00eb koleksione nga dy ose m\u00eb shum\u00eb tipe.\n
K\u00ebrc\u00ebnim n\u00eb lidhje me thirrjen e metodave dhe qasjen n\u00eb pronat me tipe \"nullable\".\n
Kontrolli i p\u00ebrdorimit t\u00eb tipit \"mixed\".\n
Prania e klasave t\u00eb p\u00ebrdorura n\u00eb instanceof, catch, typehints dhe konstrukte t\u00eb tjera t\u00eb gjuh\u00ebs.\n
Prania dhe disponueshm\u00ebria e metodave dhe funksioneve t\u00eb thirrur, si dhe numri i argumenteve t\u00eb kaluara.\n
Kontrolli i kthimit nga metoda t\u00eb dh\u00ebnave me t\u00eb nj\u00ebjtin tip si\u00e7 \u00ebsht\u00eb p\u00ebrcaktuar n\u00eb shprehjen return.\n
Prania dhe dukshm\u00ebria e pronave, t\u00eb cilat aksesohen, si dhe kontrolli i tipeve t\u00eb shpallura dhe atyre faktike t\u00eb dh\u00ebnave t\u00eb p\u00ebrdorura n\u00eb prona.\n
Sakt\u00ebsia e numrit t\u00eb parametrave t\u00eb kaluara n\u00eb thirrjet sprintf\/printf n\u00eb bllokun e formatimit t\u00eb vargjeve.\n
Prania e variableve duke marr\u00eb parasysh blloqet q\u00eb krijohen nga operator\u00ebt e ndarjes dhe cikleve.\n
Transformimet e panevojshme t\u00eb tipeve (p.sh., \"(string) 'foo'\" dhe kontrollet strikte (\"===\" dhe \"!=='\") t\u00eb t\u00eb dh\u00ebnave me lloje dhe operanda t\u00eb ndrysh\u00ebm, q\u00eb gjithmon\u00eb kthejn\u00eb vler\u00ebn false. <\/ul>\n
Novitetet kryesore t\u00eb PHPStan 1.0: <\/p>\n
\n
Niveli i kontrollit \"9\" \u00ebsht\u00eb implementuar, i cili kryen kontrolle t\u00eb p\u00ebrdorimit t\u00eb tipit \"mixed\", i destinuar p\u00ebr t\u00eb organizuar pranimin e parametrave t\u00eb funksionit me tipe t\u00eb ndryshme. Niveli n\u00ebnt\u00eb identifikon praktikat e pasigurta t\u00eb p\u00ebrdorimit t\u00eb \"mixed\", si kalimi i vlerave me tipin \"mixed\" n\u00eb nj\u00eb tip tjet\u00ebr, thirrja e metodave me tipin \"mixed\" dhe qasja n\u00eb pronat e tij, pasi ato mund t\u00eb mos ekzistojn\u00eb.\n
Menaxhimi i verifikimit t\u00eb identitetit t\u00eb vlerave t\u00eb rikthyera p\u00ebr thirrje t\u00eb nj\u00ebjta funksionesh duke p\u00ebrdorur annotimet @phpstan-pure dhe @phpstan-impure.\n
Analiza e tipeve n\u00eb konstrukcione try-catch-finally duke p\u00ebrdorur annotimet @throws.\n
Identifikimi i disa por jo t\u00eb p\u00ebrdorur pronave, metodave dhe konstantave t\u00eb brendshme (private).\n
Kalimi i thirrjeve t\u00eb callback-ve t\u00eb paqart\u00eb n\u00eb funksionet e pun\u00ebs me arrays, si array_map dhe usort.\n
Inspektimi i tipeve p\u00ebr annotimet e munges\u00ebs typehint.\n
\u00ebsht\u00eb siguruar kompatibiliteti i p\u00ebrshkrimeve t\u00eb tipeve me PHPDocs, duke lejuar p\u00ebrdorimin e tipeve nga mesazhet e gabimeve n\u00eb PHPDocs. <\/ul>\n