Lines Matching defs:VarDecl
747 : SExpr(COP_Function), VarDecl(Vd), Body(Bd) {
751 : SExpr(F), VarDecl(Vd), Body(Bd) {
755 Variable *variableDecl() { return VarDecl; }
756 const Variable *variableDecl() const { return VarDecl; }
764 auto E0 = Vs.traverse(VarDecl->Definition, Vs.typeCtx(Ctx));
766 Variable *Nvd = Vs.enterScope(*VarDecl, E0);
768 Vs.exitScope(*VarDecl);
774 Cmp.compare(VarDecl->definition(), E->VarDecl->definition());
784 Variable *VarDecl;
797 : SExpr(COP_SFunction), VarDecl(Vd), Body(B) {
803 : SExpr(F), VarDecl(Vd), Body(B) {
809 Variable *variableDecl() { return VarDecl; }
810 const Variable *variableDecl() const { return VarDecl; }
820 Variable *Nvd = Vs.enterScope(*VarDecl, nullptr);
822 Vs.exitScope(*VarDecl);
835 Variable *VarDecl;
1763 Let(Variable *Vd, SExpr *Bd) : SExpr(COP_Let), VarDecl(Vd), Body(Bd) {
1766 Let(const Let &L, Variable *Vd, SExpr *Bd) : SExpr(L), VarDecl(Vd), Body(Bd) {
1770 Variable *variableDecl() { return VarDecl; }
1771 const Variable *variableDecl() const { return VarDecl; }
1779 auto E0 = Vs.traverse(VarDecl->Definition, Vs.subExprCtx(Ctx));
1781 Variable *Nvd = Vs.enterScope(*VarDecl, E0);
1783 Vs.exitScope(*VarDecl);
1789 Cmp.compare(VarDecl->definition(), E->VarDecl->definition());
1799 Variable *VarDecl;