decode method Null safety

XdrSCVmErrorCode decode(
  1. XdrDataInputStream stream
)

Implementation

static XdrSCVmErrorCode decode(XdrDataInputStream stream) {
  int value = stream.readInt();
  switch (value) {
    case 0:
      return VM_UNKNOWN;
    case 1:
      return VM_VALIDATION;
    case 2:
      return VM_INSTANTIATION;
    case 3:
      return VM_FUNCTION;
    case 4:
      return VM_TABLE;
    case 5:
      return VM_MEMORY;
    case 6:
      return VM_GLOBAL;
    case 7:
      return VM_VALUE;
    case 8:
      return VM_TRAP_UNREACHABLE;
    case 9:
      return VM_TRAP_MEMORY_ACCESS_OUT_OF_BOUNDS;
    case 10:
      return VM_TRAP_TABLE_ACCESS_OUT_OF_BOUNDS;
    case 11:
      return VM_TRAP_ELEM_UNINITIALIZED;
    case 12:
      return VM_TRAP_DIVISION_BY_ZERO;
    case 13:
      return VM_TRAP_INTEGER_OVERFLOW;
    case 14:
      return VM_TRAP_INVALID_CONVERSION_TO_INT;
    case 15:
      return VM_TRAP_STACK_OVERFLOW;
    case 16:
      return VM_TRAP_UNEXPECTED_SIGNATURE;
    case 17:
      return VM_TRAP_MEM_LIMIT_EXCEEDED;
    case 18:
      return VM_TRAP_CPU_LIMIT_EXCEEDED;
    default:
      throw Exception("Unknown enum value: $value");
  }
}