public override Expression UpdateTotalStateLocationDirectly(ResolutionContext context, IConstraintCollector constraintCollector,
Expression val_new)
{
Expression parent_val_old = parent.GetValueInLValueState(context);
Expression parent_val_new = AH.MakeSeqUpdateExpr(tok, parent_val_old, index, val_new);
return(parent.UpdateTotalStateLocationDirectly(context, constraintCollector, parent_val_new));
}
public override string UpdateTotalStateLocationDirectly(ResolutionContext context, IConstraintCollector constraintCollector,
string val_new)
{
string parent_val_old = parent.GetValueInLValueState(context);
string parent_val_new = $"({parent_val_old})[{index} := {val_new}]";
return(parent.UpdateTotalStateLocationDirectly(context, constraintCollector, parent_val_new));
}