00001 /* 00002 * (c) copyright 2008, Technische Universitaet Graz and Technische Universitaet Wien 00003 * 00004 * This file is part of jdiagengine. 00005 * 00006 * jdiagengine is free software: you can redistribute it and/or modify 00007 * it under the terms of the GNU General Public License as published by 00008 * the Free Software Foundation, either version 3 of the License, or 00009 * (at your option) any later version. 00010 * 00011 * jdiagengine is distributed in the hope that it will be useful, 00012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 * GNU General Public License for more details. 00015 * You should have received a copy of the GNU General Public License 00016 * along with jdiagengine. If not, see <http://www.gnu.org/licenses/>. 00017 * 00018 * Authors: Joerg Weber, Franz Wotawa 00019 * Contact: jweber@ist.tugraz.at (preferred), or fwotawa@ist.tugraz.at 00020 * 00021 */ 00022 00023 00024 00025 package ATPInterface; 00026 00038 public interface ATPConstants { 00039 00040 public final static String CMD_POST = "POST"; 00041 public final static String CMD_GET = "GET"; 00042 public final static String CMD_CLOSE = "CLOSE"; 00043 00044 public final static String SUBCMD_ADD_SENTENCES = "ADD_SENTENCES"; 00045 public final static String SUBCMD_REPLACE_SENTENCES = "REPLACE_SENTENCES"; 00046 public final static String SUBCMD_ADD_FDG_EDGES = "ADD_FDG_EDGES"; 00047 public final static String SUBCMD_REPLACE_FDG_EDGES = "REPLACE_FDG_EDGES"; 00048 public final static String SUBCMD_CONSISTENCY = "CONSISTENCY"; 00049 public final static String SUBCMD_CONSISTENCIES = "CONSISTENCIES"; 00050 public final static String SUBCMD_MINDIAG = "MIN_DIAG"; 00051 public final static String SUBCMD_DIAGENV = "DIAG_ENV"; 00052 public final static String SUBCMD_DBSTATS = "DBSTATS"; 00053 public final static String SUBCMD_FDGSTATS = "FDGSTATS"; 00054 public final static String SUBCMD_DBCONTENT = "DBCONTENT"; 00055 00056 public final static String PARAM_CONTENT_TYPE = "Content-Type:"; 00057 public final static String PARAM_NUM_RULES = "Number-Rules:"; 00058 public final static String PARAM_NUM_QUERIES = "Number-Queries:"; 00059 public final static String PARAM_NUM_NODES = "Number-FDG-Nodes:"; 00060 public final static String PARAM_NUM_EDGES = "Number-FDG-Edges:"; 00061 public final static String PARAM_LINE_NUMBER = "Line-Number:"; 00062 public final static String PARAM_NUM_SUBDB_RULES = "Number-SubDB-Rules:"; 00063 public final static String PARAM_NUM_SUBDBS = "Number-SubDBs:"; 00064 public final static String PARAM_CONSISTENT = "Consistent:"; 00065 public final static String PARAM_NUM_DIAG = "Number-Diagnoses:"; 00066 public final static String PARAM_SUBDB = "SubDB:"; 00067 public final static String PARAM_MAX_DIAG_SIZE = "Max-Diag-Size:"; 00068 public final static String PARAM_MAX_NUM_DIAG = "Max-Number-Diagnoses:"; 00069 public final static String PARAM_USE_FAULT_MODES = "Use-Fault-Modes:"; 00070 public final static String PARAM_MAX_DF_CHAIN = "Max-DF-Chain:"; 00071 public final static String PARAM_INCL_BETA_DE = "Include-Beta-DEs:"; 00072 public final static String PARAM_NUM_DIAGENV = "Number-DEs:"; 00073 public final static String PARAM_MERGE_DES = "Merge-DEs:"; 00074 public final static String PARAM_DISCARD_ORDER_PERMS = "Discard-Order-Perms:"; 00075 00076 public final static String STR_ATP = "ATP"; 00077 public final static String STR_FDG_EDGE = "=>"; 00078 public final static String STR_YES = "yes"; 00079 public final static String STR_NO = "no"; 00080 00081 public final static String LINE_PREFIX_DIAG = "DIAG:"; 00082 public final static String LINE_PREFIX_DE = "DE:"; 00083 00084 // the assumption names to be used, unless otherwise defined 00085 public final static String DEF_AB_ASSUMPTION = "AB"; 00086 public final static String DEF_NAB_ASSUMPTION = "NAB"; 00087 public final static String DEF_IF_ASSUMPTION = "IF"; 00088 public final static String DEF_DF_ASSUMPTION = "DF"; 00089 00090 // Separator between assumptions. E.g.: "IF(A); DF(A, B)" 00091 public final static String SEP_ASSUMPTION = ";"; 00092 00093 public final static int NUM_SUBDBS = 3; 00094 public final static String SUBDB_SD = "SD"; 00095 public final static String SUBDB_OBS = "OBS"; 00096 public final static String SUBDB_SDD = "SDD"; 00097 00098 public final static int OK = 200; 00099 public final static int ERR_BAD_REQUEST = 400; 00100 public final static int ERR_ILLEGAL_RULE = 410; 00101 public final static int ERR_ILLEGAL_ASS = 420; 00102 public final static int ERR_INTERNAL_SERVER_ERROR = 500; 00103 00104 } 00105