1 //===- ExternalASTMerger.cpp - Merging External AST Interface ---*- 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 //===----------------------------------------------------------------------===//
8 //
9 //  This file implements the ExternalASTMerger, which vends a combination of
10 //  ASTs from several different ASTContext/FileManager pairs
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "clang/AST/ASTContext.h"
15 #include "clang/AST/Decl.h"
16 #include "clang/AST/DeclCXX.h"
17 #include "clang/AST/DeclObjC.h"
18 #include "clang/AST/DeclTemplate.h"
19 #include "clang/AST/ExternalASTMerger.h"
20 
21 using namespace clang;
22 
23 namespace {
24 
25 template <typename T> struct Source {
26   T t;
27   Source(T t) : t(t) {}
28   operator T() { return t; }
29   template <typename U = T> U &get() { return t; }
30   template <typename U = T> const U &get() const { return t; }
31   template <typename U> operator Source<U>() { return Source<U>(t); }
32 };
33 
34 typedef std::pair<Source<NamedDecl *>, ASTImporter *> Candidate;
35 
36 /// For the given DC, return the DC that is safe to perform lookups on.  This is
37 /// the DC we actually want to work with most of the time.
38 const DeclContext *CanonicalizeDC(const DeclContext *DC) {
39   if (isa<LinkageSpecDecl>(DC))
40     return DC->getRedeclContext();
41   return DC;
42 }
43 
44 Source<const DeclContext *>
45 LookupSameContext(Source<TranslationUnitDecl *> SourceTU, const DeclContext *DC,
46                   ASTImporter &ReverseImporter) {
47   DC = CanonicalizeDC(DC);
48   if (DC->isTranslationUnit()) {
49     return SourceTU;
50   }
51   Source<const DeclContext *> SourceParentDC =
52       LookupSameContext(SourceTU, DC->getParent(), ReverseImporter);
53   if (!SourceParentDC) {
54     // If we couldn't find the parent DC in this TranslationUnit, give up.
55     return nullptr;
56   }
57   auto *ND = cast<NamedDecl>(DC);
58   DeclarationName Name = ND->getDeclName();
59   auto SourceNameOrErr = ReverseImporter.Import(Name);
60   if (!SourceNameOrErr) {
61     llvm::consumeError(SourceNameOrErr.takeError());
62     return nullptr;
63   }
64   Source<DeclarationName> SourceName = *SourceNameOrErr;
65   DeclContext::lookup_result SearchResult =
66       SourceParentDC.get()->lookup(SourceName.get());
67 
68   // There are two cases here. First, we might not find the name.
69   // We might also find multiple copies, in which case we have no
70   // guarantee that the one we wanted is the one we pick.  (E.g.,
71   // if we have two specializations of the same template it is
72   // very hard to determine which is the one you want.)
73   //
74   // The Origins map fixes this problem by allowing the origin to be
75   // explicitly recorded, so we trigger that recording by returning
76   // nothing (rather than a possibly-inaccurate guess) here.
77   if (SearchResult.isSingleResult()) {
78     NamedDecl *SearchResultDecl = SearchResult.front();
79     if (isa<DeclContext>(SearchResultDecl) &&
80         SearchResultDecl->getKind() == DC->getDeclKind())
81       return cast<DeclContext>(SearchResultDecl)->getPrimaryContext();
82     return nullptr; // This type of lookup is unsupported
83   } else {
84     return nullptr;
85   }
86 }
87 
88 /// A custom implementation of ASTImporter, for ExternalASTMerger's purposes.
89 ///
90 /// There are several modifications:
91 ///
92 /// - It enables lazy lookup (via the HasExternalLexicalStorage flag and a few
93 ///   others), which instructs Clang to refer to ExternalASTMerger.  Also, it
94 ///   forces MinimalImport to true, which is necessary to make this work.
95 /// - It maintains a reverse importer for use with names.  This allows lookup of
96 ///   arbitrary names in the source context.
97 /// - It updates the ExternalASTMerger's origin map as needed whenever a
98 ///   it sees a DeclContext.
99 class LazyASTImporter : public ASTImporter {
100 private:
101   ExternalASTMerger &Parent;
102   ASTImporter Reverse;
103   const ExternalASTMerger::OriginMap &FromOrigins;
104   /// @see ExternalASTMerger::ImporterSource::Temporary
105   bool TemporarySource;
106   /// Map of imported declarations back to the declarations they originated
107   /// from.
108   llvm::DenseMap<Decl *, Decl *> ToOrigin;
109   /// @see ExternalASTMerger::ImporterSource::Merger
110   ExternalASTMerger *SourceMerger;
111   llvm::raw_ostream &logs() { return Parent.logs(); }
112 public:
113   LazyASTImporter(ExternalASTMerger &_Parent, ASTContext &ToContext,
114                   FileManager &ToFileManager,
115                   const ExternalASTMerger::ImporterSource &S,
116                   std::shared_ptr<ASTImporterSharedState> SharedState)
117       : ASTImporter(ToContext, ToFileManager, S.getASTContext(),
118                     S.getFileManager(),
119                     /*MinimalImport=*/true, SharedState),
120         Parent(_Parent),
121         Reverse(S.getASTContext(), S.getFileManager(), ToContext, ToFileManager,
122                 /*MinimalImport=*/true),
123         FromOrigins(S.getOriginMap()), TemporarySource(S.isTemporary()),
124         SourceMerger(S.getMerger()) {}
125 
126   llvm::Expected<Decl *> ImportImpl(Decl *FromD) override {
127     if (!TemporarySource || !SourceMerger)
128       return ASTImporter::ImportImpl(FromD);
129 
130     // If we get here, then this source is importing from a temporary ASTContext
131     // that also has another ExternalASTMerger attached. It could be
132     // possible that the current ExternalASTMerger and the temporary ASTContext
133     // share a common ImporterSource, which means that the temporary
134     // AST could contain declarations that were imported from a source
135     // that this ExternalASTMerger can access directly. Instead of importing
136     // such declarations from the temporary ASTContext, they should instead
137     // be directly imported by this ExternalASTMerger from the original
138     // source. This way the ExternalASTMerger can safely do a minimal import
139     // without creating incomplete declarations originated from a temporary
140     // ASTContext. If we would try to complete such declarations later on, we
141     // would fail to do so as their temporary AST could be deleted (which means
142     // that the missing parts of the minimally imported declaration in that
143     // ASTContext were also deleted).
144     //
145     // The following code tracks back any declaration that needs to be
146     // imported from the temporary ASTContext to a persistent ASTContext.
147     // Then the ExternalASTMerger tries to import from the persistent
148     // ASTContext directly by using the associated ASTImporter. If that
149     // succeeds, this ASTImporter just maps the declarations imported by
150     // the other (persistent) ASTImporter to this (temporary) ASTImporter.
151     // The steps can be visualized like this:
152     //
153     //  Target AST <--- 3. Indirect import --- Persistent AST
154     //       ^            of persistent decl        ^
155     //       |                                      |
156     // 1. Current import           2. Tracking back to persistent decl
157     // 4. Map persistent decl                       |
158     //  & pretend we imported.                      |
159     //       |                                      |
160     // Temporary AST -------------------------------'
161 
162     // First, ask the ExternalASTMerger of the source where the temporary
163     // declaration originated from.
164     Decl *Persistent = SourceMerger->FindOriginalDecl(FromD);
165     // FromD isn't from a persistent AST, so just do a normal import.
166     if (!Persistent)
167       return ASTImporter::ImportImpl(FromD);
168     // Now ask the current ExternalASTMerger to try import the persistent
169     // declaration into the target.
170     ASTContext &PersistentCtx = Persistent->getASTContext();
171     ASTImporter &OtherImporter = Parent.ImporterForOrigin(PersistentCtx);
172     // Check that we never end up in the current Importer again.
173     assert((&PersistentCtx != &getFromContext()) && (&OtherImporter != this) &&
174            "Delegated to same Importer?");
175     auto DeclOrErr = OtherImporter.Import(Persistent);
176     // Errors when importing the persistent decl are treated as if we
177     // had errors with importing the temporary decl.
178     if (!DeclOrErr)
179       return DeclOrErr.takeError();
180     Decl *D = *DeclOrErr;
181     // Tell the current ASTImporter that this has already been imported
182     // to prevent any further queries for the temporary decl.
183     MapImported(FromD, D);
184     return D;
185   }
186 
187   /// Implements the ASTImporter interface for tracking back a declaration
188   /// to its original declaration it came from.
189   Decl *GetOriginalDecl(Decl *To) override {
190     return ToOrigin.lookup(To);
191   }
192 
193   /// Whenever a DeclContext is imported, ensure that ExternalASTSource's origin
194   /// map is kept up to date.  Also set the appropriate flags.
195   void Imported(Decl *From, Decl *To) override {
196     ToOrigin[To] = From;
197 
198     if (auto *ToDC = dyn_cast<DeclContext>(To)) {
199       const bool LoggingEnabled = Parent.LoggingEnabled();
200       if (LoggingEnabled)
201         logs() << "(ExternalASTMerger*)" << (void*)&Parent
202                << " imported (DeclContext*)" << (void*)ToDC
203                << ", (ASTContext*)" << (void*)&getToContext()
204                << " from (DeclContext*)" << (void*)llvm::cast<DeclContext>(From)
205                << ", (ASTContext*)" << (void*)&getFromContext()
206                << "\n";
207       Source<DeclContext *> FromDC(
208           cast<DeclContext>(From)->getPrimaryContext());
209       if (FromOrigins.count(FromDC) &&
210           Parent.HasImporterForOrigin(*FromOrigins.at(FromDC).AST)) {
211         if (LoggingEnabled)
212           logs() << "(ExternalASTMerger*)" << (void*)&Parent
213                  << " forced origin (DeclContext*)"
214                  << (void*)FromOrigins.at(FromDC).DC
215                  << ", (ASTContext*)"
216                  << (void*)FromOrigins.at(FromDC).AST
217                  << "\n";
218         Parent.ForceRecordOrigin(ToDC, FromOrigins.at(FromDC));
219       } else {
220         if (LoggingEnabled)
221           logs() << "(ExternalASTMerger*)" << (void*)&Parent
222                  << " maybe recording origin (DeclContext*)" << (void*)FromDC
223                  << ", (ASTContext*)" << (void*)&getFromContext()
224                  << "\n";
225         Parent.MaybeRecordOrigin(ToDC, {FromDC, &getFromContext()});
226       }
227     }
228     if (auto *ToTag = dyn_cast<TagDecl>(To)) {
229       ToTag->setHasExternalLexicalStorage();
230       ToTag->getPrimaryContext()->setMustBuildLookupTable();
231       assert(Parent.CanComplete(ToTag));
232     } else if (auto *ToNamespace = dyn_cast<NamespaceDecl>(To)) {
233       ToNamespace->setHasExternalVisibleStorage();
234       assert(Parent.CanComplete(ToNamespace));
235     } else if (auto *ToContainer = dyn_cast<ObjCContainerDecl>(To)) {
236       ToContainer->setHasExternalLexicalStorage();
237       ToContainer->getPrimaryContext()->setMustBuildLookupTable();
238       assert(Parent.CanComplete(ToContainer));
239     }
240   }
241   ASTImporter &GetReverse() { return Reverse; }
242 };
243 
244 bool HasDeclOfSameType(llvm::ArrayRef<Candidate> Decls, const Candidate &C) {
245   if (isa<FunctionDecl>(C.first.get()))
246     return false;
247   return llvm::any_of(Decls, [&](const Candidate &D) {
248     return C.first.get()->getKind() == D.first.get()->getKind();
249   });
250 }
251 
252 } // end namespace
253 
254 ASTImporter &ExternalASTMerger::ImporterForOrigin(ASTContext &OriginContext) {
255   for (const std::unique_ptr<ASTImporter> &I : Importers)
256     if (&I->getFromContext() == &OriginContext)
257       return *I;
258   llvm_unreachable("We should have an importer for this origin!");
259 }
260 
261 namespace {
262 LazyASTImporter &LazyImporterForOrigin(ExternalASTMerger &Merger,
263                                    ASTContext &OriginContext) {
264   return static_cast<LazyASTImporter &>(
265       Merger.ImporterForOrigin(OriginContext));
266 }
267 }
268 
269 bool ExternalASTMerger::HasImporterForOrigin(ASTContext &OriginContext) {
270   for (const std::unique_ptr<ASTImporter> &I : Importers)
271     if (&I->getFromContext() == &OriginContext)
272       return true;
273   return false;
274 }
275 
276 template <typename CallbackType>
277 void ExternalASTMerger::ForEachMatchingDC(const DeclContext *DC,
278                                           CallbackType Callback) {
279   if (Origins.count(DC)) {
280     ExternalASTMerger::DCOrigin Origin = Origins[DC];
281     LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST);
282     Callback(Importer, Importer.GetReverse(), Origin.DC);
283   } else {
284     bool DidCallback = false;
285     for (const std::unique_ptr<ASTImporter> &Importer : Importers) {
286       Source<TranslationUnitDecl *> SourceTU =
287           Importer->getFromContext().getTranslationUnitDecl();
288       ASTImporter &Reverse =
289           static_cast<LazyASTImporter *>(Importer.get())->GetReverse();
290       if (auto SourceDC = LookupSameContext(SourceTU, DC, Reverse)) {
291         DidCallback = true;
292         if (Callback(*Importer, Reverse, SourceDC))
293           break;
294       }
295     }
296     if (!DidCallback && LoggingEnabled())
297       logs() << "(ExternalASTMerger*)" << (void*)this
298              << " asserting for (DeclContext*)" << (const void*)DC
299              << ", (ASTContext*)" << (void*)&Target.AST
300              << "\n";
301     assert(DidCallback && "Couldn't find a source context matching our DC");
302   }
303 }
304 
305 void ExternalASTMerger::CompleteType(TagDecl *Tag) {
306   assert(Tag->hasExternalLexicalStorage());
307   ForEachMatchingDC(Tag, [&](ASTImporter &Forward, ASTImporter &Reverse,
308                              Source<const DeclContext *> SourceDC) -> bool {
309     auto *SourceTag = const_cast<TagDecl *>(cast<TagDecl>(SourceDC.get()));
310     if (SourceTag->hasExternalLexicalStorage())
311       SourceTag->getASTContext().getExternalSource()->CompleteType(SourceTag);
312     if (!SourceTag->getDefinition())
313       return false;
314     Forward.MapImported(SourceTag, Tag);
315     if (llvm::Error Err = Forward.ImportDefinition(SourceTag))
316       llvm::consumeError(std::move(Err));
317     Tag->setCompleteDefinition(SourceTag->isCompleteDefinition());
318     return true;
319   });
320 }
321 
322 void ExternalASTMerger::CompleteType(ObjCInterfaceDecl *Interface) {
323   assert(Interface->hasExternalLexicalStorage());
324   ForEachMatchingDC(
325       Interface, [&](ASTImporter &Forward, ASTImporter &Reverse,
326                      Source<const DeclContext *> SourceDC) -> bool {
327         auto *SourceInterface = const_cast<ObjCInterfaceDecl *>(
328             cast<ObjCInterfaceDecl>(SourceDC.get()));
329         if (SourceInterface->hasExternalLexicalStorage())
330           SourceInterface->getASTContext().getExternalSource()->CompleteType(
331               SourceInterface);
332         if (!SourceInterface->getDefinition())
333           return false;
334         Forward.MapImported(SourceInterface, Interface);
335         if (llvm::Error Err = Forward.ImportDefinition(SourceInterface))
336           llvm::consumeError(std::move(Err));
337         return true;
338       });
339 }
340 
341 bool ExternalASTMerger::CanComplete(DeclContext *Interface) {
342   assert(Interface->hasExternalLexicalStorage() ||
343          Interface->hasExternalVisibleStorage());
344   bool FoundMatchingDC = false;
345   ForEachMatchingDC(Interface,
346                     [&](ASTImporter &Forward, ASTImporter &Reverse,
347                         Source<const DeclContext *> SourceDC) -> bool {
348                       FoundMatchingDC = true;
349                       return true;
350                     });
351   return FoundMatchingDC;
352 }
353 
354 namespace {
355 bool IsSameDC(const DeclContext *D1, const DeclContext *D2) {
356   if (isa<ObjCContainerDecl>(D1) && isa<ObjCContainerDecl>(D2))
357     return true; // There are many cases where Objective-C is ambiguous.
358   if (auto *T1 = dyn_cast<TagDecl>(D1))
359     if (auto *T2 = dyn_cast<TagDecl>(D2))
360       if (T1->getFirstDecl() == T2->getFirstDecl())
361         return true;
362   return D1 == D2 || D1 == CanonicalizeDC(D2);
363 }
364 }
365 
366 void ExternalASTMerger::MaybeRecordOrigin(const DeclContext *ToDC,
367                                           DCOrigin Origin) {
368   LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST);
369   ASTImporter &Reverse = Importer.GetReverse();
370   Source<const DeclContext *> FoundFromDC =
371       LookupSameContext(Origin.AST->getTranslationUnitDecl(), ToDC, Reverse);
372   const bool DoRecord = !FoundFromDC || !IsSameDC(FoundFromDC.get(), Origin.DC);
373   if (DoRecord)
374     RecordOriginImpl(ToDC, Origin, Importer);
375   if (LoggingEnabled())
376     logs() << "(ExternalASTMerger*)" << (void*)this
377              << (DoRecord ? " decided " : " decided NOT")
378              << " to record origin (DeclContext*)" << (void*)Origin.DC
379              << ", (ASTContext*)" << (void*)&Origin.AST
380              << "\n";
381 }
382 
383 void ExternalASTMerger::ForceRecordOrigin(const DeclContext *ToDC,
384                                           DCOrigin Origin) {
385   RecordOriginImpl(ToDC, Origin, ImporterForOrigin(*Origin.AST));
386 }
387 
388 void ExternalASTMerger::RecordOriginImpl(const DeclContext *ToDC, DCOrigin Origin,
389                                          ASTImporter &Importer) {
390   Origins[ToDC] = Origin;
391   Importer.ASTImporter::MapImported(cast<Decl>(Origin.DC), const_cast<Decl*>(cast<Decl>(ToDC)));
392 }
393 
394 ExternalASTMerger::ExternalASTMerger(const ImporterTarget &Target,
395                                      llvm::ArrayRef<ImporterSource> Sources) : LogStream(&llvm::nulls()), Target(Target) {
396   SharedState = std::make_shared<ASTImporterSharedState>(
397       *Target.AST.getTranslationUnitDecl());
398   AddSources(Sources);
399 }
400 
401 Decl *ExternalASTMerger::FindOriginalDecl(Decl *D) {
402   assert(&D->getASTContext() == &Target.AST);
403   for (const auto &I : Importers)
404     if (auto Result = I->GetOriginalDecl(D))
405       return Result;
406   return nullptr;
407 }
408 
409 void ExternalASTMerger::AddSources(llvm::ArrayRef<ImporterSource> Sources) {
410   for (const ImporterSource &S : Sources) {
411     assert(&S.getASTContext() != &Target.AST);
412     // Check that the associated merger actually imports into the source AST.
413     assert(!S.getMerger() || &S.getMerger()->Target.AST == &S.getASTContext());
414     Importers.push_back(std::make_unique<LazyASTImporter>(
415         *this, Target.AST, Target.FM, S, SharedState));
416   }
417 }
418 
419 void ExternalASTMerger::RemoveSources(llvm::ArrayRef<ImporterSource> Sources) {
420   if (LoggingEnabled())
421     for (const ImporterSource &S : Sources)
422       logs() << "(ExternalASTMerger*)" << (void *)this
423              << " removing source (ASTContext*)" << (void *)&S.getASTContext()
424              << "\n";
425   llvm::erase_if(Importers,
426                  [&Sources](std::unique_ptr<ASTImporter> &Importer) -> bool {
427                    for (const ImporterSource &S : Sources) {
428                      if (&Importer->getFromContext() == &S.getASTContext())
429                        return true;
430                    }
431                    return false;
432                  });
433   for (OriginMap::iterator OI = Origins.begin(), OE = Origins.end(); OI != OE; ) {
434     std::pair<const DeclContext *, DCOrigin> Origin = *OI;
435     bool Erase = false;
436     for (const ImporterSource &S : Sources) {
437       if (&S.getASTContext() == Origin.second.AST) {
438         Erase = true;
439         break;
440       }
441     }
442     if (Erase)
443       OI = Origins.erase(OI);
444     else
445       ++OI;
446   }
447 }
448 
449 template <typename DeclTy>
450 static bool importSpecializations(DeclTy *D, ASTImporter *Importer) {
451   for (auto *Spec : D->specializations()) {
452     auto ImportedSpecOrError = Importer->Import(Spec);
453     if (!ImportedSpecOrError) {
454       llvm::consumeError(ImportedSpecOrError.takeError());
455       return true;
456     }
457   }
458   return false;
459 }
460 
461 /// Imports specializations from template declarations that can be specialized.
462 static bool importSpecializationsIfNeeded(Decl *D, ASTImporter *Importer) {
463   if (!isa<TemplateDecl>(D))
464     return false;
465   if (auto *FunctionTD = dyn_cast<FunctionTemplateDecl>(D))
466     return importSpecializations(FunctionTD, Importer);
467   else if (auto *ClassTD = dyn_cast<ClassTemplateDecl>(D))
468     return importSpecializations(ClassTD, Importer);
469   else if (auto *VarTD = dyn_cast<VarTemplateDecl>(D))
470     return importSpecializations(VarTD, Importer);
471   return false;
472 }
473 
474 bool ExternalASTMerger::FindExternalVisibleDeclsByName(const DeclContext *DC,
475                                                        DeclarationName Name) {
476   llvm::SmallVector<NamedDecl *, 1> Decls;
477   llvm::SmallVector<Candidate, 4> Candidates;
478 
479   auto FilterFoundDecl = [&Candidates](const Candidate &C) {
480    if (!HasDeclOfSameType(Candidates, C))
481      Candidates.push_back(C);
482   };
483 
484   ForEachMatchingDC(DC,
485                     [&](ASTImporter &Forward, ASTImporter &Reverse,
486                         Source<const DeclContext *> SourceDC) -> bool {
487                       auto FromNameOrErr = Reverse.Import(Name);
488                       if (!FromNameOrErr) {
489                         llvm::consumeError(FromNameOrErr.takeError());
490                         return false;
491                       }
492                       DeclContextLookupResult Result =
493                           SourceDC.get()->lookup(*FromNameOrErr);
494                       for (NamedDecl *FromD : Result) {
495                         FilterFoundDecl(std::make_pair(FromD, &Forward));
496                       }
497                       return false;
498                     });
499 
500   if (Candidates.empty())
501     return false;
502 
503   Decls.reserve(Candidates.size());
504   for (const Candidate &C : Candidates) {
505     Decl *LookupRes = C.first.get();
506     ASTImporter *Importer = C.second;
507     auto NDOrErr = Importer->Import(LookupRes);
508     NamedDecl *ND = cast<NamedDecl>(llvm::cantFail(std::move(NDOrErr)));
509     assert(ND);
510     // If we don't import specialization, they are not available via lookup
511     // because the lookup result is imported TemplateDecl and it does not
512     // reference its specializations until they are imported explicitly.
513     bool IsSpecImportFailed =
514         importSpecializationsIfNeeded(LookupRes, Importer);
515     assert(!IsSpecImportFailed);
516     (void)IsSpecImportFailed;
517     Decls.push_back(ND);
518   }
519   SetExternalVisibleDeclsForName(DC, Name, Decls);
520   return true;
521 }
522 
523 void ExternalASTMerger::FindExternalLexicalDecls(
524     const DeclContext *DC, llvm::function_ref<bool(Decl::Kind)> IsKindWeWant,
525     SmallVectorImpl<Decl *> &Result) {
526   ForEachMatchingDC(DC, [&](ASTImporter &Forward, ASTImporter &Reverse,
527                             Source<const DeclContext *> SourceDC) -> bool {
528     for (const Decl *SourceDecl : SourceDC.get()->decls()) {
529       if (IsKindWeWant(SourceDecl->getKind())) {
530         auto ImportedDeclOrErr = Forward.Import(SourceDecl);
531         if (ImportedDeclOrErr)
532           assert(!(*ImportedDeclOrErr) ||
533                  IsSameDC((*ImportedDeclOrErr)->getDeclContext(), DC));
534         else
535           llvm::consumeError(ImportedDeclOrErr.takeError());
536       }
537     }
538     return false;
539   });
540 }
541