📄 tagandattributenames.java
字号:
package org.mandarax.zkb.framework;
/**
* Copyright (C) 1999-2004 Jens Dietrich (mailto:mandarax@jbdietrich.com)
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This library 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
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
/**
* Server for constants, in particular tag names and attribute names.
* @author <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</A>
* @version 3.4 <7 March 05>
* @since 2.2
*/
public interface TagAndAttributeNames {
// tags
public static final String RULE = "rule";
public static final String FACT = "atom";
public static final String COMPLEX_TERM = "complex_term";
public static final String CONSTANT_TERM = "ind";
public static final String VARIABLE_TERM = "var";
public static final String PREDICATE = "predicate";
public static final String FUNCTION = "function";
public static final String RULE_BASE = "rulebase";
public static final String KNOWLEDGE_BASE = "knowledgebase";
public static final String SQL_CLAUSE_SET = "sql_clause_set";
public static final String CUSTOM_CLAUSE_SET = "custom_clause_set";
public static final String OTHER_CLAUSE_SET = "clause_set";
public static final String QUERY = "query";
public static final String PREREQUISITE = "prereq";
public static final String IF = "if";
public static final String THEN = "then";
public static final String BODY = "_body";
public static final String HEAD = "_head";
public static final String TERMS = "terms";
public static final String PROPERTIES = "properties";
public static final String PROPERTY = "property";
public static final String DERIVATION_LISTENER = "derivation_listener";
public static final String TESTCASE = "testcase";
public static final String EXPECTED_NUMBER_OF_RESULTS = "expected_number_of_results";
public static final String EXPECTED_REPLACEMENTS = "expected_replacements";
public static final String EXPECTED_REPLACEMENT = "expected_replacement";
public static final String EXPECTED_RESULT2 = "result";
public static final String EXPECTED_OBJECT = "expected_object";
public static final String EXPECTED_RESULT = "expected_result";
public static final String ASSUMPTIONS = "assumptions";
// attributes
public static final String TYPE = "type";
public static final String CLASS = "class";
public static final String NAME = "name";
public static final String NAF = "naf";
public static final String CONNECTIVE = "connective";
public static final String KEY = "key";
public static final String VALUE = "value";
public static final String POLICY_TO_ADD_ASSUMPTIONS_TO_KB = "add2kb_policy";
//public static final String TESTCASE_TYPE = "type";
// other
public static final String OR = "or";
public static final String AND = "and";
public static final String COMPARATOR = "comparator";
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -