Lines Matching defs:props
968 CallProps props;
970 props.SetEffect(i, VisitExpr(exprs[i], env));
972 if (!props.IsSafe()) ReportUnsafe(parent, BAD_EXPR_MSG);
973 return props.ComputeCumulativeEffect(
1024 CallProps props;
1025 VisitArguments<>(call, &props, env);
1026 if (!props.IsSafe()) ReportUnsafe(call, BAD_EXPR_MSG);
1027 return props.ComputeCumulativeEffect(
1033 CallProps* props,
1036 props->SetEffect(arg + 1, VisitExpr(call->getArg(arg), env));
1045 CallProps props;
1051 props.SetEffect(0, VisitExpr(receiver, env));
1064 props.SetEffect(1, VisitExpr(call->getArg(1), env).Define(var_name));
1066 VisitArguments<>(call, &props, env);
1069 if (!props.IsSafe()) ReportUnsafe(call, BAD_EXPR_MSG);
1071 ExprEffect out = props.ComputeCumulativeEffect(