Lines Matching defs:VarDecl
660 : SExpr(COP_Function), VarDecl(Vd), Body(Bd) {
664 : SExpr(F), VarDecl(Vd), Body(Bd) {
668 Variable *variableDecl() { return VarDecl; }
669 const Variable *variableDecl() const { return VarDecl; }
677 auto E0 = Vs.traverse(VarDecl->Definition, Vs.typeCtx(Ctx));
679 Variable *Nvd = Vs.enterScope(*VarDecl, E0);
681 Vs.exitScope(*VarDecl);
688 Cmp.compare(VarDecl->definition(), E->VarDecl->definition());
698 Variable *VarDecl;
711 : SExpr(COP_SFunction), VarDecl(Vd), Body(B) {
717 : SExpr(F), VarDecl(Vd), Body(B) {
723 Variable *variableDecl() { return VarDecl; }
724 const Variable *variableDecl() const { return VarDecl; }
734 Variable *Nvd = Vs.enterScope(*VarDecl, nullptr);
736 Vs.exitScope(*VarDecl);
750 Variable *VarDecl;
1866 Let(Variable *Vd, SExpr *Bd) : SExpr(COP_Let), VarDecl(Vd), Body(Bd) {
1869 Let(const Let &L, Variable *Vd, SExpr *Bd) : SExpr(L), VarDecl(Vd), Body(Bd) {
1873 Variable *variableDecl() { return VarDecl; }
1874 const Variable *variableDecl() const { return VarDecl; }
1882 auto E0 = Vs.traverse(VarDecl->Definition, Vs.subExprCtx(Ctx));
1884 Variable *Nvd = Vs.enterScope(*VarDecl, E0);
1886 Vs.exitScope(*VarDecl);
1893 Cmp.compare(VarDecl->definition(), E->VarDecl->definition());
1903 Variable *VarDecl;
