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("")); }