Lines Matching defs:PushConstructName

271     return PushConstructName(associateConstruct);
274     return PushConstructName(blockConstruct);
277     return PushConstructName(changeTeamConstruct);
280     return PushConstructName(criticalConstruct);
308     return PushConstructName(ifConstruct);
322     return PushConstructName(caseConstruct);
327     return PushConstructName(selectRankConstruct);
334     return PushConstructName(selectTypeConstruct);
342     return PushConstructName(whereConstruct);
345     return PushConstructName(forallConstruct);
617   template <typename A> bool PushConstructName(const A &a) {
629   bool PushConstructName(const parser::BlockConstruct &blockConstruct) {