38 static char rcsid[] not_used = {
"$Id$"};
43 #include "InternalErr.h"
45 #include "WWWFloat64.h"
46 #include "WWWOutput.h"
47 #include "get_html_form.h"
49 using namespace dap_html_form;
51 WWWFloat64::WWWFloat64(
const string &n) : Float64(n)
56 WWWFloat64::ptr_duplicate()
62 WWWFloat64::print_val(FILE *os,
string,
bool )
64 write_simple_variable(os,
this);
68 WWWFloat64::print_val(ostream &strm,
string,
bool )
70 write_simple_variable(strm,
this);