Esempio n. 1
0
/* Set command.  Change the setting for range checking. */
static void
set_range_command (char *ignore, int from_tty)
{
    if (strcmp (range, "on") == 0)
    {
        range_check = range_check_on;
        range_mode = range_mode_manual;
    }
    else if (strcmp (range, "warn") == 0)
    {
        range_check = range_check_warn;
        range_mode = range_mode_manual;
    }
    else if (strcmp (range, "off") == 0)
    {
        range_check = range_check_off;
        range_mode = range_mode_manual;
    }
    else if (strcmp (range, "auto") == 0)
    {
        range_mode = range_mode_auto;
        set_type_range_case ();
        /* Avoid hitting the set_range_str call below.  We
           did it in set_type_range_case. */
        return;
    }
    else
    {
        warning ("Unrecognized range check setting: \"%s\"", range);
    }
    set_range_str ();
    show_range_command ((char *) 0, from_tty);
}
Esempio n. 2
0
void
language_info (int quietly)
{
  if (quietly && expected_language == current_language)
    return;

  expected_language = current_language;
  printf_unfiltered (_("Current language:  %s\n"), language);
  show_language_command (NULL, 1, NULL, NULL);

  if (!quietly)
    {
      printf_unfiltered (_("Range checking:    %s\n"), range);
      show_range_command (NULL, 1, NULL, NULL);
      printf_unfiltered (_("Case sensitivity:  %s\n"), case_sensitive);
      show_case_command (NULL, 1, NULL, NULL);
    }
}
Esempio n. 3
0
void
language_info (int quietly)
{
    if (quietly && expected_language == current_language)
        return;

    expected_language = current_language;
    printf_unfiltered ("Current language:  %s\n", language);
    show_language_command ((char *) 0, 1);

    if (!quietly)
    {
        printf_unfiltered ("Type checking:     %s\n", type);
        show_type_command ((char *) 0, 1);
        printf_unfiltered ("Range checking:    %s\n", range);
        show_range_command ((char *) 0, 1);
        printf_unfiltered ("Case sensitivity:  %s\n", case_sensitive);
        show_case_command ((char *) 0, 1);
    }
}