clang 20.0.0git
Mutations.cpp
Go to the documentation of this file.
1//===- Mutations.cpp ------------------------------------------*- C++ -*-=====//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
9#include "clang/Basic/LLVM.h"
11#include "clang/Lex/Token.h"
17#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/STLExtras.h"
19#include "llvm/Support/Casting.h"
20#include <cassert>
21#include <string>
22
23using namespace clang;
24
25// This class has access to the internals of tree nodes. Its sole purpose is to
26// define helpers that allow implementing the high-level mutation operations.
28public:
29 /// Add a new node with a specified role.
30 static void addAfter(syntax::Node *Anchor, syntax::Node *New, NodeRole Role) {
31 assert(Anchor != nullptr);
32 assert(Anchor->Parent != nullptr);
33 assert(New->Parent == nullptr);
34 assert(New->NextSibling == nullptr);
35 assert(New->PreviousSibling == nullptr);
36 assert(New->isDetached());
37 assert(Role != NodeRole::Detached);
38
39 New->setRole(Role);
40 auto *P = Anchor->getParent();
41 P->replaceChildRangeLowLevel(Anchor->getNextSibling(),
42 Anchor->getNextSibling(), New);
43
44 P->assertInvariants();
45 }
46
47 /// Replace the node, keeping the role.
48 static void replace(syntax::Node *Old, syntax::Node *New) {
49 assert(Old != nullptr);
50 assert(Old->Parent != nullptr);
51 assert(Old->canModify());
52 assert(New->Parent == nullptr);
53 assert(New->NextSibling == nullptr);
54 assert(New->PreviousSibling == nullptr);
55 assert(New->isDetached());
56
57 New->Role = Old->Role;
58 auto *P = Old->getParent();
59 P->replaceChildRangeLowLevel(Old, Old->getNextSibling(), New);
60
61 P->assertInvariants();
62 }
63
64 /// Completely remove the node from its parent.
65 static void remove(syntax::Node *N) {
66 assert(N != nullptr);
67 assert(N->Parent != nullptr);
68 assert(N->canModify());
69
70 auto *P = N->getParent();
71 P->replaceChildRangeLowLevel(N, N->getNextSibling(),
72 /*New=*/nullptr);
73
74 P->assertInvariants();
76 }
77};
78
81 assert(S);
82 assert(S->canModify());
83
84 if (isa<CompoundStatement>(S->getParent())) {
85 // A child of CompoundStatement can just be safely removed.
86 MutationsImpl::remove(S);
87 return;
88 }
89 // For the rest, we have to replace with an empty statement.
90 if (isa<EmptyStatement>(S))
91 return; // already an empty statement, nothing to do.
92
93 MutationsImpl::replace(S, createEmptyStatement(A, TBTM));
94}
StringRef P
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::SourceLocation class and associated facilities.
A memory arena for syntax trees.
Definition: Tree.h:36
A node in a syntax tree.
Definition: Tree.h:54
void assertInvariants() const
Asserts invariants on this node of the tree and its immediate children.
Definition: Tree.cpp:239
bool canModify() const
If this function return false, the tree cannot be modified because there is no reasonable way to prod...
Definition: Tree.h:88
const Node * getNextSibling() const
Definition: Tree.h:93
const Tree * getParent() const
Definition: Tree.h:90
bool isDetached() const
Whether the node is detached from a tree, i.e. does not have a parent.
Definition: Tree.cpp:44
An abstract node for C++ statements, e.g.
Definition: Nodes.h:209
A TokenBuffer-powered token manager.
static void addAfter(syntax::Node *Anchor, syntax::Node *New, NodeRole Role)
Add a new node with a specified role.
Definition: Mutations.cpp:30
static void remove(syntax::Node *N)
Completely remove the node from its parent.
Definition: Mutations.cpp:65
static void replace(syntax::Node *Old, syntax::Node *New)
Replace the node, keeping the role.
Definition: Mutations.cpp:48
NodeRole
A relation between a parent and child node, e.g.
Definition: Nodes.h:54
@ Detached
A node without a parent.
syntax::EmptyStatement * createEmptyStatement(syntax::Arena &A, TokenBufferTokenManager &TBTM)
Definition: Synthesis.cpp:235
void removeStatement(syntax::Arena &A, TokenBufferTokenManager &TBTM, syntax::Statement *S)
Removes a statement or replaces it with an empty statement where one is required syntactically.
Definition: Mutations.cpp:79
The JSON file list parser is used to communicate input to InstallAPI.