public static Zen <string> Create(string value)
{
CommonUtilities.ValidateNotNull(value);
CommonUtilities.ValidateStringLiteral(value);
if (hashConsTable.TryGetValue(value, out var v))
{
return(v);
}
var ret = new ZenConstantStringExpr(value);
hashConsTable[value] = ret;
return(ret);
}
/// <summary>
/// Create a constant Zen string value.
/// </summary>
/// <param name="value">The Zen string value.</param>
/// <returns>A string.</returns>
public static Zen <string> CreateConstantString(string value)
{
return((Zen <string>)(object) ZenConstantStringExpr.Create(value));
}
