/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }
/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }
/** {@inheritDoc} */ public Functor acceptTransformer(TermTransformer transformer) { Functor result; if (transformer instanceof FunctorTransformer) { result = ((FunctorTransformer) transformer).transform(this); } else { result = (Functor) super.acceptTransformer(transformer); } if (arguments != null) { for (int i = 0; i < arguments.length; i++) { result.arguments[i] = arguments[i].acceptTransformer(transformer); } } return result; }
/** {@inheritDoc} */ public Functor acceptTransformer(TermTransformer transformer) { Functor result; if (transformer instanceof FunctorTransformer) { result = ((FunctorTransformer) transformer).transform(this); } else { result = (Functor) super.acceptTransformer(transformer); } if (arguments != null) { for (int i = 0; i < arguments.length; i++) { result.arguments[i] = arguments[i].acceptTransformer(transformer); } } return result; }
/** {@inheritDoc} */ public Clause acceptTransformer(TermTransformer transformer) { Clause result; if (transformer instanceof ClauseTransformer) { result = ((ClauseTransformer) transformer).transform(this); } else { result = (Clause) super.acceptTransformer(transformer); } if (head != null) { result.head = (Functor) head.acceptTransformer(transformer); } if (body != null) { for (int i = 0; i < body.length; i++) { result.body[i] = (Functor) body[i].acceptTransformer(transformer); } } return result; }
/** {@inheritDoc} */ public Clause acceptTransformer(TermTransformer transformer) { Clause result; if (transformer instanceof ClauseTransformer) { result = ((ClauseTransformer) transformer).transform(this); } else { result = (Clause) super.acceptTransformer(transformer); } if (head != null) { result.head = (Functor) head.acceptTransformer(transformer); } if (body != null) { for (int i = 0; i < body.length; i++) { result.body[i] = (Functor) body[i].acceptTransformer(transformer); } } return result; }