public void xdrEncode(XdrEncodingStream xdr)
{
xdr.xdrEncodeInt(fss_type);
fss_source.xdrEncode(xdr);
fss_current.xdrEncode(xdr);
xdr.xdrEncodeInt(fss_age);
fss_version.xdrEncode(xdr);
}
public void xdrEncode(XdrEncodingStream xdr)
{
xdr.xdrEncodeBoolean(nt_timechanged);
if (nt_timechanged == true)
{
nt_time.xdrEncode(xdr);
}
}
public void xdrEncode(XdrEncodingStream xdr)
{
xdr.xdrEncodeInt(set_it);
switch (set_it)
{
case time_how4.SET_TO_CLIENT_TIME4:
time.xdrEncode(xdr);
break;
default:
break;
}
}
public void xdrEncode(XdrEncodingStream xdr)
{
value.xdrEncode(xdr);
}
public void xdrEncode(XdrEncodingStream xdr)
{
nii_domain.xdrEncode(xdr);
nii_name.xdrEncode(xdr);
nii_date.xdrEncode(xdr);
}