Searched refs:whereConstruct (Results 1 – 4 of 4) sorted by relevance
309 bool Pre(const parser::WhereConstruct &whereConstruct) { in Pre() argument310 return PushConstructName(whereConstruct); in Pre()343 void Post(const parser::WhereConstruct &whereConstruct) { in Post() argument344 PopConstructName(whereConstruct); in Post()738 void CheckName(const parser::WhereConstruct &whereConstruct) { in CheckName() argument740 "WHERE", whereConstruct); in CheckName()743 whereConstruct.t)) { in CheckName()745 whereConstruct, in CheckName()751 whereConstruct.t)}) { in CheckName()753 whereConstruct, in CheckName()
97 constexpr Parser<WhereConstruct> whereConstruct; // R1042 variable
485 construct<WhereBodyConstruct>(indirect(whereConstruct)))520 construct<ForallBodyConstruct>(whereConstruct) ||
50 construct<ExecutableConstruct>(indirect(whereConstruct)),