/// <summary>
/// Concatenates a path atom to the end of an absolute path, returning a new absolute path.
/// </summary>
public AbsolutePath Concat(AbsolutePath path, PathAtom addition)
{
Contract.Requires(path.IsValid);
Contract.Requires(addition.IsValid);
return(path.Concat(m_pathTable, addition));
}
public void Concat()
{
var pt = new PathTable();
AbsolutePath a1 = AbsolutePath.Create(pt, @"/ho");
PathAtom p1 = PathAtom.Create(pt.StringTable, "me");
AbsolutePath a2 = a1.Concat(pt, p1);
XAssert.AreEqual(@"/home", a2.ToString(pt));
}