Quelle Map-delete.js Sprache: JAVA

// Map.prototype.delete works whether the key is present or not.

var m = new Map;
var key = {};

// when the map is new
assertEq(m.delete(key), false);
assertEq(m.has(key), false);

// when the key is present
assertEq(m.set(key, 'x'), m);
assertEq(m.delete(key), true);
assertEq(m.has(key), false);
assertEq(m.get(key), undefined);

// when the key has already been deleted
assertEq(m.delete(key), false);
assertEq(m.has(key), false);

Messung V0.5

¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.