Implementation
static void encode(XdrDataOutputStream stream, XdrSCSpecUDTEnumV0 encoded) {
int libSize = encoded.lib.length;
stream.writeInt(libSize);
for (int i = 0; i < libSize; i++) {
stream.writeString(encoded.lib[i]);
}
int nameSize = encoded.name.length;
stream.writeInt(nameSize);
for (int i = 0; i < nameSize; i++) {
stream.writeString(encoded.name[i]);
}
int casesSize = encoded.cases.length;
stream.writeInt(casesSize);
for (int i = 0; i < casesSize; i++) {
XdrSCSpecUDTEnumCaseV0.encode(stream, encoded.cases[i]);
}
}