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