From 4d17cc58dff001a69725ee3f13d4c658443d7e6c Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 27 May 2015 19:23:44 -0400 Subject: [PATCH] metrics: --nullable use `is_null_safe` Signed-off-by: Jean Privat --- src/metrics/nullables_metrics.nit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/metrics/nullables_metrics.nit b/src/metrics/nullables_metrics.nit index 2c96462..aa145c6 100644 --- a/src/metrics/nullables_metrics.nit +++ b/src/metrics/nullables_metrics.nit @@ -131,8 +131,8 @@ private class NullableSends end t = t.anchor_to(self.nclassdef.mclassdef.mmodule, self.nclassdef.mclassdef.bound_mtype) if t isa MNullableType then - var name = n.callsite.mproperty.name - if name == "==" or name == "!=" or name == "is_same_instance" then + var p = n.callsite.mproperty + if p.is_null_safe then self.nullable_eq_sends += 1 else self.nullable_sends += 1 -- 1.7.9.5