$map.remove¶
Description¶
Retire un élément dans le map
Syntaxe¶
$map.remove( map , keys )
Paramètres¶
mapmap- Map à traiter
keysstring / array- Nom du membre à supprimer. Peut désigner un tableau, auquel cas chaque clé référencée dans le tableau sera retirée du map.
Retour¶
Retourne le map résultant du retrait des entrées indiquées
Exemple¶
Modification d'API
De base les méthodes fournies par Ewt sont "immutables". Cela signifie qu'il n'est pas possible de les modifier. Ainsi, l'instruction suivante provoquera une erreur:
Cette instruction cherche à redéfinir le fonctionnement de la méthode
$logger.info, ce qui n'est pas permis de base.
Cependant, la méthode $map.remove permet malgré tout de supprimer
une méthode fournie par Ewt. Ainsi l'instruction suivante permettra de
supprimer la méthode $logger.info:
$map.remove(&$logger, "info");
$logger.info("test"); // provoque une erreur car la méthode
// n'existe plus (pour le traitement
// en cours
L'opération est permise dans la version actuelle du moteur, mais il n'est pas exclu que cela soit retiré dans les versions futures.