/**
* This method returns a string representation of the current object. The output is only for
* debugging purposes and should not be used for other purposes.
*
* @return A string presentation of this object for debugging output.
* @preconditions
* @postconditions (result <> null)
*/
public String toString() {
StringBuffer buffer = new StringBuffer(1024);
buffer.append(super.toString());
buffer.append(Constants.NEWLINE);
buffer.append(Constants.INDENT);
buffer.append("Value (hex): ");
buffer.append(value_.toString());
return buffer.toString();
}