|
|
|
// Protocol Buffers - Google's data interchange format
|
|
|
|
// Copyright 2023 Google LLC. All rights reserved.
|
|
|
|
//
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file or at
|
|
|
|
// https://developers.google.com/open-source/licenses/bsd
|
|
|
|
|
|
|
|
#include "google/protobuf/compiler/hpb/names.h"
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
#include "absl/strings/string_view.h"
|
Created proper `names.h` headers for all upb generators.
The goal of the `names.h` convention is to have a single canonical place where a code generator can define the set of symbols it exports to other code generators, and a canonical place where the name mangling logic is implemented.
Each upb code generator now has its own `names.h` file defining the symbols that it owns & exports:
* `third_party/upb/upb_generator/c/names.h` (for `foo.upb.h` files)
* `third_party/upb/upb_generator/minitable/names.h` (for `foo.upb_minitable.h` files)
* `third_party/upb/upb_generator/reflection/names.h` (for `foo.upbdefs.h` files)
This is a significant improvement over the previous situation where the name mangling functions were co-mingled in `common.h`/`mangle.h`, or sprinkled throughout the generators, with no clear structure for which code generator owns which symbols.
With this structure in place, the visibility lists for the various `names.h` files provide a clear dependency graph for how different generators depend on each other. In general, we want to keep dependencies on the "C" code generator to a minimum, since it is the largest and most complicated of upb's generated APIs, and is also the most prone to symbol name clashes.
Note that upb's `names.h` headers are somewhat unusual, in that we do not want them to depend on C++'s reflection or upb's reflection. Most `names.h` headers in protobuf would use types like `proto2::Descriptor`, but we don't want upb to depend on C++ reflection, especially during its bootstrapping process. We also don't want to force users to build upb defs just to use these name mangling functions. So we use only plain string types like `absl::string_view` and `std::string`.
PiperOrigin-RevId: 672397247
3 months ago
|
|
|
#include "google/protobuf/compiler/code_generator.h"
|
|
|
|
#include "google/protobuf/compiler/hpb/context.h"
|
|
|
|
#include "google/protobuf/compiler/hpb/keywords.h"
|
|
|
|
|
|
|
|
namespace google::protobuf::hpb_generator {
|
|
|
|
namespace protobuf = ::proto2;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
// TODO: b/346865271 append ::hpb instead of ::protos after namespace swap
|
|
|
|
std::string NamespaceFromPackageName(absl::string_view package_name) {
|
|
|
|
return absl::StrCat(absl::StrReplaceAll(package_name, {{".", "::"}}),
|
|
|
|
"::protos");
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string DotsToColons(const absl::string_view name) {
|
|
|
|
return absl::StrReplaceAll(name, {{".", "::"}});
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string Namespace(const absl::string_view package) {
|
|
|
|
if (package.empty()) return "";
|
|
|
|
return "::" + DotsToColons(package);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return the qualified C++ name for a file level symbol.
|
|
|
|
std::string QualifiedFileLevelSymbol(const protobuf::FileDescriptor* file,
|
|
|
|
const std::string& name) {
|
|
|
|
if (file->package().empty()) {
|
|
|
|
return absl::StrCat("::", name);
|
|
|
|
}
|
|
|
|
// Append ::protos postfix to package name.
|
|
|
|
return absl::StrCat(Namespace(file->package()), "::protos::", name);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string CppTypeInternal(const protobuf::FieldDescriptor* field,
|
|
|
|
bool is_const, bool is_type_parameter) {
|
|
|
|
std::string maybe_const = is_const ? "const " : "";
|
|
|
|
switch (field->cpp_type()) {
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_MESSAGE: {
|
|
|
|
if (is_type_parameter) {
|
|
|
|
return absl::StrCat(maybe_const,
|
|
|
|
QualifiedClassName(field->message_type()));
|
|
|
|
} else {
|
|
|
|
return absl::StrCat(maybe_const,
|
|
|
|
QualifiedClassName(field->message_type()), "*");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_BOOL:
|
|
|
|
return "bool";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_FLOAT:
|
|
|
|
return "float";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_INT32:
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_ENUM:
|
|
|
|
return "int32_t";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_UINT32:
|
|
|
|
return "uint32_t";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_DOUBLE:
|
|
|
|
return "double";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_INT64:
|
|
|
|
return "int64_t";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_UINT64:
|
|
|
|
return "uint64_t";
|
|
|
|
case protobuf::FieldDescriptor::CPPTYPE_STRING:
|
|
|
|
return "absl::string_view";
|
|
|
|
default:
|
|
|
|
ABSL_LOG(FATAL) << "Unexpected type: " << field->cpp_type();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
std::string ClassName(const protobuf::Descriptor* descriptor) {
|
|
|
|
const protobuf::Descriptor* parent = descriptor->containing_type();
|
|
|
|
std::string res;
|
|
|
|
// Classes in global namespace without package names are prefixed
|
|
|
|
// by hpb_ to avoid collision with C compiler structs defined in
|
|
|
|
// proto.upb.h.
|
|
|
|
if ((parent && parent->file()->package().empty()) ||
|
|
|
|
descriptor->file()->package().empty()) {
|
|
|
|
res = std::string(kNoPackageNamePrefix);
|
|
|
|
}
|
|
|
|
if (parent) res += ClassName(parent) + "_";
|
|
|
|
absl::StrAppend(&res, descriptor->name());
|
|
|
|
return ResolveKeywordConflict(res);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string QualifiedClassName(const protobuf::Descriptor* descriptor) {
|
|
|
|
return QualifiedFileLevelSymbol(descriptor->file(), ClassName(descriptor));
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string QualifiedInternalClassName(const protobuf::Descriptor* descriptor) {
|
|
|
|
return QualifiedFileLevelSymbol(
|
|
|
|
descriptor->file(), absl::StrCat("internal::", ClassName(descriptor)));
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string CppSourceFilename(const google::protobuf::FileDescriptor* file) {
|
Created proper `names.h` headers for all upb generators.
The goal of the `names.h` convention is to have a single canonical place where a code generator can define the set of symbols it exports to other code generators, and a canonical place where the name mangling logic is implemented.
Each upb code generator now has its own `names.h` file defining the symbols that it owns & exports:
* `third_party/upb/upb_generator/c/names.h` (for `foo.upb.h` files)
* `third_party/upb/upb_generator/minitable/names.h` (for `foo.upb_minitable.h` files)
* `third_party/upb/upb_generator/reflection/names.h` (for `foo.upbdefs.h` files)
This is a significant improvement over the previous situation where the name mangling functions were co-mingled in `common.h`/`mangle.h`, or sprinkled throughout the generators, with no clear structure for which code generator owns which symbols.
With this structure in place, the visibility lists for the various `names.h` files provide a clear dependency graph for how different generators depend on each other. In general, we want to keep dependencies on the "C" code generator to a minimum, since it is the largest and most complicated of upb's generated APIs, and is also the most prone to symbol name clashes.
Note that upb's `names.h` headers are somewhat unusual, in that we do not want them to depend on C++'s reflection or upb's reflection. Most `names.h` headers in protobuf would use types like `proto2::Descriptor`, but we don't want upb to depend on C++ reflection, especially during its bootstrapping process. We also don't want to force users to build upb defs just to use these name mangling functions. So we use only plain string types like `absl::string_view` and `std::string`.
PiperOrigin-RevId: 672397247
3 months ago
|
|
|
return compiler::StripProto(file->name()) + ".upb.proto.cc";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string ForwardingHeaderFilename(const google::protobuf::FileDescriptor* file) {
|
Created proper `names.h` headers for all upb generators.
The goal of the `names.h` convention is to have a single canonical place where a code generator can define the set of symbols it exports to other code generators, and a canonical place where the name mangling logic is implemented.
Each upb code generator now has its own `names.h` file defining the symbols that it owns & exports:
* `third_party/upb/upb_generator/c/names.h` (for `foo.upb.h` files)
* `third_party/upb/upb_generator/minitable/names.h` (for `foo.upb_minitable.h` files)
* `third_party/upb/upb_generator/reflection/names.h` (for `foo.upbdefs.h` files)
This is a significant improvement over the previous situation where the name mangling functions were co-mingled in `common.h`/`mangle.h`, or sprinkled throughout the generators, with no clear structure for which code generator owns which symbols.
With this structure in place, the visibility lists for the various `names.h` files provide a clear dependency graph for how different generators depend on each other. In general, we want to keep dependencies on the "C" code generator to a minimum, since it is the largest and most complicated of upb's generated APIs, and is also the most prone to symbol name clashes.
Note that upb's `names.h` headers are somewhat unusual, in that we do not want them to depend on C++'s reflection or upb's reflection. Most `names.h` headers in protobuf would use types like `proto2::Descriptor`, but we don't want upb to depend on C++ reflection, especially during its bootstrapping process. We also don't want to force users to build upb defs just to use these name mangling functions. So we use only plain string types like `absl::string_view` and `std::string`.
PiperOrigin-RevId: 672397247
3 months ago
|
|
|
return compiler::StripProto(file->name()) + ".upb.fwd.h";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string UpbCFilename(const google::protobuf::FileDescriptor* file) {
|
Created proper `names.h` headers for all upb generators.
The goal of the `names.h` convention is to have a single canonical place where a code generator can define the set of symbols it exports to other code generators, and a canonical place where the name mangling logic is implemented.
Each upb code generator now has its own `names.h` file defining the symbols that it owns & exports:
* `third_party/upb/upb_generator/c/names.h` (for `foo.upb.h` files)
* `third_party/upb/upb_generator/minitable/names.h` (for `foo.upb_minitable.h` files)
* `third_party/upb/upb_generator/reflection/names.h` (for `foo.upbdefs.h` files)
This is a significant improvement over the previous situation where the name mangling functions were co-mingled in `common.h`/`mangle.h`, or sprinkled throughout the generators, with no clear structure for which code generator owns which symbols.
With this structure in place, the visibility lists for the various `names.h` files provide a clear dependency graph for how different generators depend on each other. In general, we want to keep dependencies on the "C" code generator to a minimum, since it is the largest and most complicated of upb's generated APIs, and is also the most prone to symbol name clashes.
Note that upb's `names.h` headers are somewhat unusual, in that we do not want them to depend on C++'s reflection or upb's reflection. Most `names.h` headers in protobuf would use types like `proto2::Descriptor`, but we don't want upb to depend on C++ reflection, especially during its bootstrapping process. We also don't want to force users to build upb defs just to use these name mangling functions. So we use only plain string types like `absl::string_view` and `std::string`.
PiperOrigin-RevId: 672397247
3 months ago
|
|
|
return compiler::StripProto(file->name()) + ".upb.h";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string CppHeaderFilename(const google::protobuf::FileDescriptor* file) {
|
Created proper `names.h` headers for all upb generators.
The goal of the `names.h` convention is to have a single canonical place where a code generator can define the set of symbols it exports to other code generators, and a canonical place where the name mangling logic is implemented.
Each upb code generator now has its own `names.h` file defining the symbols that it owns & exports:
* `third_party/upb/upb_generator/c/names.h` (for `foo.upb.h` files)
* `third_party/upb/upb_generator/minitable/names.h` (for `foo.upb_minitable.h` files)
* `third_party/upb/upb_generator/reflection/names.h` (for `foo.upbdefs.h` files)
This is a significant improvement over the previous situation where the name mangling functions were co-mingled in `common.h`/`mangle.h`, or sprinkled throughout the generators, with no clear structure for which code generator owns which symbols.
With this structure in place, the visibility lists for the various `names.h` files provide a clear dependency graph for how different generators depend on each other. In general, we want to keep dependencies on the "C" code generator to a minimum, since it is the largest and most complicated of upb's generated APIs, and is also the most prone to symbol name clashes.
Note that upb's `names.h` headers are somewhat unusual, in that we do not want them to depend on C++'s reflection or upb's reflection. Most `names.h` headers in protobuf would use types like `proto2::Descriptor`, but we don't want upb to depend on C++ reflection, especially during its bootstrapping process. We also don't want to force users to build upb defs just to use these name mangling functions. So we use only plain string types like `absl::string_view` and `std::string`.
PiperOrigin-RevId: 672397247
3 months ago
|
|
|
return compiler::StripProto(file->name()) + ".upb.proto.h";
|
|
|
|
}
|
|
|
|
|
|
|
|
void WriteStartNamespace(const protobuf::FileDescriptor* file, Context& ctx) {
|
|
|
|
// Skip namespace generation if package name is not specified.
|
|
|
|
if (file->package().empty()) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx.EmitLegacy("namespace $0 {\n\n",
|
|
|
|
NamespaceFromPackageName(file->package()));
|
|
|
|
}
|
|
|
|
|
|
|
|
void WriteEndNamespace(const protobuf::FileDescriptor* file, Context& ctx) {
|
|
|
|
if (file->package().empty()) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
ctx.EmitLegacy("} // namespace $0\n\n",
|
|
|
|
NamespaceFromPackageName(file->package()));
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string CppConstType(const protobuf::FieldDescriptor* field) {
|
|
|
|
return CppTypeInternal(field, /* is_const= */ true,
|
|
|
|
/* is_type_parameter= */ false);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string CppTypeParameterName(const protobuf::FieldDescriptor* field) {
|
|
|
|
return CppTypeInternal(field, /* is_const= */ false,
|
|
|
|
/* is_type_parameter= */ true);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string MessageBaseType(const protobuf::FieldDescriptor* field,
|
|
|
|
bool is_const) {
|
|
|
|
ABSL_DCHECK(field->cpp_type() == protobuf::FieldDescriptor::CPPTYPE_MESSAGE);
|
|
|
|
std::string maybe_const = is_const ? "const " : "";
|
|
|
|
return maybe_const + QualifiedClassName(field->message_type());
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string MessagePtrConstType(const protobuf::FieldDescriptor* field,
|
|
|
|
bool is_const) {
|
|
|
|
ABSL_DCHECK(field->cpp_type() == protobuf::FieldDescriptor::CPPTYPE_MESSAGE);
|
|
|
|
std::string maybe_const = is_const ? "const " : "";
|
|
|
|
return "::hpb::Ptr<" + maybe_const +
|
|
|
|
QualifiedClassName(field->message_type()) + ">";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string MessageCProxyType(const protobuf::FieldDescriptor* field,
|
|
|
|
bool is_const) {
|
|
|
|
ABSL_DCHECK(field->cpp_type() == protobuf::FieldDescriptor::CPPTYPE_MESSAGE);
|
|
|
|
std::string maybe_const = is_const ? "const " : "";
|
|
|
|
return maybe_const + QualifiedInternalClassName(field->message_type()) +
|
|
|
|
"CProxy";
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string MessageProxyType(const protobuf::FieldDescriptor* field,
|
|
|
|
bool is_const) {
|
|
|
|
ABSL_DCHECK(field->cpp_type() == protobuf::FieldDescriptor::CPPTYPE_MESSAGE);
|
|
|
|
std::string maybe_const = is_const ? "const " : "";
|
|
|
|
return maybe_const + QualifiedInternalClassName(field->message_type()) +
|
|
|
|
"Proxy";
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace protobuf
|
|
|
|
} // namespace google::hpb_generator
|