typographie TypeSafety est une analyse statique de type d'objet compilé.
Télécharger maintenant

typographie Classement & Résumé

typographie Mots clés

Analyse Module Perl objet compilation-time objet de compilation analyse statique

typographie La description

TypeSafety est une analyse statique d'utilisation de type d'objet compilé. TypeSafety est une analyse d'objet de compilée d'utilisation d'une analyse statique.AbstractPerformEfsferistics sur votre programme avant son exécution, avec un objectif d'assurance que les types orientés objet sont utilisés de manière cohérente - la classe correcte (ou une sous-classe de celle-ci) est renvoyée dans le Les bons endroits, fournis dans des listes d'arguments d'appel de méthode dans les bons endroits, attribués uniquement aux variables appropriées, etc. Il s'agit d'une caractéristique standard de langages non dynamiques telles que Java, C ++ et C #. L'absence de cette caractéristique est l'une des principales raisons pour lesquelles Perl est dit de ne pas constituer un "vrai" language orienté objet.Synopsis principal; utiliser des typements; # 'résumé', "déboguer"; mon foobar $ foo; # établir des variables vérifiées par type mon bar FOOBAR $; # Foobar est la classe de base des références $ bar tiendra ma bazqux $ Baz; $ foo = nouveau foobar; # C'est bon, car $ foo tient foobars $ bar = $ foo; # C'est bon, car $ bar contient également des Foobars # $ FOO = 10; # Cela lancerait une erreur - 10 n'est pas un foobar # $ baz = $ foo; # non autorisé - foobar n'est pas un bazqux $ foo = $ baz; # est autorisé - Bazqux est un foobar à cause de l'héritage $ bar = $ FOO-> FOO ($ Baz, 1); # Ça va, comme Foobar :: FOO () renvoie Foobars TypeSafety :: chèque (); # Effectuer le type de chèque analyse statique # package foobar; utiliser des typements; # inutile - nouveau () par défaut du prototype pour renvoyer le même type que le paquet # proto 'nouveau', retours => 'foobar'; Sous nouveau {bénir [], $ _ ; # ou: bénisse quoi que ce soit, __Package__; # ou: bénisse quoi que ce soit, «foobar»; # ou: mon $ type = shift; bénisse quel que soit le type $; # ou: mon $ type = shift; $ Type = ref $ Type Sif $ Type Type; bénisse quel que soit le type $; } Sub Foo (Foobar; Bazqux, Undef) {My $ Me = Shift; retour $ ME-> Nouveau (); } # ou: proto 'foo', retour => 'foobar'; Sub Foo {My $ Me = Shift; retour $ ME-> Nouveau (); } # paquet bazqux; utiliser des typements; @Isa = 'Foobar'; Exigences: · Conditions de Perl: · Perl

typographie Logiciels associés