change_prefix_int method

Result<IPAddress, String> change_prefix_int(
  1. int num
)

Implementation

Result<IPAddress, String> change_prefix_int(int num) {
  final prefix = this.prefix.from(num);
  if (prefix.isFailure) {
    return Result.error(prefix.error);
  }
  // print("change_prefix_int:${num}:${prefix.unwrap().num}:${prefix.unwrap().net_mask}");
  return Result.ok(this.from(this.host_address, prefix.value));
}