/// <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)); }