protected void enterFunctor(Functor functor)
    {
        String showContextAs = interner.getFunctorName(functor) + (functor.isAtom() ? "" : "(");

        int delta = showContextAs.length();

        addLineToRow(indent + showContextAs);
        nextRow();

        indent = indenter.generateTraceIndent(delta);
    }
protected void enterFunctor(Functor functor)
    {
        String showContextAs = interner.getFunctorName(functor) + (functor.isAtom() ? "" : "(");

        int delta = showContextAs.length();

        addLineToRow(indent + showContextAs);
        nextRow();

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