public ImmutableHashSet <object> VisitZenConstantStringExpr(ZenConstantStringExpr expression, Unit parameter)
{
return(emptySet);
}
public Expression VisitZenConstantStringExpr(ZenConstantStringExpr expression, ExpressionConverterEnvironment parameter)
{
return(Expression.Constant(expression.UnescapedValue));
}
public SymbolicValue <TModel, TVar, TBool, TInt, TString> VisitZenConstantStringExpr(ZenConstantStringExpr expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt, TString> parameter)
{
return(LookupOrCompute(expression, () =>
{
var v = this.Solver.CreateStringConst(expression.EscapedValue);
return new SymbolicString <TModel, TVar, TBool, TInt, TString>(this.Solver, v);
}));
}
// FIXME: default value for a c# string is null, not empty. How to represent null strings?
public object VisitString()
{
return(ZenConstantStringExpr.Create(""));
}
