Skip to content

Commit 9d6d672

Browse files
committed
Rename LookupPrecedenceGroupRequest to ValidatePrecedenceGroupRequest
Make way for a new kind of name lookup request for operators
1 parent a078a4b commit 9d6d672

File tree

3 files changed

+16
-12
lines changed

3 files changed

+16
-12
lines changed

include/swift/AST/TypeCheckRequests.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1495,8 +1495,8 @@ struct PrecedenceGroupDescriptor {
14951495

14961496
void simple_display(llvm::raw_ostream &out, const PrecedenceGroupDescriptor &d);
14971497

1498-
class LookupPrecedenceGroupRequest
1499-
: public SimpleRequest<LookupPrecedenceGroupRequest,
1498+
class ValidatePrecedenceGroupRequest
1499+
: public SimpleRequest<ValidatePrecedenceGroupRequest,
15001500
PrecedenceGroupDecl *(PrecedenceGroupDescriptor),
15011501
CacheKind::Cached> {
15021502
public:

lib/AST/TypeCheckRequests.cpp

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1017,15 +1017,16 @@ void InterfaceTypeRequest::cacheResult(Type type) const {
10171017
}
10181018

10191019
//----------------------------------------------------------------------------//
1020-
// LookupPrecedenceGroupRequest computation.
1020+
// ValidatePrecedenceGroupRequest computation.
10211021
//----------------------------------------------------------------------------//
10221022

1023-
SourceLoc LookupPrecedenceGroupRequest::getNearestLoc() const {
1023+
SourceLoc ValidatePrecedenceGroupRequest::getNearestLoc() const {
10241024
auto &desc = std::get<0>(getStorage());
10251025
return desc.getLoc();
10261026
}
10271027

1028-
void LookupPrecedenceGroupRequest::diagnoseCycle(DiagnosticEngine &diags) const {
1028+
void ValidatePrecedenceGroupRequest::diagnoseCycle(
1029+
DiagnosticEngine &diags) const {
10291030
auto &desc = std::get<0>(getStorage());
10301031
if (auto pathDir = desc.pathDirection) {
10311032
diags.diagnose(desc.nameLoc, diag::precedence_group_cycle, (bool)*pathDir);
@@ -1034,7 +1035,8 @@ void LookupPrecedenceGroupRequest::diagnoseCycle(DiagnosticEngine &diags) const
10341035
}
10351036
}
10361037

1037-
void LookupPrecedenceGroupRequest::noteCycleStep(DiagnosticEngine &diag) const {
1038+
void ValidatePrecedenceGroupRequest::noteCycleStep(
1039+
DiagnosticEngine &diag) const {
10381040
auto &desc = std::get<0>(getStorage());
10391041
diag.diagnose(desc.nameLoc,
10401042
diag::circular_reference_through_precedence_group, desc.ident);

lib/Sema/TypeCheckDecl.cpp

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1277,8 +1277,9 @@ void swift::validatePrecedenceGroup(PrecedenceGroupDecl *PGD) {
12771277

12781278
PrecedenceGroupDescriptor desc{PGD->getDeclContext(), rel.Name, rel.NameLoc,
12791279
PrecedenceGroupDescriptor::HigherThan};
1280-
auto group = evaluateOrDefault(PGD->getASTContext().evaluator,
1281-
LookupPrecedenceGroupRequest{desc}, nullptr);
1280+
auto group =
1281+
evaluateOrDefault(PGD->getASTContext().evaluator,
1282+
ValidatePrecedenceGroupRequest{desc}, nullptr);
12821283
if (group) {
12831284
rel.Group = group;
12841285
addedHigherThan = true;
@@ -1297,8 +1298,9 @@ void swift::validatePrecedenceGroup(PrecedenceGroupDecl *PGD) {
12971298
auto dc = PGD->getDeclContext();
12981299
PrecedenceGroupDescriptor desc{PGD->getDeclContext(), rel.Name, rel.NameLoc,
12991300
PrecedenceGroupDescriptor::LowerThan};
1300-
auto group = evaluateOrDefault(PGD->getASTContext().evaluator,
1301-
LookupPrecedenceGroupRequest{desc}, nullptr);
1301+
auto group =
1302+
evaluateOrDefault(PGD->getASTContext().evaluator,
1303+
ValidatePrecedenceGroupRequest{desc}, nullptr);
13021304
bool hadError = false;
13031305
if (group) {
13041306
rel.Group = group;
@@ -1332,7 +1334,7 @@ void swift::validatePrecedenceGroup(PrecedenceGroupDecl *PGD) {
13321334
checkPrecedenceCircularity(Diags, PGD);
13331335
}
13341336

1335-
llvm::Expected<PrecedenceGroupDecl *> LookupPrecedenceGroupRequest::evaluate(
1337+
llvm::Expected<PrecedenceGroupDecl *> ValidatePrecedenceGroupRequest::evaluate(
13361338
Evaluator &eval, PrecedenceGroupDescriptor descriptor) const {
13371339
if (auto *group = lookupPrecedenceGroup(descriptor)) {
13381340
validatePrecedenceGroup(group);
@@ -1347,7 +1349,7 @@ PrecedenceGroupDecl *TypeChecker::lookupPrecedenceGroup(DeclContext *dc,
13471349
SourceLoc nameLoc) {
13481350
return evaluateOrDefault(
13491351
dc->getASTContext().evaluator,
1350-
LookupPrecedenceGroupRequest({dc, name, nameLoc, None}), nullptr);
1352+
ValidatePrecedenceGroupRequest({dc, name, nameLoc, None}), nullptr);
13511353
}
13521354

13531355
static NominalTypeDecl *resolveSingleNominalTypeDecl(

0 commit comments

Comments
 (0)