public void Strings11() { var list = FList.AsChars("Henry"); var expected = "HenryVIII"; Assert.AreEqual(expected, FList.Append(list, FList.AsChars("VIII")).ToString()); }
private FList <Variable> AddVariablesForsArrayLengths(APC pc, FList <Variable> variables) { Contract.Ensures(variables == null || Contract.Result <FList <Variable> >() != null); if (variables == FList <Variable> .Empty) { return(variables); } var postPC = pc.Post(); var arrayLenghts = FList <Variable> .Empty; foreach (var v in variables.GetEnumerable()) { Variable vLength; if (this.mDriver.Context.ValueContext.TryGetArrayLength(postPC, v, out vLength)) { arrayLenghts = arrayLenghts.Cons(vLength); } } if (!arrayLenghts.IsEmpty()) { variables = variables.Append(arrayLenghts); Contract.Assert(variables != null); } return(variables); }
public void Strings9() { var str = "Harry"; var expected = "HarryVI"; Assert.AreEqual(expected, FList.Append(str, "VI").ToString()); }
public void Append1() { var list = FList.New(1, 2, 3); var actual = FList.Append(list, FList.New(4)); var expected = FList.New(1, 2, 3, 4); Assert.AreEqual(expected, actual); }
public void Append4() { var list = FList.New(1, 2); var actual = FList.Append(list, FList.New(4, 7)); var expected = FList.New(1, 2, 4, 7); Assert.AreEqual(expected, actual); }
public void Append3() { var list = FList.Empty <int>(); var actual = FList.Append(list, FList.New(4)); var expected = FList.New(4); Assert.AreEqual(expected, actual); }
public void Append4String() { var list = "12"; var actual = FList.Append(list, "47"); var expected = "1247"; Assert.AreEqual(expected, actual.ToString()); }