write_double

Description:

public void write_double (double value)

Writes value as content of the current element.

Parameters:

this

an XmlDocument
value

value to write as the content