protected void enterFunctor(Functor functor)
    {
        String head = traverser.isInHead() ? "/head" : "";
        String last = traverser.isLastBodyFunctor() ? "/last" : "";
        String symKey = functor.getSymbolKey().toString();

        if (traverser.isTopLevel())
        {
            addLineToRow("functor(" + symKey + ")" + head + last);
        }
        else
        {
            addLineToRow("arg(" + symKey + ")");
        }

        nextRow();
    }
protected void enterFunctor(Functor functor)
    {
        String head = traverser.isInHead() ? "/head" : "";
        String last = traverser.isLastBodyFunctor() ? "/last" : "";
        String symKey = functor.getSymbolKey().toString();

        if (traverser.isTopLevel())
        {
            addLineToRow("functor(" + symKey + ")" + head + last);
        }
        else
        {
            addLineToRow("arg(" + symKey + ")");
        }

        nextRow();
    }
protected void enterFunctor ( Functor functor ) { String head = traverser . isInHead ( ) ? "/head" : "" ; String last = traverser . isLastBodyFunctor ( ) ? "/last" : "" ; String symKey = functor . getSymbolKey ( ) . toString ( ) ; if ( traverser . isTopLevel ( ) ) { addLineToRow ( "functor(" + symKey + ")" + head + last ) ; } else { addLineToRow ( "arg(" + symKey + ")" ) ; } nextRow ( ) ; }
{@inheritDoc}
{