Searched refs:whereConstruct (Results 1 – 4 of 4) sorted by relevance
296 bool Pre(const parser::WhereConstruct &whereConstruct) { in Pre() argument297 return PushConstructNameWithoutBlock(whereConstruct); in Pre()331 void Post(const parser::WhereConstruct &whereConstruct) { in Post() argument332 PopConstructNameWithoutBlock(whereConstruct); in Post()714 void CheckName(const parser::WhereConstruct &whereConstruct) { in CheckName() argument716 "WHERE", whereConstruct); in CheckName()719 whereConstruct.t)) { in CheckName()721 whereConstruct, in CheckName()727 whereConstruct.t)}) { in CheckName()729 whereConstruct, in CheckName()
96 constexpr Parser<WhereConstruct> whereConstruct; // R1042 variable
472 construct<WhereBodyConstruct>(indirect(whereConstruct)))507 construct<ForallBodyConstruct>(whereConstruct) ||
50 construct<ExecutableConstruct>(indirect(whereConstruct)),