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