encode method Null safety
- XdrDataOutputStream stream,
- XdrConfigSetting encoded
Implementation
static void encode(XdrDataOutputStream stream, XdrConfigSetting encoded) {
stream.writeInt(encoded.discriminant.value);
switch (encoded.discriminant) {
case XdrConfigSettingType.CONFIG_SETTING_TYPE_UINT32:
XdrUint32.encode(stream, encoded.uint32Val);
break;
}
}