fun pretty_default: String
do
- if default_value != null then
- return " ({default_value})"
- end
+ var dv = default_value
+ if dv != null then return " ({dv})"
return ""
end
return id
end
+ fun value_name: String = _enum[value]
+
redef fun pretty_default
do
if default_value != null then