public void TestConstants(string s) { var fs = FiniteString.Constant(s); var f = Function(() => fs); Assert.IsTrue(f.Assert(x => x == s)); }
public void TestSuffixOfRandom() { RandomStrings(s => { var f = Function <FiniteString, bool>(fs => FiniteString.Constant(s).EndsWith(fs)); var ex = f.Find((fs, b) => b).Value.ToString(); Assert.IsTrue(s.EndsWith(ex)); }); }
/// <summary> /// Convert an input to the Zen string type. /// </summary> /// <param name="s">The string.</param> /// <returns></returns> private static Zen <TZen> ConvertStringConstant <TZen>(string s) { var type = typeof(TZen); if (type == ReflectionUtilities.StringType) { return((Zen <TZen>)(object) Language.String(s)); } if (type == ReflectionUtilities.FiniteStringType) { return((Zen <TZen>)(object) FiniteString.Constant(s)); } throw new ZenException($"Invalid implicit conversion from string to type: {type}"); }