adapter4complexterms.java

Mandarax是一个规则引擎的纯Java实现。它支持多类型的事实和基于反映的规则

package org.mandarax.zkb.framework;

/**
 *  Copyright (C) 1999-2004  Jens Dietrich (mailto:[e-mail])
 *
 *  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
 */

import org.jdom.Element;
import org.mandarax.kernel.ComplexTerm;
import org.mandarax.kernel.Function;
import org.mandarax.kernel.LogicFactory;
import org.mandarax.kernel.Term;
import org.mandarax.zkb.ObjectPersistencyService;
import org.mandarax.zkb.ZKBException;

/**
 * An adapter class for complex terms.
 * @see org.mandarax.kernel.ComplexTerm
 * @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 class Adapter4ComplexTerms extends AbstractAdapter {
      public static final String TERMS = "terms";

/**
 * Export an object, i.e., convert it to an element in the DOM.
 * @param obj an object
 * @param driver the generic driver
 * @param ops the object persistency service
 * @exception a ZKBException is thrown if export fails
 */
public Element exportObject(Object obj,GenericDriver driver,ObjectPersistencyService ops) throws  ZKBException {
      check(obj,ComplexTerm.class);
      ComplexTerm term = (ComplexTerm)obj;
      Element e = new Element(COMPLEX_TERM);
      this.setTypeAttribute(e,term);
      // add predicate
      Function f = term.getFunction();
      Element ef = exportObject(f,FUNCTION,driver,ops);
      e.addContent(ef);
      // add terms
      Term[] terms = term.getTerms();
      Element eTerms = new Element(TERMS);
      e.addContent(eTerms);
      for (int i=0;i<terms.length;i++) {
            Element et = exportObject(terms[i],getTermType(terms[i]),driver,ops);
            eTerms.addContent(et);
      }
      return e;
}
/**
 * Get the type of the term, e.g. GenericDriver.COMPLEX_TERM or GenericDriver.VARIABLE_TERM.
 * @param t a term
 * @return a string
 */
private String getTermType(Term t) {
      if (t instanceof org.mandarax.kernel.VariableTerm) return VARIABLE_TERM;
      if (t instanceof org.mandarax.kernel.ConstantTerm) return CONSTANT_TERM;
      if (t instanceof org.mandarax.kernel.ComplexTerm) return COMPLEX_TERM;
      return null;
}
/**
 * Build an object from an XML element.
 * @param e an element
 * @param driver the generic driver
 * @param ops the object persistency service
 * @param lfactory the logic factory used to create objects
 * @exception a ZKBException is thrown if import fails
 */
public Object importObject(Element e,GenericDriver driver,ObjectPersistencyService ops,LogicFactory lfactory) throws ZKBException {
       // the first element is functions
       Element eFunction = (Element)e.getChildren().get(0);
       Adapter adapter = driver.getAdapter(eFunction.getName());
       Function function = (Function)adapter.importObject(eFunction,driver,ops,lfactory);
       // get the terms
       Element eTerm = (Element)e.getChild(TERMS);
       Term[] terms = (Term[])importChildren(eTerm,null,driver,ops,lfactory,Term.class);
       return lfactory.createComplexTerm(function,terms);

}
/**
 * Get the name of the associated tag (element).
 * @return a string
 */
public String getTagName() {
      return COMPLEX_TERM;
}
/**
 * Print the DTD associated with this adapter on a string buffer.
 * @param out the buffer to print on. 
 */
public void printDTD(StringBuffer out) {
	out.append("<!ELEMENT complex_term (function,terms)>\n");
	out.append("<!ATTLIST complex_term type CDATA #IMPLIED>\n");
	
}

}