private String listToString ( VariableAndFunctorInterner interner , boolean isFirst , boolean printVarName , boolean printBindings ) { String result = "" ; if ( isFirst ) { result += "[" ; } result += arguments [ 0 ] . toString ( interner , printVarName , printBindings ) ; Term consArgument = arguments [ 1 ] . getValue ( ) ; if ( consArgument instanceof Cons ) { result += ", " + ( ( Cons ) consArgument ) . listToString ( interner , false , printVarName , printBindings ) ; } if ( isFirst ) { result += "]" ; } return result ; }
Pretty prints a term relative to the symbol namings provided by the specified interner .