Home | History | Annotate | Download | only in Analysis

Lines Matching refs:translateAttrExpr

988             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
1004             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
1255     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);
1267     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);
1507   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);
1566   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);
1805     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);