23       SemanticsContext &context, parser::CharBlock criticalSourcePosition)  in CriticalBodyEnforce()
25   std::set<parser::Label> labels() { return labels_; }  in labels()
29   template <typename T> bool Pre(const parser::Statement<T> &statement) {  in Pre()
38   void Post(const parser::ReturnStmt &) {  in Post()
44   void Post(const parser::ExecutableConstruct &construct) {  in Post()
55   parser::MessageFixedText GetEnclosingMsg() {  in GetEnclosingMsg()
60   std::set<parser::Label> labels_;
61   parser::CharBlock currentStatementSourcePosition_;
62   parser::CharBlock criticalSourcePosition_;
69       context.Say(parser::FindSourceLocation(x), // C1114  in CheckTeamType()
76     SemanticsContext &context, const parser::ImageSelectorSpec::Stat &stat) {  in CheckTeamStat()
77   const parser::Variable &var{stat.v.thing.thing.value()};  in CheckTeamStat()
78   if (parser::GetCoindexedNamedObject(var)) {  in CheckTeamStat()
79     context.Say(parser::FindSourceLocation(var), // C931  in CheckTeamStat()
85 void CoarrayChecker::Leave(const parser::ChangeTeamStmt &x) {  in Leave()
86   CheckNamesAreDistinct(std::get<std::list<parser::CoarrayAssociation>>(x.t));  in Leave()
87   CheckTeamType(context_, std::get<parser::TeamValue>(x.t));  in Leave()
90 void CoarrayChecker::Leave(const parser::SyncTeamStmt &x) {  in Leave()
91   CheckTeamType(context_, std::get<parser::TeamValue>(x.t));  in Leave()
94 void CoarrayChecker::Leave(const parser::ImageSelector &imageSelector) {  in Leave()
99       std::get<std::list<parser::ImageSelectorSpec>>(imageSelector.t)) {  in Leave()
101             std::get_if<parser::TeamValue>(&imageSelectorSpec.u)}) {  in Leave()
103         context_.Say(parser::FindSourceLocation(imageSelectorSpec), // C929  in Leave()
109     if (const auto *stat{std::get_if<parser::ImageSelectorSpec::Stat>(  in Leave()
112         context_.Say(parser::FindSourceLocation(imageSelectorSpec), // C929  in Leave()
118     if (std::get_if<parser::ImageSelectorSpec::Team_Number>(  in Leave()
121         context_.Say(parser::FindSourceLocation(imageSelectorSpec), // C929  in Leave()
128     context_.Say(parser::FindSourceLocation(imageSelector), // C930  in Leave()
133 void CoarrayChecker::Leave(const parser::FormTeamStmt &x) {  in Leave()
134   CheckTeamType(context_, std::get<parser::TeamVariable>(x.t));  in Leave()
137 void CoarrayChecker::Enter(const parser::CriticalConstruct &x) {  in Enter()
138   auto &criticalStmt{std::get<parser::Statement<parser::CriticalStmt>>(x.t)};  in Enter()
140   const parser::Block &block{std::get<parser::Block>(x.t)};  in Enter()
142   parser::Walk(block, criticalBodyEnforce);  in Enter()
147   parser::Walk(block, criticalLabelEnforce);  in Enter()
152     const std::list<parser::CoarrayAssociation> &list) {  in CheckNamesAreDistinct()
153   std::set<parser::CharBlock> names;  in CheckNamesAreDistinct()
155       [&](const parser::Name &name) -> const parser::CharBlock * {  in CheckNamesAreDistinct()
160     const auto &decl{std::get<parser::CodimensionDecl>(assoc.t)};  in CheckNamesAreDistinct()
161     const auto &selector{std::get<parser::Selector>(assoc.t)};  in CheckNamesAreDistinct()
162     const auto &declName{std::get<parser::Name>(decl.t)};  in CheckNamesAreDistinct()
172     const parser::Name *name{parser::Unwrap<parser::Name>(selector)};  in CheckNamesAreDistinct()
183 void CoarrayChecker::Say2(const parser::CharBlock &name1,  in Say2()
184     parser::MessageFixedText &&msg1, const parser::CharBlock &name2,  in Say2()
185     parser::MessageFixedText &&msg2) {  in Say2()