]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blobdiff - gdb/language.c
Copyright updates for 2007.
[thirdparty/binutils-gdb.git] / gdb / language.c
index 225d423ec01e5a468acee7ab0243607a847e2c14..d1efac7b3e88b35227c6d041e83577b66ce9aaed 100644 (file)
@@ -1,23 +1,27 @@
 /* Multiple source language support for GDB.
-   Copyright 1991, 1992 Free Software Foundation, Inc.
+
+   Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
+   2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
+
    Contributed by the Department of Computer Science at the State University
    of New York at Buffalo.
 
-This file is part of GDB.
+   This file is part of GDB.
 
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
 
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
 
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street, Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
 
 /* This file contains functions that return things that are specific
    to languages.  Each function should examine current_language if necessary,
@@ -35,89 +39,60 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
 #include "gdbtypes.h"
 #include "value.h"
 #include "gdbcmd.h"
-#include "frame.h"
 #include "expression.h"
 #include "language.h"
 #include "target.h"
 #include "parser-defs.h"
+#include "jv-lang.h"
+#include "demangle.h"
 
-static void
-show_language_command PARAMS ((char *, int));
-
-static void
-set_language_command PARAMS ((char *, int));
-
-static void
-show_type_command PARAMS ((char *, int));
-
-static void
-set_type_command PARAMS ((char *, int));
+extern void _initialize_language (void);
 
-static void
-show_range_command PARAMS ((char *, int));
+static void set_case_str (void);
 
-static void
-set_range_command PARAMS ((char *, int));
+static void set_range_str (void);
 
-static void
-set_range_str PARAMS ((void));
+static void set_type_str (void);
 
-static void
-set_type_str PARAMS ((void));
+static void set_lang_str (void);
 
-static void
-set_lang_str PARAMS ((void));
+static void unk_lang_error (char *);
 
-static void
-unk_lang_error PARAMS ((char *));
+static int unk_lang_parser (void);
 
-static int
-unk_lang_parser PARAMS ((void));
+static void show_check (char *, int);
 
-static void
-show_check PARAMS ((char *, int));
+static void set_check (char *, int);
 
-static void
-set_check PARAMS ((char *, int));
+static void set_type_range_case (void);
 
-static void
-set_type_range PARAMS ((void));
+static void unk_lang_emit_char (int c, struct ui_file *stream, int quoter);
 
-static void
-unk_lang_emit_char PARAMS ((int c, GDB_FILE *stream, int quoter));
+static void unk_lang_printchar (int c, struct ui_file *stream);
 
-static void
-unk_lang_printchar PARAMS ((int c, GDB_FILE *stream));
+static struct type *unk_lang_create_fundamental_type (struct objfile *, int);
 
-static void
-unk_lang_printstr PARAMS ((GDB_FILE *stream, char *string, unsigned int length, int width, int force_ellipses));
+static void unk_lang_print_type (struct type *, char *, struct ui_file *,
+                                int, int);
 
-static struct type *
-unk_lang_create_fundamental_type PARAMS ((struct objfile *, int));
+static int unk_lang_value_print (struct value *, struct ui_file *, int, enum val_prettyprint);
 
-static void
-unk_lang_print_type PARAMS ((struct type *, char *, GDB_FILE *, int, int));
-
-static int
-unk_lang_val_print PARAMS ((struct type *, char *, int, CORE_ADDR, GDB_FILE *,
-                           int, int, int, enum val_prettyprint));
-
-static int
-unk_lang_value_print PARAMS ((value_ptr, GDB_FILE *, int, enum val_prettyprint));
+static CORE_ADDR unk_lang_trampoline (CORE_ADDR pc);
 
 /* Forward declaration */
 extern const struct language_defn unknown_language_defn;
-extern char *warning_pre_print;
-  
+
 /* The current (default at startup) state of type and range checking.
-    (If the modes are set to "auto", though, these are changed based
-    on the default language at startup, and then again based on the
-    language of the first source file.  */
+   (If the modes are set to "auto", though, these are changed based
+   on the default language at startup, and then again based on the
+   language of the first source file.  */
 
 enum range_mode range_mode = range_mode_auto;
 enum range_check range_check = range_check_off;
 enum type_mode type_mode = type_mode_auto;
 enum type_check type_check = type_check_off;
+enum case_mode case_mode = case_mode_auto;
+enum case_sensitivity case_sensitivity = case_sensitive_on;
 
 /* The current language and language_mode (see language.h) */
 
@@ -145,12 +120,12 @@ static unsigned languages_allocsize;
 static char *language;
 static char *type;
 static char *range;
+static char *case_sensitive;
 
 /* Warning issued when current_language and the language of the current
    frame do not match. */
 char lang_frame_mismatch_warn[] =
-       "Warning: the current language does not match this frame.";
-
+"Warning: the current language does not match this frame.";
 \f
 /* This page contains the functions corresponding to GDB commands
    and their helpers. */
@@ -158,24 +133,22 @@ char lang_frame_mismatch_warn[] =
 /* Show command.  Display a warning if the language set
    does not match the frame. */
 static void
-show_language_command (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_language_command (struct ui_file *file, int from_tty,
+                      struct cmd_list_element *c, const char *value)
 {
-   enum language flang;                /* The language of the current frame */
-
-   flang = get_frame_language();
-   if (flang != language_unknown &&
-       language_mode == language_mode_manual &&
-       current_language->la_language != flang)
-     printf_filtered("%s\n",lang_frame_mismatch_warn);
+  enum language flang;         /* The language of the current frame */
+
+  deprecated_show_value_hack (file, from_tty, c, value);
+  flang = get_frame_language ();
+  if (flang != language_unknown &&
+      language_mode == language_mode_manual &&
+      current_language->la_language != flang)
+    printf_filtered ("%s\n", lang_frame_mismatch_warn);
 }
 
 /* Set command.  Change the current working language. */
 static void
-set_language_command (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_language_command (char *ignore, int from_tty, struct cmd_list_element *c)
 {
   int i;
   enum language flang;
@@ -183,8 +156,9 @@ set_language_command (ignore, from_tty)
 
   if (!language || !language[0])
     {
-      printf_unfiltered("The currently understood settings are:\n\n");
-      printf_unfiltered ("local or auto    Automatic setting based on source file\n");
+      printf_unfiltered (_("\
+The currently understood settings are:\n\n\
+local or auto    Automatic setting based on source file\n"));
 
       for (i = 0; i < languages_size; ++i)
        {
@@ -193,149 +167,201 @@ set_language_command (ignore, from_tty)
              || languages[i]->la_language == language_auto)
            continue;
 
-         /* FIXME for now assume that the human-readable name is just
-            a capitalization of the internal name.  */
+         /* FIXME: i18n: for now assume that the human-readable name
+            is just a capitalization of the internal name.  */
          printf_unfiltered ("%-16s Use the %c%s language\n",
                             languages[i]->la_name,
-                            /* Capitalize first letter of language
-                               name.  */
+         /* Capitalize first letter of language
+            name.  */
                             toupper (languages[i]->la_name[0]),
                             languages[i]->la_name + 1);
        }
       /* Restore the silly string. */
-      set_language(current_language->la_language);
+      set_language (current_language->la_language);
       return;
     }
 
   /* Search the list of languages for a match.  */
-  for (i = 0; i < languages_size; i++) {
-    if (STREQ (languages[i]->la_name, language)) {
-      /* Found it!  Go into manual mode, and use this language.  */
-      if (languages[i]->la_language == language_auto) {
-       /* Enter auto mode.  Set to the current frame's language, if known.  */
-       language_mode = language_mode_auto;
-       flang = get_frame_language();
-       if (flang!=language_unknown)
-         set_language(flang);
-       expected_language = current_language;
-       return;
-      } else {
-       /* Enter manual mode.  Set the specified language.  */
-       language_mode = language_mode_manual;
-       current_language = languages[i];
-       set_type_range ();
-       set_lang_str();
-       expected_language = current_language;
-       return;
-      }
+  for (i = 0; i < languages_size; i++)
+    {
+      if (strcmp (languages[i]->la_name, language) == 0)
+       {
+         /* Found it!  Go into manual mode, and use this language.  */
+         if (languages[i]->la_language == language_auto)
+           {
+             /* Enter auto mode.  Set to the current frame's language, if known.  */
+             language_mode = language_mode_auto;
+             flang = get_frame_language ();
+             if (flang != language_unknown)
+               set_language (flang);
+             expected_language = current_language;
+             return;
+           }
+         else
+           {
+             /* Enter manual mode.  Set the specified language.  */
+             language_mode = language_mode_manual;
+             current_language = languages[i];
+             set_type_range_case ();
+             set_lang_str ();
+             expected_language = current_language;
+             return;
+           }
+       }
     }
-  }
 
   /* Reset the language (esp. the global string "language") to the 
      correct values. */
-  err_lang=savestring(language,strlen(language));
-  make_cleanup (free, err_lang);       /* Free it after error */
-  set_language(current_language->la_language);
-  error ("Unknown language `%s'.",err_lang);
+  err_lang = savestring (language, strlen (language));
+  make_cleanup (xfree, err_lang);      /* Free it after error */
+  set_language (current_language->la_language);
+  error (_("Unknown language `%s'."), err_lang);
 }
 
 /* Show command.  Display a warning if the type setting does
    not match the current language. */
 static void
-show_type_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_type_command (struct ui_file *file, int from_tty,
+                  struct cmd_list_element *c, const char *value)
 {
-   if (type_check != current_language->la_type_check)
-      printf_unfiltered(
-"Warning: the current type check setting does not match the language.\n");
+  deprecated_show_value_hack (file, from_tty, c, value);
+  if (type_check != current_language->la_type_check)
+    printf_unfiltered (
+                       "Warning: the current type check setting does not match the language.\n");
 }
 
 /* Set command.  Change the setting for type checking. */
 static void
-set_type_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_type_command (char *ignore, int from_tty, struct cmd_list_element *c)
 {
-   if (STREQ(type,"on"))
-   {
+  if (strcmp (type, "on") == 0)
+    {
       type_check = type_check_on;
       type_mode = type_mode_manual;
-   }
-   else if (STREQ(type,"warn"))
-   {
+    }
+  else if (strcmp (type, "warn") == 0)
+    {
       type_check = type_check_warn;
       type_mode = type_mode_manual;
-   }
-   else if (STREQ(type,"off"))
-   {
+    }
+  else if (strcmp (type, "off") == 0)
+    {
       type_check = type_check_off;
       type_mode = type_mode_manual;
-   }
-   else if (STREQ(type,"auto"))
-   {
+    }
+  else if (strcmp (type, "auto") == 0)
+    {
       type_mode = type_mode_auto;
-      set_type_range();
+      set_type_range_case ();
       /* Avoid hitting the set_type_str call below.  We
-         did it in set_type_range. */
+         did it in set_type_range_case. */
       return;
-   }
-   set_type_str();
-   show_type_command((char *)NULL, from_tty);
+    }
+  else
+    {
+      warning (_("Unrecognized type check setting: \"%s\""), type);
+    }
+  set_type_str ();
+  show_type_command (NULL, from_tty, NULL, NULL);
 }
 
 /* Show command.  Display a warning if the range setting does
    not match the current language. */
 static void
-show_range_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_range_command (struct ui_file *file, int from_tty,
+                   struct cmd_list_element *c, const char *value)
 {
-
-   if (range_check != current_language->la_range_check)
-      printf_unfiltered(
-"Warning: the current range check setting does not match the language.\n");
+  deprecated_show_value_hack (file, from_tty, c, value);
+  if (range_check != current_language->la_range_check)
+    printf_unfiltered (
+                       "Warning: the current range check setting does not match the language.\n");
 }
 
 /* Set command.  Change the setting for range checking. */
 static void
-set_range_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_range_command (char *ignore, int from_tty, struct cmd_list_element *c)
 {
-   if (STREQ(range,"on"))
-   {
+  if (strcmp (range, "on") == 0)
+    {
       range_check = range_check_on;
       range_mode = range_mode_manual;
-   }
-   else if (STREQ(range,"warn"))
-   {
+    }
+  else if (strcmp (range, "warn") == 0)
+    {
       range_check = range_check_warn;
       range_mode = range_mode_manual;
-   }
-   else if (STREQ(range,"off"))
-   {
+    }
+  else if (strcmp (range, "off") == 0)
+    {
       range_check = range_check_off;
       range_mode = range_mode_manual;
-   }
-   else if (STREQ(range,"auto"))
-   {
+    }
+  else if (strcmp (range, "auto") == 0)
+    {
       range_mode = range_mode_auto;
-      set_type_range();
+      set_type_range_case ();
       /* Avoid hitting the set_range_str call below.  We
-        did it in set_type_range. */
+         did it in set_type_range_case. */
       return;
-   }
-   set_range_str();
-   show_range_command((char *)0, from_tty);
+    }
+  else
+    {
+      warning (_("Unrecognized range check setting: \"%s\""), range);
+    }
+  set_range_str ();
+  show_range_command (NULL, from_tty, NULL, NULL);
+}
+
+/* Show command.  Display a warning if the case sensitivity setting does
+   not match the current language. */
+static void
+show_case_command (struct ui_file *file, int from_tty,
+                  struct cmd_list_element *c, const char *value)
+{
+  deprecated_show_value_hack (file, from_tty, c, value);
+  if (case_sensitivity != current_language->la_case_sensitivity)
+    printf_unfiltered(
+"Warning: the current case sensitivity setting does not match the language.\n");
+}
+
+/* Set command.  Change the setting for case sensitivity.  */
+
+static void
+set_case_command (char *ignore, int from_tty, struct cmd_list_element *c)
+{
+   if (strcmp (case_sensitive, "on") == 0)
+     {
+       case_sensitivity = case_sensitive_on;
+       case_mode = case_mode_manual;
+     }
+   else if (strcmp (case_sensitive, "off") == 0)
+     {
+       case_sensitivity = case_sensitive_off;
+       case_mode = case_mode_manual;
+     }
+   else if (strcmp (case_sensitive, "auto") == 0)
+     {
+       case_mode = case_mode_auto;
+       set_type_range_case ();
+       /* Avoid hitting the set_case_str call below.  We did it in
+         set_type_range_case.  */
+       return;
+     }
+   else
+     {
+       warning (_("Unrecognized case-sensitive setting: \"%s\""),
+               case_sensitive);
+     }
+   set_case_str();
+   show_case_command (NULL, from_tty, NULL, NULL);
 }
 
-/* Set the status of range and type checking based on
+/* Set the status of range and type checking and case sensitivity based on
    the current modes and the current language.
    If SHOW is non-zero, then print out the current language,
    type and range checking status. */
 static void
-set_type_range()
+set_type_range_case (void)
 {
 
   if (range_mode == range_mode_auto)
@@ -344,29 +370,34 @@ set_type_range()
   if (type_mode == type_mode_auto)
     type_check = current_language->la_type_check;
 
-  set_type_str();
-  set_range_str();
+  if (case_mode == case_mode_auto)
+    case_sensitivity = current_language->la_case_sensitivity;
+
+  set_type_str ();
+  set_range_str ();
+  set_case_str ();
 }
 
 /* Set current language to (enum language) LANG.  Returns previous language. */
 
 enum language
-set_language(lang)
-   enum language lang;
+set_language (enum language lang)
 {
   int i;
   enum language prev_language;
 
   prev_language = current_language->la_language;
 
-  for (i = 0; i < languages_size; i++) {
-    if (languages[i]->la_language == lang) {
-      current_language = languages[i];
-      set_type_range ();
-      set_lang_str();
-      break;
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         current_language = languages[i];
+         set_type_range_case ();
+         set_lang_str ();
+         break;
+       }
     }
-  }
 
   return prev_language;
 }
@@ -374,217 +405,165 @@ set_language(lang)
 /* This page contains functions that update the global vars
    language, type and range. */
 static void
-set_lang_str()
+set_lang_str (void)
 {
-   char *prefix = "";
+  char *prefix = "";
 
-   free (language);
-   if (language_mode == language_mode_auto)
-      prefix = "auto; currently ";
+  if (language)
+    xfree (language);
+  if (language_mode == language_mode_auto)
+    prefix = "auto; currently ";
 
-   language = concat(prefix, current_language->la_name, NULL);
+  language = concat (prefix, current_language->la_name, (char *)NULL);
 }
 
 static void
-set_type_str()
+set_type_str (void)
 {
-   char *tmp, *prefix = "";
+  char *tmp = NULL, *prefix = "";
 
-   free (type);
-   if (type_mode==type_mode_auto)
-      prefix = "auto; currently ";
+  if (type)
+    xfree (type);
+  if (type_mode == type_mode_auto)
+    prefix = "auto; currently ";
 
-   switch(type_check)
-   {
-   case type_check_on:
+  switch (type_check)
+    {
+    case type_check_on:
       tmp = "on";
       break;
-   case type_check_off:
+    case type_check_off:
       tmp = "off";
       break;
-   case type_check_warn:
+    case type_check_warn:
       tmp = "warn";
       break;
-      default:
-      error ("Unrecognized type check setting.");
-   }
+    default:
+      error (_("Unrecognized type check setting."));
+    }
 
-   type = concat(prefix,tmp,NULL);
+  type = concat (prefix, tmp, (char *)NULL);
 }
 
 static void
-set_range_str()
+set_range_str (void)
 {
-   char *tmp, *pref = "";
+  char *tmp, *pref = "";
 
-   free (range);
-   if (range_mode==range_mode_auto)
-      pref = "auto; currently ";
+  if (range_mode == range_mode_auto)
+    pref = "auto; currently ";
 
-   switch(range_check)
-   {
-   case range_check_on:
+  switch (range_check)
+    {
+    case range_check_on:
       tmp = "on";
       break;
-   case range_check_off:
+    case range_check_off:
       tmp = "off";
       break;
-   case range_check_warn:
+    case range_check_warn:
       tmp = "warn";
       break;
-      default:
-      error ("Unrecognized range check setting.");
-   }
+    default:
+      error (_("Unrecognized range check setting."));
+    }
 
-   range = concat(pref,tmp,NULL);
+  if (range)
+    xfree (range);
+  range = concat (pref, tmp, (char *)NULL);
 }
 
+static void
+set_case_str (void)
+{
+   char *tmp = NULL, *prefix = "";
+
+   if (case_mode==case_mode_auto)
+      prefix = "auto; currently ";
+
+   switch (case_sensitivity)
+   {
+   case case_sensitive_on:
+     tmp = "on";
+     break;
+   case case_sensitive_off:
+     tmp = "off";
+     break;
+   default:
+     error (_("Unrecognized case-sensitive setting."));
+   }
+
+   xfree (case_sensitive);
+   case_sensitive = concat (prefix, tmp, (char *)NULL);
+}
 
 /* Print out the current language settings: language, range and
    type checking.  If QUIETLY, print only what has changed.  */
 
 void
-language_info (quietly)
-     int quietly;
+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);
+  printf_unfiltered (_("Current language:  %s\n"), language);
+  show_language_command (NULL, 1, NULL, NULL);
 
   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 (_("Type checking:     %s\n"), type);
+      show_type_command (NULL, 1, NULL, NULL);
+      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);
     }
 }
 \f
 /* Return the result of a binary operation. */
 
-#if 0  /* Currently unused */
+#if 0                          /* Currently unused */
 
 struct type *
-binop_result_type (v1, v2)
-   value_ptr v1, v2;
+binop_result_type (struct value *v1, struct value *v2)
 {
-   int size,uns;
-   struct type *t1 = check_typedef (VALUE_TYPE (v1));
-   struct type *t2 = check_typedef (VALUE_TYPE (v2));
+  int size, uns;
+  struct type *t1 = check_typedef (VALUE_TYPE (v1));
+  struct type *t2 = check_typedef (VALUE_TYPE (v2));
 
-   int l1 = TYPE_LENGTH (t1);
-   int l2 = TYPE_LENGTH (t2);
+  int l1 = TYPE_LENGTH (t1);
+  int l2 = TYPE_LENGTH (t2);
 
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
-      if (TYPE_CODE (t1)==TYPE_CODE_FLT)
-        return TYPE_CODE(t2) == TYPE_CODE_FLT && l2 > l1 ?
-           VALUE_TYPE(v2) : VALUE_TYPE(v1);
-      else if (TYPE_CODE(t2)==TYPE_CODE_FLT)
-        return TYPE_CODE(t1)) == TYPE_CODE_FLT && l1 > l2 ?
-           VALUE_TYPE(v1) : VALUE_TYPE(v2);
-      else if (TYPE_UNSIGNED(t1) && l1 > l2)
-        return VALUE_TYPE(v1);
-      else if (TYPE_UNSIGNED(t2) && l2 > l1)
-        return VALUE_TYPE(v2);
-      else  /* Both are signed.  Result is the longer type */
-        return l1 > l2 ? VALUE_TYPE(v1) : VALUE_TYPE(v2);
+  switch (current_language->la_language)
+    {
+    case language_c:
+    case language_cplus:
+    case language_objc:
+      if (TYPE_CODE (t1) == TYPE_CODE_FLT)
+       return TYPE_CODE (t2) == TYPE_CODE_FLT && l2 > l1 ?
+         VALUE_TYPE (v2) : VALUE_TYPE (v1);
+      else if (TYPE_CODE (t2) == TYPE_CODE_FLT)
+       return TYPE_CODE (t1) == TYPE_CODE_FLT && l1 > l2 ?
+         VALUE_TYPE (v1) : VALUE_TYPE (v2);
+      else if (TYPE_UNSIGNED (t1) && l1 > l2)
+       return VALUE_TYPE (v1);
+      else if (TYPE_UNSIGNED (t2) && l2 > l1)
+       return VALUE_TYPE (v2);
+      else                     /* Both are signed.  Result is the longer type */
+       return l1 > l2 ? VALUE_TYPE (v1) : VALUE_TYPE (v2);
       break;
-   case language_m2:
+    case language_m2:
       /* If we are doing type-checking, l1 should equal l2, so this is
-        not needed. */
-      return l1 > l2 ? VALUE_TYPE(v1) : VALUE_TYPE(v2);
+         not needed. */
+      return l1 > l2 ? VALUE_TYPE (v1) : VALUE_TYPE (v2);
       break;
-   case language_chill:
-      error ("Missing Chill support in function binop_result_check.");/*FIXME*/
-   }
-   abort();
-   return (struct type *)0;    /* For lint */
-}
-
-#endif /* 0 */
-
-\f
-/* This page contains functions that return format strings for
-   printf for printing out numbers in different formats */
-
-/* Returns the appropriate printf format for hexadecimal
-   numbers. */
-char *
-local_hex_format_custom(pre)
-   char *pre;
-{
-   static char form[50];
-
-   strcpy (form, local_hex_format_prefix ());
-   strcat (form, "%");
-   strcat (form, pre);
-   strcat (form, local_hex_format_specifier ());
-   strcat (form, local_hex_format_suffix ());
-   return form;
-}
-
-/* Converts a number to hexadecimal and stores it in a static
-   string.  Returns a pointer to this string. */
-char *
-local_hex_string (num)
-   unsigned long num;
-{
-   static char res[50];
-
-   sprintf (res, local_hex_format(), num);
-   return res;
-}
-
-/* Converts a number to custom hexadecimal and stores it in a static
-   string.  Returns a pointer to this string. */
-char *
-local_hex_string_custom(num,pre)
-   unsigned long num;
-   char *pre;
-{
-   static char res[50];
-
-   sprintf (res, local_hex_format_custom(pre), num);
-   return res;
-}
-
-/* Returns the appropriate printf format for octal
-   numbers. */
-char *
-local_octal_format_custom(pre)
-   char *pre;
-{
-   static char form[50];
-
-   strcpy (form, local_octal_format_prefix ());
-   strcat (form, "%");
-   strcat (form, pre);
-   strcat (form, local_octal_format_specifier ());
-   strcat (form, local_octal_format_suffix ());
-   return form;
+    }
+  internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
+  return (struct type *) 0;    /* For lint */
 }
 
-/* Returns the appropriate printf format for decimal numbers. */
-char *
-local_decimal_format_custom(pre)
-   char *pre;
-{
-   static char form[50];
-
-   strcpy (form, local_decimal_format_prefix ());
-   strcat (form, "%");
-   strcat (form, pre);
-   strcat (form, local_decimal_format_specifier ());
-   strcat (form, local_decimal_format_suffix ());
-   return form;
-}
-\f
+#endif /* 0 */
 #if 0
 /* This page contains functions that are used in type/range checking.
    They all return zero if the type/range check fails.
@@ -604,22 +583,22 @@ local_decimal_format_custom(pre)
    both Modula-2 and for C.  In the C case, TYPE_CODE_CHAR will never occur,
    and thus will never cause the failure of the test. */
 int
-simple_type(type)
-    struct type *type;
+simple_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_CHAR:
-  case TYPE_CODE_ENUM:
-  case TYPE_CODE_FLT:
-  case TYPE_CODE_RANGE:
-  case TYPE_CODE_BOOL:
-    return 1;
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_INT:
+    case TYPE_CODE_CHAR:
+    case TYPE_CODE_ENUM:
+    case TYPE_CODE_FLT:
+    case TYPE_CODE_RANGE:
+    case TYPE_CODE_BOOL:
+      return 1;
 
-  default:
-    return 0;
-  }
+    default:
+      return 0;
+    }
 }
 
 /* Returns non-zero if its argument is of an ordered type.
@@ -627,198 +606,196 @@ simple_type(type)
    properties of "greater than", "less than", etc, or for which the
    operations "increment" or "decrement" make sense. */
 int
-ordered_type (type)
-   struct type *type;
+ordered_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_CHAR:
-  case TYPE_CODE_ENUM:
-  case TYPE_CODE_FLT:
-  case TYPE_CODE_RANGE:
-    return 1;
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_INT:
+    case TYPE_CODE_CHAR:
+    case TYPE_CODE_ENUM:
+    case TYPE_CODE_FLT:
+    case TYPE_CODE_RANGE:
+      return 1;
 
-  default:
-    return 0;
-  }
+    default:
+      return 0;
+    }
 }
 
 /* Returns non-zero if the two types are the same */
 int
-same_type (arg1, arg2)
-   struct type *arg1, *arg2;
+same_type (struct type *arg1, struct type *arg2)
 {
   CHECK_TYPEDEF (type);
-   if (structured_type(arg1) ? !structured_type(arg2) : structured_type(arg2))
-      /* One is structured and one isn't */
-      return 0;
-   else if (structured_type(arg1) && structured_type(arg2))
-      return arg1 == arg2;
-   else if (numeric_type(arg1) && numeric_type(arg2))
-      return (TYPE_CODE(arg2) == TYPE_CODE(arg1)) &&
-        (TYPE_UNSIGNED(arg1) == TYPE_UNSIGNED(arg2))
-           ? 1 : 0;
-   else
-      return arg1==arg2;
+  if (structured_type (arg1) ? !structured_type (arg2) : structured_type (arg2))
+    /* One is structured and one isn't */
+    return 0;
+  else if (structured_type (arg1) && structured_type (arg2))
+    return arg1 == arg2;
+  else if (numeric_type (arg1) && numeric_type (arg2))
+    return (TYPE_CODE (arg2) == TYPE_CODE (arg1)) &&
+      (TYPE_UNSIGNED (arg1) == TYPE_UNSIGNED (arg2))
+      ? 1 : 0;
+  else
+    return arg1 == arg2;
 }
 
 /* Returns non-zero if the type is integral */
 int
-integral_type (type)
-   struct type *type;
+integral_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
-      return (TYPE_CODE(type) != TYPE_CODE_INT) &&
-        (TYPE_CODE(type) != TYPE_CODE_ENUM) ? 0 : 1;
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_INT ? 0 : 1;
-   case language_chill:
-      error ("Missing Chill support in function integral_type.");  /*FIXME*/
-   default:
-      error ("Language not supported.");
-   }
+  switch (current_language->la_language)
+    {
+    case language_c:
+    case language_cplus:
+    case language_objc:
+      return (TYPE_CODE (type) != TYPE_CODE_INT) &&
+       (TYPE_CODE (type) != TYPE_CODE_ENUM) ? 0 : 1;
+    case language_m2:
+    case language_pascal:
+      return TYPE_CODE (type) != TYPE_CODE_INT ? 0 : 1;
+    default:
+      error (_("Language not supported."));
+    }
 }
 
 /* Returns non-zero if the value is numeric */
 int
-numeric_type (type)
-   struct type *type;
+numeric_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_FLT:
-    return 1;
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_INT:
+    case TYPE_CODE_FLT:
+      return 1;
 
-  default:
-    return 0;
-  }
+    default:
+      return 0;
+    }
 }
 
 /* Returns non-zero if the value is a character type */
 int
-character_type (type)
-   struct type *type;
+character_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  switch(current_language->la_language)
-   {
-   case language_chill:
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_CHAR ? 0 : 1;
-
-   case language_c:
-   case language_cplus:
-      return (TYPE_CODE(type) == TYPE_CODE_INT) &&
-        TYPE_LENGTH(type) == sizeof(char)
-        ? 1 : 0;
-   default:
+  switch (current_language->la_language)
+    {
+    case language_m2:
+    case language_pascal:
+      return TYPE_CODE (type) != TYPE_CODE_CHAR ? 0 : 1;
+
+    case language_c:
+    case language_cplus:
+    case language_objc:
+      return (TYPE_CODE (type) == TYPE_CODE_INT) &&
+       TYPE_LENGTH (type) == sizeof (char)
+      ? 1 : 0;
+    default:
       return (0);
-   }
+    }
 }
 
 /* Returns non-zero if the value is a string type */
 int
-string_type (type)
-   struct type *type;
+string_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  switch(current_language->la_language)
-   {
-   case language_chill:
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_STRING ? 0 : 1;
+  switch (current_language->la_language)
+    {
+    case language_m2:
+    case language_pascal:
+      return TYPE_CODE (type) != TYPE_CODE_STRING ? 0 : 1;
 
-   case language_c:
-   case language_cplus:
+    case language_c:
+    case language_cplus:
+    case language_objc:
       /* C does not have distinct string type. */
       return (0);
-   default:
+    default:
       return (0);
-   }
+    }
 }
 
 /* Returns non-zero if the value is a boolean type */
 int
-boolean_type (type)
-   struct type *type;
+boolean_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
   if (TYPE_CODE (type) == TYPE_CODE_BOOL)
     return 1;
-  switch(current_language->la_language)
+  switch (current_language->la_language)
     {
     case language_c:
     case language_cplus:
-      /* Might be more cleanly handled by having a TYPE_CODE_INT_NOT_BOOL
-        for CHILL and such languages, or a TYPE_CODE_INT_OR_BOOL for C.  */
+    case language_objc:
+      /* Might be more cleanly handled by having a
+         TYPE_CODE_INT_NOT_BOOL for (the deleted) CHILL and such
+         languages, or a TYPE_CODE_INT_OR_BOOL for C.  */
       if (TYPE_CODE (type) == TYPE_CODE_INT)
        return 1;
-   default:
+    default:
       break;
-   }
+    }
   return 0;
 }
 
 /* Returns non-zero if the value is a floating-point type */
 int
-float_type (type)
-   struct type *type;
+float_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-  return TYPE_CODE(type) == TYPE_CODE_FLT;
+  return TYPE_CODE (type) == TYPE_CODE_FLT;
 }
 
 /* Returns non-zero if the value is a pointer type */
 int
-pointer_type(type)
-   struct type *type;
+pointer_type (struct type *type)
 {
-   return TYPE_CODE(type) == TYPE_CODE_PTR ||
-      TYPE_CODE(type) == TYPE_CODE_REF;
+  return TYPE_CODE (type) == TYPE_CODE_PTR ||
+    TYPE_CODE (type) == TYPE_CODE_REF;
 }
 
 /* Returns non-zero if the value is a structured type */
 int
-structured_type(type)
-   struct type *type;
+structured_type (struct type *type)
 {
   CHECK_TYPEDEF (type);
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
+  switch (current_language->la_language)
+    {
+    case language_c:
+    case language_cplus:
+    case language_objc:
+      return (TYPE_CODE (type) == TYPE_CODE_STRUCT) ||
+       (TYPE_CODE (type) == TYPE_CODE_UNION) ||
+       (TYPE_CODE (type) == TYPE_CODE_ARRAY);
+   case language_pascal:
       return (TYPE_CODE(type) == TYPE_CODE_STRUCT) ||
         (TYPE_CODE(type) == TYPE_CODE_UNION) ||
-           (TYPE_CODE(type) == TYPE_CODE_ARRAY);
-   case language_m2:
-      return (TYPE_CODE(type) == TYPE_CODE_STRUCT) ||
         (TYPE_CODE(type) == TYPE_CODE_SET) ||
            (TYPE_CODE(type) == TYPE_CODE_ARRAY);
-   case language_chill:
-      error ("Missing Chill support in function structured_type.");  /*FIXME*/
-   default:
+    case language_m2:
+      return (TYPE_CODE (type) == TYPE_CODE_STRUCT) ||
+       (TYPE_CODE (type) == TYPE_CODE_SET) ||
+       (TYPE_CODE (type) == TYPE_CODE_ARRAY);
+    default:
       return (0);
-   }
+    }
 }
 #endif
 \f
 struct type *
-lang_bool_type ()
+lang_bool_type (void)
 {
   struct symbol *sym;
   struct type *type;
-  switch(current_language->la_language)
+  switch (current_language->la_language)
     {
-    case language_chill:
-      return builtin_type_chill_bool;
     case language_fortran:
-      sym = lookup_symbol ("logical", NULL, VAR_NAMESPACE, NULL, NULL);
+      sym = lookup_symbol ("logical", NULL, VAR_DOMAIN, NULL, NULL);
       if (sym)
        {
          type = SYMBOL_TYPE (sym);
@@ -827,7 +804,11 @@ lang_bool_type ()
        }
       return builtin_type_f_logical_s2;
     case language_cplus:
-      sym = lookup_symbol ("bool", NULL, VAR_NAMESPACE, NULL, NULL);
+    case language_pascal:
+      if (current_language->la_language==language_cplus)
+        {sym = lookup_symbol ("bool", NULL, VAR_DOMAIN, NULL, NULL);}
+      else
+        {sym = lookup_symbol ("boolean", NULL, VAR_DOMAIN, NULL, NULL);}
       if (sym)
        {
          type = SYMBOL_TYPE (sym);
@@ -835,6 +816,15 @@ lang_bool_type ()
            return type;
        }
       return builtin_type_bool;
+    case language_java:
+      sym = lookup_symbol ("boolean", NULL, VAR_DOMAIN, NULL, NULL);
+      if (sym)
+       {
+         type = SYMBOL_TYPE (sym);
+         if (type && TYPE_CODE (type) == TYPE_CODE_BOOL)
+           return type;
+       }
+      return java_boolean_type;
     default:
       return builtin_type_int;
     }
@@ -845,8 +835,7 @@ lang_bool_type ()
 
 /* Returns non-zero if the value VAL represents a true value. */
 int
-value_true (val)
-     value_ptr val;
+value_true (struct value *val)
 {
   /* It is possible that we should have some sort of error if a non-boolean
      value is used in this context.  Possibly dependent on some kind of
@@ -857,282 +846,81 @@ value_true (val)
   return !value_logical_not (val);
 }
 \f
-/* Returns non-zero if the operator OP is defined on
-   the values ARG1 and ARG2. */
+/* This page contains functions for the printing out of
+   error messages that occur during type- and range-
+   checking. */
 
-#if 0  /* Currently unused */
+/* These are called when a language fails a type- or range-check.  The
+   first argument should be a printf()-style format string, and the
+   rest of the arguments should be its arguments.  If
+   [type|range]_check is [type|range]_check_on, an error is printed;
+   if [type|range]_check_warn, a warning; otherwise just the
+   message. */
 
 void
-binop_type_check(arg1,arg2,op)
-   value_ptr arg1,arg2;
-   int op;
+type_error (const char *string,...)
 {
-   struct type *t1, *t2;
-
-   /* If we're not checking types, always return success. */
-   if (!STRICT_TYPE)
-      return;
+  va_list args;
+  va_start (args, string);
 
-   t1=VALUE_TYPE(arg1);
-   if (arg2 != NULL)
-      t2=VALUE_TYPE(arg2);
-   else
-      t2=NULL;
-
-   switch(op)
-   {
-   case BINOP_ADD:
-   case BINOP_SUB:
-      if ((numeric_type(t1) && pointer_type(t2)) ||
-        (pointer_type(t1) && numeric_type(t2)))
-      {
-        warning ("combining pointer and integer.\n");
-        break;
-      }
-   case BINOP_MUL:
-   case BINOP_LSH:
-   case BINOP_RSH:
-      if (!numeric_type(t1) || !numeric_type(t2))
-        type_op_error ("Arguments to %s must be numbers.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   case BINOP_LOGICAL_AND:
-   case BINOP_LOGICAL_OR:
-      if (!boolean_type(t1) || !boolean_type(t2))
-        type_op_error ("Arguments to %s must be of boolean type.",op);
-      break;
-
-   case BINOP_EQUAL:
-      if ((pointer_type(t1) && !(pointer_type(t2) || integral_type(t2))) ||
-        (pointer_type(t2) && !(pointer_type(t1) || integral_type(t1))))
-        type_op_error ("A pointer can only be compared to an integer or pointer.",op);
-      else if ((pointer_type(t1) && integral_type(t2)) ||
-        (integral_type(t1) && pointer_type(t2)))
-      {
-        warning ("combining integer and pointer.\n");
-        break;
-      }
-      else if (!simple_type(t1) || !simple_type(t2))
-        type_op_error ("Arguments to %s must be of simple type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   case BINOP_REM:
-   case BINOP_MOD:
-      if (!integral_type(t1) || !integral_type(t2))
-        type_op_error ("Arguments to %s must be of integral type.",op);
+  switch (type_check)
+    {
+    case type_check_warn:
+      vwarning (string, args);
       break;
-
-   case BINOP_LESS:
-   case BINOP_GTR:
-   case BINOP_LEQ:
-   case BINOP_GEQ:
-      if (!ordered_type(t1) || !ordered_type(t2))
-        type_op_error ("Arguments to %s must be of ordered type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
+    case type_check_on:
+      verror (string, args);
       break;
-
-   case BINOP_ASSIGN:
-      if (pointer_type(t1) && !integral_type(t2))
-        type_op_error ("A pointer can only be assigned an integer.",op);
-      else if (pointer_type(t1) && integral_type(t2))
-      {
-        warning ("combining integer and pointer.");
-        break;
-      }
-      else if (!simple_type(t1) || !simple_type(t2))
-        type_op_error ("Arguments to %s must be of simple type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
+    case type_check_off:
+      /* FIXME: cagney/2002-01-30: Should this function print anything
+         when type error is off?  */
+      vfprintf_filtered (gdb_stderr, string, args);
+      fprintf_filtered (gdb_stderr, "\n");
       break;
+    default:
+      internal_error (__FILE__, __LINE__, _("bad switch"));
+    }
+  va_end (args);
+}
 
-    case BINOP_CONCAT:
-      /* FIXME:  Needs to handle bitstrings as well. */
-      if (!(string_type(t1) || character_type(t1) || integral_type(t1))
-         || !(string_type(t2) || character_type(t2) || integral_type(t2)))
-         type_op_error ("Arguments to %s must be strings or characters.", op);
-      break;
-
-   /* Unary checks -- arg2 is null */
-
-   case UNOP_LOGICAL_NOT:
-      if (!boolean_type(t1))
-        type_op_error ("Argument to %s must be of boolean type.",op);
-      break;
+void
+range_error (const char *string,...)
+{
+  va_list args;
+  va_start (args, string);
 
-   case UNOP_PLUS:
-   case UNOP_NEG:
-      if (!numeric_type(t1))
-        type_op_error ("Argument to %s must be of numeric type.",op);
+  switch (range_check)
+    {
+    case range_check_warn:
+      vwarning (string, args);
       break;
-
-   case UNOP_IND:
-      if (integral_type(t1))
-      {
-        warning ("combining pointer and integer.\n");
-        break;
-      }
-      else if (!pointer_type(t1))
-        type_op_error ("Argument to %s must be a pointer.",op);
+    case range_check_on:
+      verror (string, args);
       break;
-
-   case UNOP_PREINCREMENT:
-   case UNOP_POSTINCREMENT:
-   case UNOP_PREDECREMENT:
-   case UNOP_POSTDECREMENT:
-      if (!ordered_type(t1))
-        type_op_error ("Argument to %s must be of an ordered type.",op);
+    case range_check_off:
+      /* FIXME: cagney/2002-01-30: Should this function print anything
+         when range error is off?  */
+      vfprintf_filtered (gdb_stderr, string, args);
+      fprintf_filtered (gdb_stderr, "\n");
       break;
-
-   default:
-      /* Ok.  The following operators have different meanings in
-        different languages. */
-      switch(current_language->la_language)
-      {
-#ifdef _LANG_c
-      case language_c:
-      case language_cplus:
-        switch(op)
-        {
-        case BINOP_DIV:
-           if (!numeric_type(t1) || !numeric_type(t2))
-              type_op_error ("Arguments to %s must be numbers.",op);
-           break;
-        }
-        break;
-#endif
-
-#ifdef _LANG_m2
-      case language_m2:
-        switch(op)
-        {
-        case BINOP_DIV:
-           if (!float_type(t1) || !float_type(t2))
-              type_op_error ("Arguments to %s must be floating point numbers.",op);
-           break;
-        case BINOP_INTDIV:
-           if (!integral_type(t1) || !integral_type(t2))
-              type_op_error ("Arguments to %s must be of integral type.",op);
-           break;
-        }
-#endif
-
-#ifdef _LANG_chill
-       case language_chill:
-        error ("Missing Chill support in function binop_type_check.");/*FIXME*/
-#endif
-
-      }
-   }
+    default:
+      internal_error (__FILE__, __LINE__, _("bad switch"));
+    }
+  va_end (args);
 }
-
-#endif /* 0 */
-
 \f
-/* This page contains functions for the printing out of
-   error messages that occur during type- and range-
-   checking. */
 
-/* Prints the format string FMT with the operator as a string
-   corresponding to the opcode OP.  If FATAL is non-zero, then
-   this is an error and error () is called.  Otherwise, it is
-   a warning and printf() is called. */
-void
-op_error (fmt,op,fatal)
-   char *fmt;
-   enum exp_opcode op;
-   int fatal;
-{
-   if (fatal)
-      error (fmt,op_string(op));
-   else
-   {
-      warning (fmt,op_string(op));
-   }
-}
-
-/* These are called when a language fails a type- or range-check.
-   The first argument should be a printf()-style format string, and
-   the rest of the arguments should be its arguments.  If
-   [type|range]_check is [type|range]_check_on, then return_to_top_level()
-   is called in the style of error ().  Otherwise, the message is prefixed
-   by the value of warning_pre_print and we do not return to the top level. */
-
-void
-#ifdef ANSI_PROTOTYPES
-type_error (char *string, ...)
-#else
-type_error (va_alist)
-     va_dcl
-#endif
-{
-   va_list args;
-#ifdef ANSI_PROTOTYPES
-   va_start (args, string);
-#else
-   char *string;
-   va_start (args);
-   string = va_arg (args, char *);
-#endif
-
-   if (type_check == type_check_warn)
-     fprintf_filtered (gdb_stderr, warning_pre_print);
-   else
-     error_begin ();
-
-   vfprintf_filtered (gdb_stderr, string, args);
-   fprintf_filtered (gdb_stderr, "\n");
-   va_end (args);
-   if (type_check == type_check_on)
-     return_to_top_level (RETURN_ERROR);
-}
-
-void
-#ifdef ANSI_PROTOTYPES
-range_error (char *string, ...)
-#else
-range_error (va_alist)
-     va_dcl
-#endif
-{
-   va_list args;
-#ifdef ANSI_PROTOTYPES
-   va_start (args, string);
-#else
-   char *string;
-   va_start (args);
-   string = va_arg (args, char *);
-#endif
-
-   if (range_check == range_check_warn)
-     fprintf_filtered (gdb_stderr, warning_pre_print);
-   else
-     error_begin ();
-
-   vfprintf_filtered (gdb_stderr, string, args);
-   fprintf_filtered (gdb_stderr, "\n");
-   va_end (args);
-   if (range_check == range_check_on)
-     return_to_top_level (RETURN_ERROR);
-}
-
-\f
 /* This page contains miscellaneous functions */
 
 /* Return the language enum for a given language string. */
 
 enum language
-language_enum (str)
-     char *str;
+language_enum (char *str)
 {
   int i;
 
-  for (i = 0; i < languages_size; i++) 
-    if (STREQ (languages[i]->la_name, str))
+  for (i = 0; i < languages_size; i++)
+    if (strcmp (languages[i]->la_name, str) == 0)
       return languages[i]->la_language;
 
   return language_unknown;
@@ -1141,63 +929,60 @@ language_enum (str)
 /* Return the language struct for a given language enum. */
 
 const struct language_defn *
-language_def(lang)
-   enum language lang;
+language_def (enum language lang)
 {
   int i;
 
-  for (i = 0; i < languages_size; i++) {
-    if (languages[i]->la_language == lang) {
-      return languages[i];
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         return languages[i];
+       }
     }
-  }
   return NULL;
 }
 
 /* Return the language as a string */
 char *
-language_str(lang)
-   enum language lang;
+language_str (enum language lang)
 {
   int i;
 
-  for (i = 0; i < languages_size; i++) {
-    if (languages[i]->la_language == lang) {
-      return languages[i]->la_name;
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         return languages[i]->la_name;
+       }
     }
-  }
   return "Unknown";
 }
 
 static void
-set_check (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_check (char *ignore, int from_tty)
 {
-   printf_unfiltered(
-"\"set check\" must be followed by the name of a check subcommand.\n");
-   help_list(setchecklist, "set check ", -1, gdb_stdout);
+  printf_unfiltered (
+     "\"set check\" must be followed by the name of a check subcommand.\n");
+  help_list (setchecklist, "set check ", -1, gdb_stdout);
 }
 
 static void
-show_check (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_check (char *ignore, int from_tty)
 {
-   cmd_show_list(showchecklist, from_tty, "");
+  cmd_show_list (showchecklist, from_tty, "");
 }
 \f
 /* Add a language to the set of known languages.  */
 
 void
-add_language (lang)
-     const struct language_defn *lang;
+add_language (const struct language_defn *lang)
 {
   if (lang->la_magic != LANG_MAGIC)
     {
-      fprintf_unfiltered(gdb_stderr, "Magic number of %s language struct wrong\n",
-       lang->la_name);
-      abort();
+      fprintf_unfiltered (gdb_stderr, "Magic number of %s language struct wrong\n",
+                         lang->la_name);
+      internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
     }
 
   if (!languages)
@@ -1210,113 +995,184 @@ add_language (lang)
     {
       languages_allocsize *= 2;
       languages = (const struct language_defn **) xrealloc ((char *) languages,
-       languages_allocsize * sizeof (*languages));
+                                languages_allocsize * sizeof (*languages));
     }
   languages[languages_size++] = lang;
 }
 
+/* Iterate through all registered languages looking for and calling
+   any non-NULL struct language_defn.skip_trampoline() functions.
+   Return the result from the first that returns non-zero, or 0 if all
+   `fail'.  */
+CORE_ADDR 
+skip_language_trampoline (CORE_ADDR pc)
+{
+  int i;
+
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->skip_trampoline)
+       {
+         CORE_ADDR real_pc = (languages[i]->skip_trampoline) (pc);
+         if (real_pc)
+           return real_pc;
+       }
+    }
+
+  return 0;
+}
+
+/* Return demangled language symbol, or NULL.  
+   FIXME: Options are only useful for certain languages and ignored
+   by others, so it would be better to remove them here and have a
+   more flexible demangler for the languages that need it.  
+   FIXME: Sometimes the demangler is invoked when we don't know the
+   language, so we can't use this everywhere.  */
+char *
+language_demangle (const struct language_defn *current_language, 
+                               const char *mangled, int options)
+{
+  if (current_language != NULL && current_language->la_demangle)
+    return current_language->la_demangle (mangled, options);
+  return NULL;
+}
+
+/* Return class name from physname or NULL.  */
+char *
+language_class_name_from_physname (const struct language_defn *current_language,
+                                  const char *physname)
+{
+  if (current_language != NULL && current_language->la_class_name_from_physname)
+    return current_language->la_class_name_from_physname (physname);
+  return NULL;
+}
+
+/* Return the default string containing the list of characters
+   delimiting words.  This is a reasonable default value that
+   most languages should be able to use.  */
+
+char *
+default_word_break_characters (void)
+{
+  return " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,-";
+}
+
+/* Print the index of array elements using the C99 syntax.  */
+
+void
+default_print_array_index (struct value *index_value, struct ui_file *stream,
+                           int format, enum val_prettyprint pretty)
+{
+  fprintf_filtered (stream, "[");
+  LA_VALUE_PRINT (index_value, stream, format, pretty);
+  fprintf_filtered (stream, "] = ");
+}
+
 /* Define the language that is no language.  */
 
 static int
-unk_lang_parser ()
+unk_lang_parser (void)
 {
   return 1;
 }
 
 static void
-unk_lang_error (msg)
-     char *msg;
+unk_lang_error (char *msg)
 {
-  error ("Attempted to parse an expression with unknown language");
+  error (_("Attempted to parse an expression with unknown language"));
 }
 
 static void
-unk_lang_emit_char (c, stream, quoter)
-     register int c;
-     GDB_FILE *stream;
-     int quoter;
+unk_lang_emit_char (int c, struct ui_file *stream, int quoter)
 {
-  error ("internal error - unimplemented function unk_lang_emit_char called.");
+  error (_("internal error - unimplemented function unk_lang_emit_char called."));
 }
 
 static void
-unk_lang_printchar (c, stream)
-     register int c;
-     GDB_FILE *stream;
+unk_lang_printchar (int c, struct ui_file *stream)
 {
-  error ("internal error - unimplemented function unk_lang_printchar called.");
+  error (_("internal error - unimplemented function unk_lang_printchar called."));
 }
 
 static void
-unk_lang_printstr (stream, string, length, width, force_ellipses)
-     GDB_FILE *stream;
-     char *string;
-     unsigned int length;
-     int width;
-     int force_ellipses;
-{
-  error ("internal error - unimplemented function unk_lang_printstr called.");
+unk_lang_printstr (struct ui_file *stream, const gdb_byte *string,
+                  unsigned int length, int width, int force_ellipses)
+{
+  error (_("internal error - unimplemented function unk_lang_printstr called."));
 }
 
 static struct type *
-unk_lang_create_fundamental_type (objfile, typeid)
-     struct objfile *objfile;
-     int typeid;
+unk_lang_create_fundamental_type (struct objfile *objfile, int typeid)
 {
-  error ("internal error - unimplemented function unk_lang_create_fundamental_type called.");
+  error (_("internal error - unimplemented function unk_lang_create_fundamental_type called."));
 }
 
 static void
-unk_lang_print_type (type, varstring, stream, show, level)
-     struct type *type;
-     char *varstring;
-     GDB_FILE *stream;
-     int show;
-     int level;
-{
-  error ("internal error - unimplemented function unk_lang_print_type called.");
+unk_lang_print_type (struct type *type, char *varstring, struct ui_file *stream,
+                    int show, int level)
+{
+  error (_("internal error - unimplemented function unk_lang_print_type called."));
 }
 
 static int
-unk_lang_val_print (type, valaddr,  embedded_offset, address, stream, format, deref_ref,
-                   recurse, pretty)
-     struct type *type;
-     char *valaddr;
-     int embedded_offset;
-     CORE_ADDR address;
-     GDB_FILE *stream;
-     int format;
-     int deref_ref;
-     int recurse;
-     enum val_prettyprint pretty;
-{
-  error ("internal error - unimplemented function unk_lang_val_print called.");
+unk_lang_val_print (struct type *type, const gdb_byte *valaddr,
+                   int embedded_offset, CORE_ADDR address,
+                   struct ui_file *stream, int format,
+                   int deref_ref, int recurse, enum val_prettyprint pretty)
+{
+  error (_("internal error - unimplemented function unk_lang_val_print called."));
 }
 
 static int
-unk_lang_value_print (val, stream, format, pretty)
-     value_ptr val;
-     GDB_FILE *stream;
-     int format;
-     enum val_prettyprint pretty;
+unk_lang_value_print (struct value *val, struct ui_file *stream, int format,
+                     enum val_prettyprint pretty)
+{
+  error (_("internal error - unimplemented function unk_lang_value_print called."));
+}
+
+static CORE_ADDR unk_lang_trampoline (CORE_ADDR pc)
+{
+  return 0;
+}
+
+/* Unknown languages just use the cplus demangler.  */
+static char *unk_lang_demangle (const char *mangled, int options)
+{
+  return cplus_demangle (mangled, options);
+}
+
+static char *unk_lang_class_name (const char *mangled)
 {
-  error ("internal error - unimplemented function unk_lang_value_print called.");
+  return NULL;
 }
 
-static struct type ** CONST_PTR (unknown_builtin_types[]) = { 0 };
-static const struct op_print unk_op_print_tab[] = {
-    {NULL, OP_NULL, PREC_NULL, 0}
+static const struct op_print unk_op_print_tab[] =
+{
+  {NULL, OP_NULL, PREC_NULL, 0}
 };
 
-const struct language_defn unknown_language_defn = {
+static void
+unknown_language_arch_info (struct gdbarch *gdbarch,
+                           struct language_arch_info *lai)
+{
+  lai->string_char_type = builtin_type (gdbarch)->builtin_char;
+  lai->primitive_type_vector = GDBARCH_OBSTACK_CALLOC (gdbarch, 1,
+                                                      struct type *);
+}
+
+const struct language_defn unknown_language_defn =
+{
   "unknown",
   language_unknown,
-  &unknown_builtin_types[0],
+  NULL,
   range_check_off,
   type_check_off,
+  array_row_major,
+  case_sensitive_on,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  evaluate_subexp_standard,
+  null_post_parser,
   unk_lang_printchar,          /* Print character constant */
   unk_lang_printstr,
   unk_lang_emit_char,
@@ -1324,27 +1180,36 @@ const struct language_defn unknown_language_defn = {
   unk_lang_print_type,         /* Print a type using appropriate syntax */
   unk_lang_val_print,          /* Print a value using appropriate syntax */
   unk_lang_value_print,                /* Print a top-level value */
-  {"",      "",    "",   ""},  /* Binary format info */
-  {"0%lo",   "0",   "o",  ""}, /* Octal format info */
-  {"%ld",    "",    "d",  ""}, /* Decimal format info */
-  {"0x%lx",  "0x",  "x",  ""}, /* Hex format info */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  value_of_this,               /* value_of_this */
+  basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
   1,                           /* c-style arrays */
   0,                           /* String lower bound */
-  &builtin_type_char,          /* Type of string elements */ 
+  NULL,
+  default_word_break_characters,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
   LANG_MAGIC
 };
 
 /* These two structs define fake entries for the "local" and "auto" options. */
-const struct language_defn auto_language_defn = {
+const struct language_defn auto_language_defn =
+{
   "auto",
   language_auto,
-  &unknown_builtin_types[0],
+  NULL,
   range_check_off,
   type_check_off,
+  array_row_major,
+  case_sensitive_on,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  evaluate_subexp_standard,
+  null_post_parser,
   unk_lang_printchar,          /* Print character constant */
   unk_lang_printstr,
   unk_lang_emit_char,
@@ -1352,26 +1217,35 @@ const struct language_defn auto_language_defn = {
   unk_lang_print_type,         /* Print a type using appropriate syntax */
   unk_lang_val_print,          /* Print a value using appropriate syntax */
   unk_lang_value_print,                /* Print a top-level value */
-  {"",      "",    "",   ""},  /* Binary format info */
-  {"0%lo",   "0",   "o",  ""}, /* Octal format info */
-  {"%ld",    "",    "d",  ""}, /* Decimal format info */
-  {"0x%lx",  "0x",  "x",  ""}, /* Hex format info */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  value_of_this,               /* value_of_this */
+  basic_lookup_symbol_nonlocal,        /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
   1,                           /* c-style arrays */
   0,                           /* String lower bound */
-  &builtin_type_char,          /* Type of string elements */ 
+  NULL,
+  default_word_break_characters,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
   LANG_MAGIC
 };
 
-const struct language_defn local_language_defn = {
+const struct language_defn local_language_defn =
+{
   "local",
   language_auto,
-  &unknown_builtin_types[0],
+  NULL,
   range_check_off,
   type_check_off,
+  case_sensitive_on,
+  array_row_major,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  evaluate_subexp_standard,
+  null_post_parser,
   unk_lang_printchar,          /* Print character constant */
   unk_lang_printstr,
   unk_lang_emit_char,
@@ -1379,73 +1253,163 @@ const struct language_defn local_language_defn = {
   unk_lang_print_type,         /* Print a type using appropriate syntax */
   unk_lang_val_print,          /* Print a value using appropriate syntax */
   unk_lang_value_print,                /* Print a top-level value */
-  {"",      "",    "",   ""},  /* Binary format info */
-  {"0%lo",   "0",   "o",  ""}, /* Octal format info */
-  {"%ld",    "",    "d",  ""}, /* Decimal format info */
-  {"0x%lx",  "0x",  "x",  ""}, /* Hex format info */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  value_of_this,               /* value_of_this */
+  basic_lookup_symbol_nonlocal,        /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
   1,                           /* c-style arrays */
   0,                           /* String lower bound */
-  &builtin_type_char,          /* Type of string elements */ 
+  NULL,
+  default_word_break_characters,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
   LANG_MAGIC
 };
 \f
+/* Per-architecture language information.  */
+
+static struct gdbarch_data *language_gdbarch_data;
+
+struct language_gdbarch
+{
+  /* A vector of per-language per-architecture info.  Indexed by "enum
+     language".  */
+  struct language_arch_info arch_info[nr_languages];
+};
+
+static void *
+language_gdbarch_post_init (struct gdbarch *gdbarch)
+{
+  struct language_gdbarch *l;
+  int i;
+
+  l = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct language_gdbarch);
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i] != NULL
+         && languages[i]->la_language_arch_info != NULL)
+       languages[i]->la_language_arch_info
+         (gdbarch, l->arch_info + languages[i]->la_language);
+    }
+  return l;
+}
+
+struct type *
+language_string_char_type (const struct language_defn *la,
+                          struct gdbarch *gdbarch)
+{
+  struct language_gdbarch *ld = gdbarch_data (gdbarch,
+                                             language_gdbarch_data);
+  if (ld->arch_info[la->la_language].string_char_type != NULL)
+    return ld->arch_info[la->la_language].string_char_type;
+  else
+    return (*la->string_char_type);
+}
+
+struct type *
+language_lookup_primitive_type_by_name (const struct language_defn *la,
+                                       struct gdbarch *gdbarch,
+                                       const char *name)
+{
+  struct language_gdbarch *ld = gdbarch_data (gdbarch,
+                                             language_gdbarch_data);
+  if (ld->arch_info[la->la_language].primitive_type_vector != NULL)
+    {
+      struct type *const *p;
+      for (p = ld->arch_info[la->la_language].primitive_type_vector;
+          (*p) != NULL;
+          p++)
+       {
+         if (strcmp (TYPE_NAME (*p), name) == 0)
+           return (*p);
+       }
+    }
+  else
+    {
+      struct type **const *p;
+      for (p = current_language->la_builtin_type_vector; *p != NULL; p++)
+       {
+         if (strcmp (TYPE_NAME (**p), name) == 0)
+           return (**p);
+       }
+    }
+  return (NULL);
+}
+
 /* Initialize the language routines */
 
 void
-_initialize_language()
-{
-   struct cmd_list_element *set, *show;
-
-   /* GDB commands for language specific stuff */
-
-   set = add_set_cmd ("language", class_support, var_string_noescape,
-                     (char *)&language,
-                     "Set the current source language.",
-                     &setlist);
-   show = add_show_from_set (set, &showlist);
-   set->function.cfunc = set_language_command;
-   show->function.cfunc = show_language_command;
-
-   add_prefix_cmd ("check", no_class, set_check,
-                  "Set the status of the type/range checker",
-                  &setchecklist, "set check ", 0, &setlist);
-   add_alias_cmd ("c", "check", no_class, 1, &setlist);
-   add_alias_cmd ("ch", "check", no_class, 1, &setlist);
-
-   add_prefix_cmd ("check", no_class, show_check,
-                  "Show the status of the type/range checker",
-                  &showchecklist, "show check ", 0, &showlist);
-   add_alias_cmd ("c", "check", no_class, 1, &showlist);
-   add_alias_cmd ("ch", "check", no_class, 1, &showlist);
-
-   set = add_set_cmd ("type", class_support, var_string_noescape,
-                     (char *)&type,
-                     "Set type checking.  (on/warn/off/auto)",
-                     &setchecklist);
-   show = add_show_from_set (set, &showchecklist);
-   set->function.cfunc = set_type_command;
-   show->function.cfunc = show_type_command;
-
-   set = add_set_cmd ("range", class_support, var_string_noescape,
-                     (char *)&range,
-                     "Set range checking.  (on/warn/off/auto)",
-                     &setchecklist);
-   show = add_show_from_set (set, &showchecklist);
-   set->function.cfunc = set_range_command;
-   show->function.cfunc = show_range_command;
-
-   add_language (&unknown_language_defn);
-   add_language (&local_language_defn);
-   add_language (&auto_language_defn);
-
-   language = savestring ("auto",strlen("auto"));
-   range = savestring ("auto",strlen("auto"));
-   type = savestring ("auto",strlen("auto"));
-
-   /* Have the above take effect */
-
-   set_language_command (language, 0);
-   set_type_command (NULL, 0);
-   set_range_command (NULL, 0);
+_initialize_language (void)
+{
+  struct cmd_list_element *set, *show;
+
+  language_gdbarch_data
+    = gdbarch_data_register_post_init (language_gdbarch_post_init);
+
+  /* GDB commands for language specific stuff */
+
+  /* FIXME: cagney/2005-02-20: This should be implemented using an
+     enum.  */
+  add_setshow_string_noescape_cmd ("language", class_support, &language, _("\
+Set the current source language."), _("\
+Show the current source language."), NULL,
+                                  set_language_command,
+                                  show_language_command,
+                                  &setlist, &showlist);
+
+  add_prefix_cmd ("check", no_class, set_check,
+                 _("Set the status of the type/range checker."),
+                 &setchecklist, "set check ", 0, &setlist);
+  add_alias_cmd ("c", "check", no_class, 1, &setlist);
+  add_alias_cmd ("ch", "check", no_class, 1, &setlist);
+
+  add_prefix_cmd ("check", no_class, show_check,
+                 _("Show the status of the type/range checker."),
+                 &showchecklist, "show check ", 0, &showlist);
+  add_alias_cmd ("c", "check", no_class, 1, &showlist);
+  add_alias_cmd ("ch", "check", no_class, 1, &showlist);
+
+  /* FIXME: cagney/2005-02-20: This should be implemented using an
+     enum.  */
+  add_setshow_string_noescape_cmd ("type", class_support, &type, _("\
+Set type checking.  (on/warn/off/auto)"), _("\
+Show type checking.  (on/warn/off/auto)"), NULL,
+                                  set_type_command,
+                                  show_type_command,
+                                  &setchecklist, &showchecklist);
+
+  /* FIXME: cagney/2005-02-20: This should be implemented using an
+     enum.  */
+  add_setshow_string_noescape_cmd ("range", class_support, &range, _("\
+Set range checking.  (on/warn/off/auto)"), _("\
+Show range checking.  (on/warn/off/auto)"), NULL,
+                                  set_range_command,
+                                  show_range_command,
+                                  &setchecklist, &showchecklist);
+
+  /* FIXME: cagney/2005-02-20: This should be implemented using an
+     enum.  */
+  add_setshow_string_noescape_cmd ("case-sensitive", class_support,
+                                  &case_sensitive, _("\
+Set case sensitivity in name search.  (on/off/auto)"), _("\
+Show case sensitivity in name search.  (on/off/auto)"), _("\
+For Fortran the default is off; for other languages the default is on."),
+                                  set_case_command,
+                                  show_case_command,
+                                  &setlist, &showlist);
+
+  add_language (&unknown_language_defn);
+  add_language (&local_language_defn);
+  add_language (&auto_language_defn);
+
+  language = savestring ("auto", strlen ("auto"));
+  type = savestring ("auto", strlen ("auto"));
+  range = savestring ("auto", strlen ("auto"));
+  case_sensitive = savestring ("auto",strlen ("auto"));
+
+  /* Have the above take effect */
+  set_language (language_auto);
 }