Pas pas gjasht\u00eb vjet zhvillimi, doli versioni i par\u00eb stabil i analizatorit statik PHPStan 1.0, q\u00eb lejon identifikimin e gabimeve n\u00eb kodin PHP pa ekzekutimin e tij dhe pa p\u00ebrdorimin e testeve unit. Kodi i projektit \u00ebsht\u00eb shkruar n\u00eb PHP dhe shp\u00ebrndahet n\u00ebn licenc\u00ebn MIT. <\/p>\n
Analizatori ofron 10 nivele kontrolli, ku \u00e7do nivel i m\u00ebpassh\u00ebm zgjeron kapacitetet e nivelit t\u00eb m\u00ebparsh\u00ebm dhe ofron kontroll m\u00eb t\u00eb rrept\u00eb: <\/p>\n
Kontrolli baz\u00eb, p\u00ebrcaktimi i klasave, funksioneve dhe metodave t\u00eb panjohura ($this), variablave t\u00eb pavendosur, si dhe kalimi i numrit t\u00eb gabuar t\u00eb argumenteve.\n
Identifikimi i variablave t\u00eb mundsh\u00ebm t\u00eb pavendosur, metodave dhe pronave t\u00eb panjohura t\u00eb magjis\u00eb me __call dhe __get.\n
Identifikimi i metodave t\u00eb panjohura n\u00eb t\u00eb gjitha shprehjet, pa u kufizuar n\u00eb thirrjen p\u00ebrmes $this. Verifikimi i PHPDocs.\n
Verifikimi i tipave t\u00eb kthimit dhe caktimi i tipave p\u00ebr pronat.\n
Identifikimi baz\u00eb i kodit « t\u00eb vdekur» (q\u00eb kurr\u00eb nuk thirret). Identifikimi i thirrjeve instanceof q\u00eb gjithmon\u00eb kthejn\u00eb vler\u00ebn false, blloqeve «else» q\u00eb kurr\u00eb nuk aktivizohen dhe kodit q\u00eb ndodhet pas return.\n
Verifikimi i tipave t\u00eb argumenteve q\u00eb kalohen n\u00eb metoda dhe funksione.\n
Shp\u00ebrthimi p\u00ebr munges\u00ebn e annotimeve me informacione mbi tipat.\n
Shp\u00ebrthimi p\u00ebr tipat union t\u00eb pasakta, q\u00eb p\u00ebrcaktojn\u00eb koleksione nga dy ose m\u00eb shum\u00eb tipe.\n
Shp\u00ebrthimi p\u00ebr thirrjet e metodave dhe qasjen n\u00eb prona me tipe «nullable».\n
Verifikimi i p\u00ebrdorimit t\u00eb tipit «mixed».\n
Ekzistenca e klasave t\u00eb p\u00ebrdorura n\u00eb instanceof, catch, typehints dhe struktura t\u00eb tjera t\u00eb gjuh\u00ebs.\n
Ekzistenca dhe disponueshm\u00ebria e metodave dhe funksioneve q\u00eb thirren, si dhe numri i argumenteve t\u00eb kaluara.\n
Kontrolli i kthimit t\u00eb t\u00eb dh\u00ebnave nga metoda me t\u00eb nj\u00ebjtin tip, si\u00e7 p\u00ebrcaktohet n\u00eb shprehjen return.\n
Ekzistenca dhe dukshm\u00ebria e pronave, t\u00eb cilat qasen, si dhe verifikimi i typeve t\u00eb shpallura dhe ato aktuale t\u00eb t\u00eb dh\u00ebnave q\u00eb p\u00ebrdoren 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
Ekzistenca e variablave duke marr\u00eb parasysh blloqet, q\u00eb formohen nga operator\u00ebt e ndarjes dhe ciklet.\n
Kthime t\u00eb panevojshme t\u00eb tipave (p.sh. «(string) ‘foo’») dhe verifikime t\u00eb rrepta («===» dhe «!==») t\u00eb t\u00eb dh\u00ebnave me tipe dhe operanda t\u00eb ndryshme, gjithmon\u00eb q\u00eb kthejn\u00eb vler\u00ebn false. <\/ul>\n
Novitetet kryesore t\u00eb PHPStan 1.0: <\/p>\n
\n
\u00cbsht\u00eb realizuar niveli i kontrollit «9», q\u00eb kryen kontrolle p\u00ebr p\u00ebrdorimin e tipit «mixed», i cili \u00ebsht\u00eb i destinuar p\u00ebr t\u00eb organizuar pranimin e parametrave t\u00eb funksionit me tipe t\u00eb ndryshme. Niveli i n\u00ebnt\u00eb identifikon teknikat e pasigurta t\u00eb p\u00ebrdorimit t\u00eb «mixed», si\u00e7 \u00ebsht\u00eb 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 kontrollit t\u00eb identitetit t\u00eb vlerave t\u00eb kthyer p\u00ebr thirrje t\u00eb ngjashme t\u00eb funksioneve duke p\u00ebrdorur annotimet @phpstan-pure dhe @phpstan-impure.\n
Analiza e tipeve n\u00eb strukturat try-catch-finally duke p\u00ebrdorur annotimet @throws.\n
Identifikimi i pronave, metodave dhe konstantave t\u00eb brendshme (private) t\u00eb caktuara, por t\u00eb pap\u00ebrdorura.\n
Kalimi i thirrjeve t\u00eb callback t\u00eb paq\u00ebndrueshme n\u00eb funksionet e manipulimit t\u00eb vargjeve, si\u00e7 jan\u00eb array_map dhe usort.\n
Inspektimi i tipeve p\u00ebr annotimet e mungueshme t\u00eb typehint.\n
\u00cbsht\u00eb siguruar kompatibiliteti i p\u00ebrshkrimeve t\u00eb tipeve me PHPDocs, q\u00eb lejon p\u00ebrdorimin e tipave nga mesazhet e gabimeve n\u00eb PHPDocs. <\/ul>\n