1  /* Java CLASSPATH handling.
       2     Copyright (C) 2003, 2009-2023 Free Software Foundation, Inc.
       3     Written by Bruno Haible <haible@clisp.cons.org>, 2003.
       4  
       5     This program is free software: you can redistribute it and/or modify
       6     it under the terms of the GNU General Public License as published by
       7     the Free Software Foundation, either version 3 of the License, or
       8     (at your option) any later version.
       9  
      10     This program is distributed in the hope that it will be useful,
      11     but WITHOUT ANY WARRANTY; without even the implied warranty of
      12     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      13     GNU General Public License for more details.
      14  
      15     You should have received a copy of the GNU General Public License
      16     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
      17  
      18  /* This file uses _GL_ATTRIBUTE_MALLOC.  */
      19  #if !_GL_CONFIG_H_INCLUDED
      20   #error "Please include config.h first."
      21  #endif
      22  
      23  /* Return the new CLASSPATH value.  The given classpaths are prepended to
      24     the current CLASSPATH value.   If use_minimal_classpath, the current
      25     CLASSPATH is ignored.  */
      26  extern char * new_classpath (const char * const *classpaths,
      27                               unsigned int classpaths_count,
      28                               bool use_minimal_classpath);
      29  
      30  /* Set CLASSPATH and returns a safe copy of its old value.  */
      31  extern char * set_classpath (const char * const *classpaths,
      32                               unsigned int classpaths_count,
      33                               bool use_minimal_classpath, bool verbose)
      34       _GL_ATTRIBUTE_MALLOC;
      35  
      36  /* Restore CLASSPATH to its previous value.  */
      37  extern void reset_classpath (char *old_classpath);