visit_type.h

Go to the documentation of this file.

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.  See the License for the
 * specific language governing permissions and limitations
 * under the License.
 */
 
#pragma once
 
 
#include <utility>
 
#include "iceberg/compat/unreachable.h"
#include "iceberg/result.h"
#include "iceberg/type.h"
#include "iceberg/util/checked_cast.h"
#include "iceberg/util/visitor_generate.h"
 
namespace iceberg {
 
#define TYPE_VISIT_INLINE(TYPE_CLASS)                                   \
  case TYPE_CLASS##Type::kTypeId:                                       \
    return visitor->Visit(                                              \
        iceberg::internal::checked_cast<const TYPE_CLASS##Type&>(type), \
        std::forward<ARGS>(args)...);
 
 
template <typename VISITOR, typename... ARGS>
inline Status VisitTypeInline(const Type& type, VISITOR* visitor, ARGS&&... args) {
  switch (type.type_id()) {
    ICEBERG_GENERATE_FOR_ALL_TYPES(TYPE_VISIT_INLINE);
    default:
      break;
  }
  return NotImplemented("Type not implemented");
}
 
#undef TYPE_VISIT_INLINE
 
#define TYPE_VISIT_INLINE(TYPE_CLASS)                          \
  case TYPE_CLASS##Type::kTypeId:                              \
    return std::forward<VISITOR>(visitor)(                     \
        internal::checked_cast<const TYPE_CLASS##Type&>(type), \
        std::forward<ARGS>(args)...);
 
template <typename VISITOR, typename... ARGS>
inline auto VisitType(const Type& type, VISITOR&& visitor, ARGS&&... args)
    -> decltype(std::forward<VISITOR>(visitor)(type, args...)) {
  switch (type.type_id()) {
    ICEBERG_GENERATE_FOR_ALL_TYPES(TYPE_VISIT_INLINE);
    default:
      ::iceberg::unreachable();
  }
}
 
#undef TYPE_VISIT_INLINE
 
#define TYPE_ID_VISIT_INLINE(TYPE_CLASS)                              \
  case TYPE_CLASS##Type::kTypeId: {                                   \
    const TYPE_CLASS##Type* concrete_ptr = nullptr;                   \
    return visitor->Visit(concrete_ptr, std::forward<ARGS>(args)...); \
  }
 
template <typename VISITOR, typename... ARGS>
inline Status VisitTypeIdInline(TypeId id, VISITOR* visitor, ARGS&&... args) {
  switch (id) {
    ICEBERG_GENERATE_FOR_ALL_TYPES(TYPE_ID_VISIT_INLINE);
    default:
      break;
  }
  return NotImplemented("Type not implemented");
}
 
#undef TYPE_ID_VISIT_INLINE
 
template <typename VISITOR, typename... ARGS>
inline auto VisitTypeCategory(const Type& type, VISITOR* visitor, ARGS&&... args) {
#define SCHEMA_VISIT_ACTION(TYPE_CLASS)                      \
  return visitor->Visit##TYPE_CLASS(                         \
      internal::checked_cast<const TYPE_CLASS##Type&>(type), \
      std::forward<ARGS>(args)...);
 
  switch (type.type_id()) {
    ICEBERG_TYPE_SWITCH_WITH_PRIMITIVE_DEFAULT(SCHEMA_VISIT_ACTION)
  }
 
#undef SCHEMA_VISIT_ACTION
}
 
}  // namespace iceberg