From 35ae738e70d0415ef7113a37dfe2f371443f9978 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 9 Feb 2011 10:16:41 -0500 Subject: [PATCH] lib: change identifier enum to values The keyword universal will be renamed to enum. Signed-off-by: Jean Privat --- lib/opts.nit | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/lib/opts.nit b/lib/opts.nit index fd4a8a1..5bcb5d0 100644 --- a/lib/opts.nit +++ b/lib/opts.nit @@ -135,27 +135,27 @@ end class OptionEnum special OptionParameter redef type VALUE: Int - var _enum: Array[String] + var _values: Array[String] - init(enum: Array[String], help: String, default: Int, names: String...) + init(values: Array[String], help: String, default: Int, names: String...) do - assert enum.length > 0 - _enum = enum.to_a - init_opt("{help} <{enum.join(", ")}>", default, names) + assert values.length > 0 + _values = values.to_a + init_opt("{help} <{values.join(", ")}>", default, names) end redef fun convert(str) do - var id = _enum.index_of(str) + var id = _values.index_of(str) return id end - fun value_name: String = _enum[value] + fun value_name: String = _values[value] redef fun pretty_default do if default_value != null then - return " ({_enum[default_value.as(not null)]})" + return " ({_values[default_value.as(not null)]})" else return "" end -- 1.7.9.5