/* Copyright (c) 1999  Cygnus Solutions
   Written by Anthony Green <green@cygnus.com>

   This file is part of Mauve.

   Mauve 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, or (at your option)
   any later version.

   Mauve 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 Mauve; see the file COPYING.  If not, write to
   the Free Software Foundation, 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

package gnu.testlet;

public interface config
{
  String srcdir =        "@SRCDIR@@CHECK_FILE_SEPARATOR@source";
  String tmpdir =        "@TMPDIR@";
  String pathSeparator = "@CHECK_PATH_SEPARATOR@";
  String separator =     "@CHECK_FILE_SEPARATOR@";

  String getSourceDirectory();
  String getTempDirectory();
  String getPathSeparator();
  String getSeparator();
}