$map.remove¶
Description¶
Retire un élément dans le map
Syntaxe¶
$map.remove( map , key )
Paramètres¶
mapmap- Map à traiter
keykey- Nom du membre à supprimer
Retour¶
Retourne la valeur associée à key avant suppression, ou null si
la clé ne figure pas dans le map.
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.