if (cons instanceof EnumMember)
{
// El valor numerico de un EnumMember es el valor de su posicion en
// la enumeracion
EnumMember enumm = (EnumMember) cons;
return Integer.toString(enumm.getEnum().getMembers().indexOf(enumm));
}
// else: apunta a una ConstantDef
return evaluate(((ConstantDef)e.getConstant()).getConstValue());