Package org.orekit.utils

Class AccurateFormatter

java.lang.Object

org.orekit.utils.AccurateFormatter

All Implemented Interfaces:

Formatter

public class AccurateFormatter
extends Object
implements Formatter

Formatter used to produce strings from data with high accuracy.

When producing test output from computed data, we want the shortest decimal representation of a floating point number that maintains round-trip safety. That is, a correct parser can recover the exact original number.

For efficiency, this class uses the Ryū algorithm for producing shortest string representation with round-trip safety.

Since:

11.0

Author:

Luc Maisonobe

Field Summary

Fields inherited from interface org.orekit.utils.Formatter

DATE_FORMAT, STANDARDIZED_LOCALE

Constructor Summary

Constructors

Constructor	Description
AccurateFormatter()	Public constructor.

Method Summary

Modifier and Type	Method	Description
String	toString(double value)	Formats to full accuracy.
String	toString(int year, int month, int day, int hour, int minute, double seconds)	Formats the seconds variable with maximum precision needed.
String	toString(DateTimeComponents dt)	Format date time components to make use of attosecond accuracy from TimeOffset.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AccurateFormatter

public AccurateFormatter()

Public constructor.

Method Details

toString

public String toString(double value)

Formats to full accuracy. Format a double number.

Specified by:

toString in interface Formatter

Parameters:

value - number to format

Returns:

number formatted.

toString

public String toString(int year,
 int month,
 int day,
 int hour,
 int minute,
 double seconds)

Formats the seconds variable with maximum precision needed. Format a date. Does not check if date time is real or if it will meet formating requirements.

Specified by:

toString in interface Formatter

Parameters:

year - of date to be formatted

month - of date to be formatted

day - of month to be formatted

hour - to be formatted

minute - to be formatted

seconds - and sub-seconds to be formatted

Returns:

date formatted to match the following format [yyyy-MM-ddTHH:mm:ss.S#]

toString

public String toString(DateTimeComponents dt)

Format date time components to make use of attosecond accuracy from TimeOffset. It relies on the DateTimeComponents.toStringWithoutUtcOffset() method to display date time.

Specified by:

toString in interface Formatter

Parameters:

dt - date time components to be formatted

Returns:

date formatted to match the following format [yyyy-MM-ddTHH:mm:ss.S#]

Since:

13.1.6