get_double_value


Description:

public double get_double_value ()

Retrieves the floating point value of the current position of the reader.

See also: [method@Json.Reader.get_value]

Parameters:

this

a reader

Returns:

the floating point value