Commit | Line | Data |
---|---|---|
166606b7 PB |
1 | /* Support for printing Java types for GDB, the GNU debugger. |
2 | Copyright 1997 Free Software Foundation, Inc. | |
3 | ||
4 | This file is part of GDB. | |
5 | ||
6 | This program is free software; you can redistribute it and/or modify | |
7 | it under the terms of the GNU General Public License as published by | |
8 | the Free Software Foundation; either version 2 of the License, or | |
9 | (at your option) any later version. | |
10 | ||
11 | This program is distributed in the hope that it will be useful, | |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with this program; if not, write to the Free Software | |
18 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ | |
19 | ||
20 | ||
21 | #include "defs.h" | |
22 | #include "symtab.h" | |
23 | #include "gdbtypes.h" | |
24 | ||
25 | /* LEVEL is the depth to indent lines by. */ | |
26 | ||
27 | void | |
28 | java_print_type (type, varstring, stream, show, level) | |
29 | struct type *type; | |
30 | char *varstring; | |
31 | GDB_FILE *stream; | |
32 | int show; | |
33 | int level; | |
34 | { | |
35 | c_print_type (type, varstring, stream, show, level); | |
36 | } |