From 859736cd4464dd6b671c45e4a8000f3a3c5f376d Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 11 Jun 2009 12:44:17 -0400 Subject: [PATCH] metamodel: PartialOrder::[] fail on wrong key Alike stdlib Map::[] method, PartialOrder::[] aborts if key does not exists. Signed-off-by: Jean Privat --- src/metamodel/partial_order.nit | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/metamodel/partial_order.nit b/src/metamodel/partial_order.nit index 4960a51..7e7d936 100644 --- a/src/metamodel/partial_order.nit +++ b/src/metamodel/partial_order.nit @@ -58,11 +58,7 @@ special Collection[E] # Return the element associed with the item meth [](e: E): PartialOrderElement[E] do - if _elements.has_key(e) then - return _elements[e] - else - return null - end + return _elements[e] end # Return a dot representation -- 1.7.9.5