/* 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 
{	
  public static final String cpInstallDir = "@CP_INSTALL_DIR@";
  public static final String autoCompile = "@AUTO_COMPILE@";
  public static final String testJava = "@TEST_JAVA@";
  public static final String ecjJar = "@ECJ_JAR@";
  public static final String emmaString = "@EMMA@";
  public static final String srcdir = "@SRCDIR@";
  public static final String tmpdir = "@TMPDIR@";
  public static final String pathSeparator = "@CHECK_PATH_SEPARATOR@";
  public static final String separator = "@CHECK_FILE_SEPARATOR@";
  public static final String mailHost = "@MAIL_HOST@";

  public abstract String getCpInstallDir ();
  public abstract String getAutoCompile ();
  public abstract String getTestJava ();
  public abstract String getEcjJar ();
  public abstract String getEmmaString ();
  public abstract String getSourceDirectory ();
  public abstract String getTempDirectory ();
  public abstract String getPathSeparator ();
  public abstract String getSeparator ();
  public abstract String getMailHost ();
}