/// <summary>
/// Removes the extension of a path atom.
/// </summary>
/// <returns>A new path atom without the final extension.</returns>
public PathAtom RemoveExtension(StringTable table)
{
Contract.RequiresNotNull(table);
Contract.Requires(IsValid);
StringId newId = table.RemoveExtension(StringId);
return(new PathAtom(newId));
}
/// <summary>
/// Removes the extension of a path atom.
/// </summary>
/// <returns>A new path atom without the final extension.</returns>
public PathAtom RemoveExtension(StringTable table)
{
Contract.Requires(table != null);
Contract.Requires(IsValid);
Contract.Ensures(Contract.Result <PathAtom>().IsValid);
StringId newId = table.RemoveExtension(StringId);
return(new PathAtom(newId));
}
