caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[clang-doc] Precommit concept tests (#144160)

Browse Source
This commit is contained in:
Erick Velez
2025-06-20 16:38:20 -07:00
committed by GitHub
parent 6b9fe9e0bc
commit 2dfcc4375f
3 changed files with 150 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
clang-tools-extra/test/clang-doc/json/class-requires.cpp Normal file
View File

@@ -0,0 +1,34 @@
// RUN: rm -rf %t && mkdir -p %t
// RUN: clang-doc --extra-arg -std=c++20 --output=%t --format=json --executor=standalone %s
// RUN: FileCheck %s < %t/GlobalNamespace/MyClass.json
template<typename T>
concept Addable = requires(T a, T b) {
{ a + b };
};
template<typename T>
requires Addable<T>
struct MyClass;
// CHECK: "Name": "MyClass",
// CHECK-NEXT: "Namespace": [
// CHECK-NEXT: "GlobalNamespace"
// CHECK-NEXT: ],
// CHECK-NEXT: "Path": "GlobalNamespace",
// CHECK-NEXT: "TagType": "struct",
// CHECK-NEXT: "Template": {
// CHECK-NOT: "Constraints": [
// CHECK-NOT: {
// CHECK-NOT: "Expression": "Addable<T>",
// CHECK-NOT: "Name": "Addable",
// CHECK-NOT: "Path": "",
// CHECK-NOT: "QualName": "Addable",
// CHECK-NOT: "USR": "{{[0-9A-F]*}}"
// CHECK-NOT: }
// CHECK-NOT: ],
// CHECK-NEXT: "Parameters": [
// CHECK-NEXT: "typename T"
// CHECK-NEXT: ]
// CHECK-NEXT: },
// CHECK-NEXT: "USR": "{{[0-9A-F]*}}"

37
clang-tools-extra/test/clang-doc/json/concept.cpp Normal file
View File

@@ -0,0 +1,37 @@
// RUN: rm -rf %t && mkdir -p %t
// RUN: clang-doc --extra-arg -std=c++20 --output=%t --format=json --executor=standalone %s
// Requires that T suports post and pre-incrementing.
template<typename T>
concept Incrementable = requires(T x) {
++x;
x++;
};
// CHECK: {
// CHECK-NOT: "Concepts": [
// CHECK-NOT: {
// CHECK-NOT: "ConstraintExpression": "requires (T x) { ++x; x++; }",
// CHECK-NOT: "Description": [
// CHECK-NOT: {
// CHECK-NOT: "FullComment": {
// CHECK-NOT: "Children": [
// CHECK-NOT: {
// CHECK-NOT: "ParagraphComment": {
// CHECK-NOT: "Children": [
// CHECK-NOT: {
// CHECK-NOT: "TextComment": " Requires that T suports post and pre-incrementing."
// CHECK-NOT: ],
// CHECK-NOT: "IsType": true,
// CHECK-NOT: "Name": "Incrementable",
// CHECK-NOT: "Template": {
// CHECK-NOT: "Parameters": [
// CHECK-NOT: "typename T"
// CHECK-NOT: ]
// CHECK-NOT: },
// CHECK-NOT: "USR": "{{[0-9A-F]*}}"
// CHECK-NOT: }
// CHECK-NOT: ],
// CHECK: "Name": "",
// CHECK: "USR": "0000000000000000000000000000000000000000"
// CHECK: }

79
clang-tools-extra/test/clang-doc/json/function-requires.cpp Normal file
View File

@@ -0,0 +1,79 @@
// RUN: rm -rf %t && mkdir -p %t
// RUN: clang-doc --extra-arg -std=c++20 --output=%t --format=json --executor=standalone %s
// RUN: FileCheck %s < %t/GlobalNamespace/index.json
template<typename T>
concept Incrementable = requires(T x) {
++x;
x++;
};
template<typename T> void increment(T t) requires Incrementable<T>;
template<Incrementable T> Incrementable auto incrementTwo(T t);
// CHECK: "Functions": [
// CHECK-NEXT: {
// CHECK-NEXT: "IsStatic": false,
// CHECK-NEXT: "Name": "increment",
// CHECK-NEXT: "Params": [
// CHECK-NEXT: {
// CHECK-NEXT: "Name": "t",
// CHECK-NEXT: "Type": "T"
// CHECK-NEXT: }
// CHECK-NEXT: ],
// CHECK-NEXT: "ReturnType": {
// CHECK-NEXT: "IsBuiltIn": false,
// CHECK-NEXT: "IsTemplate": false,
// CHECK-NEXT: "Name": "void",
// CHECK-NEXT: "QualName": "void",
// CHECK-NEXT: "USR": "0000000000000000000000000000000000000000"
// CHECK-NEXT: },
// CHECK-NEXT: "Template": {
// CHECK-NOT: "Constraints": [
// CHECK-NOT: {
// CHECK-NOT: "Expression": "Incrementable<T>",
// CHECK-NOT: "Name": "Incrementable",
// CHECK-NOT: "Path": "",
// CHECK-NOT: "QualName": "Incrementable",
// CHECK-NOT: "USR": "{{[0-9A-F]*}}"
// CHECK-NOT: }
// CHECK-NOT: ],
// CHECK-NEXT: "Parameters": [
// CHECK-NEXT: "typename T"
// CHECK-NEXT: ]
// CHECK-NEXT: },
// CHECK-NEXT: "USR": "{{[0-9A-F]*}}"
// CHECK-NEXT: },
// CHECK-NEXT: {
// CHECK-NEXT: "IsStatic": false,
// CHECK-NEXT: "Name": "incrementTwo",
// CHECK-NEXT: "Params": [
// CHECK-NEXT: {
// CHECK-NEXT: "Name": "t",
// CHECK-NEXT: "Type": "T"
// CHECK-NEXT: }
// CHECK-NEXT: ],
// CHECK-NEXT: "ReturnType": {
// CHECK-NEXT: "IsBuiltIn": false,
// CHECK-NEXT: "IsTemplate": false,
// CHECK-NEXT: "Name": "Incrementable auto",
// CHECK-NEXT: "QualName": "Incrementable auto",
// CHECK-NEXT: "USR": "0000000000000000000000000000000000000000"
// CHECK-NEXT: },
// CHECK-NEXT: "Template": {
// CHECK-NOT: "Constraints": [
// CHECK-NOT: {
// CHECK-NOT: "Expression": "Incrementable<T>",
// CHECK-NOT: "Name": "Incrementable",
// CHECK-NOT: "Path": "",
// CHECK-NOT: "QualName": "Incrementable",
// CHECK-NOT: "USR": "{{[0-9A-F]*}}"
// CHECK-NOT: }
// CHECK-NOT: ],
// CHECK-NEXT: "Parameters": [
// CHECK-NEXT: "Incrementable T"
// CHECK-NEXT: ]
// CHECK-NEXT: },
// CHECK-NEXT: "USR": "{{[0-9A-F]*}}"
// CHECK-NEXT: }