public void xdrDecode(XdrDecodingStream xdr)
{
spr_how = xdr.xdrDecodeInt();
switch ( spr_how ) {
case state_protect_how4.SP4_NONE:
break;
case state_protect_how4.SP4_MACH_CRED:
spr_mach_ops = new state_protect_ops4(xdr);
break;
case state_protect_how4.SP4_SSV:
spr_ssv_info = new ssv_prot_info4(xdr);
break;
}
}