public ImmutableHashSet <object> VisitZenGetFieldExpr <T1, T2>(ZenGetFieldExpr <T1, T2> expression, Unit parameter)
{
return(LookupOrCompute(expression, () =>
{
return expression.Expr.Accept(this, parameter);
}));
}
public Expression VisitZenGetFieldExpr <T1, T2>(ZenGetFieldExpr <T1, T2> expression, ExpressionConverterEnvironment parameter)
{
return(LookupOrCompute(expression, () =>
{
var obj = expression.Expr.Accept(this, parameter);
return Expression.PropertyOrField(obj, expression.FieldName);
}));
}
public SymbolicValue <TModel, TVar, TBool, TInt, TString> VisitZenGetFieldExpr <T1, T2>(ZenGetFieldExpr <T1, T2> expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt, TString> parameter)
{
return(LookupOrCompute(expression, () =>
{
var v = (SymbolicClass <TModel, TVar, TBool, TInt, TString>)expression.Expr.Accept(this, parameter);
return v.Fields[expression.FieldName];
}));
}