# Collect not defined properties
fun collect_not_define_properties(filter: ModelFilter):Set[MMethodDef] do
var set = new HashSet[MMethodDef]
for mpropdef in collect_abstract_methods(filter) do
var redef_count = 0
for mprop in mpropdef.mproperty.mpropdefs do
if mprop.is_abstract then continue
redef_count += 1
end
if redef_count == 0 then set.add(mpropdef)
end
return set
end
src/metrics/mclassdef_collect.nit:177,2--189,4