def MPI_Group_free(context, args): group_ptr = args[0] group_id = context.controller.read_int(group_ptr) group = check.check_and_get_group(context, group_id, 1) context.state.remove_group(group) context.controller.write_int(group_ptr, consts.MPI_GROUP_NULL) return False
def convert(cls, value, arg_position, context): return check.check_and_get_group(context, value, arg_position)