Lines Matching refs:u1
331 IdentifierExpr u1 = lb.addVariable("u1", User.class.getCanonicalName(), null);
338 TernaryExpr abTernary = parse(lb, "a > b ? u1.name : u2.name", TernaryExpr.class);
339 TernaryExpr bcTernary = parse(lb, "b > c ? u1.getCond(d) ? u1.lastName : u2.lastName : `xx`"
360 assertFlags(a, a, b, u1, u2, u1Name, u2Name);
361 assertFlags(b, a, b, u1, u2, u1Name, u2Name, c, d, u1LastName, u2LastName, e);
362 assertFlags(c, b, c, u1, d, u1LastName, u2LastName, e);
363 assertFlags(abCmp, a, b, u1, u2, u1Name, u2Name);
364 assertFlags(bcCmp, b, c, u1, d, u1LastName, u2LastName, e);
369 Expr[] batch = {d, e, u1, u2, u1GetCondD, u2GetCondE, xxPlusU2getCondE, abTernary,
373 assertExactMatch(firstRead, d, e, u1, u2);
377 assertFlags(u1, bcTernary.getRequirementFlagIndex(true),
385 assertFlags(abTernary, a, b, u1, u2, u1Name, u2Name);
392 // actually, there is no real case to read u1 anymore because if b>c was not true,
393 // u1.getCond(d) will never be set. Right now, we don't have mechanism to figure this out
404 assertFlags(bcTernary, b, c, u1, u2, d, u1LastName, u2LastName, e);