/** {@inheritDoc} */ protected void enterFunctor(Functor functor) { String showContextAs = interner.getFunctorName(functor) + (functor.isAtom() ? "" : "("); int delta = showContextAs.length(); addLineToRow(indent + showContextAs); nextRow(); indent = indenter.generateTraceIndent(delta); }