blob: 4a3c621d0e0d25f16137ab16ddc58f6d1feec385 [file] [log] [blame]
// Copyright 2022 Google LLC
//
// Licensed 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.
#ifndef FUZZTEST_FUZZTEST_DOMAIN_H_
#define FUZZTEST_FUZZTEST_DOMAIN_H_
#include "./fuzztest/domain_core.h"
#include "./fuzztest/internal/domains/in_regexp_impl.h"
#include "./fuzztest/internal/domains/protobuf_domain_impl.h"
namespace fuzztest {
// This namespace is here only as a way to disable ADL (argument-dependent
// lookup). Names should be used from the fuzztest:: namespace.
namespace internal_no_adl {
// InRegexp(regexp) represents strings that are sentences of a given regular
// expression `regexp`. The regular expression can use any syntax accepted by
// RE2 (https://github.com/google/re2/wiki/Syntax).
//
// Example usage:
//
// InRegexp("[0-9]{4}-[0-9]{2}-[0-9]{2}") // Date-like strings.
//
inline auto InRegexp(std::string_view regex) {
return internal::InRegexpImpl(regex);
}
// ProtobufOf(std::function<const Message*()> get_prototype) creates a
// unique_ptr<Message> domain for the protobuf prototype (the default protobuf
// message) returned by `get_prototype()`.
//
// REQUIRES: `get_prototype` never returns nullptr.
//
// Example usage:
//
// const Message* GetPrototypeMessage() {
// const std::string name = GetPrototypeNameFromFlags();
// const Descriptor* descriptor =
// DescriptorPool::generated_pool()->FindMessageTypeByName(name);
// return MessageFactory::generated_factory()->GetPrototype(descriptor);
// }
//
// ProtobufOf(GetPrototypeMessage)
template <typename PrototypeMessageProvider,
typename T = std::remove_cv_t<std::remove_pointer_t<
decltype(std::declval<PrototypeMessageProvider>()())>>>
auto ProtobufOf(PrototypeMessageProvider get_prototype) {
if constexpr (std::is_abstract_v<T>) { // T = Message
return Domain<std::unique_ptr<T>>(internal::ProtobufDomainUntypedImpl<T>(
fuzztest::internal::PrototypePtr<T>(get_prototype),
/*use_lazy_initialization=*/false));
} else { // T is derived class of Message
using Message = typename T::Message;
return Domain<std::unique_ptr<Message>>(
internal::ProtobufDomainUntypedImpl<Message>(
fuzztest::internal::PrototypePtr<Message>(get_prototype),
/*use_lazy_initialization=*/false));
}
}
} // namespace internal_no_adl
// Inject the names from internal_no_adl into fuzztest, without allowing for
// ADL. Note that an `inline` namespace would not have this effect (ie it would
// still allow ADL to trigger).
using namespace internal_no_adl; // NOLINT
} // namespace fuzztest
#endif // FUZZTEST_FUZZTEST_DOMAIN_H_