public string ToString(StringTable table) { Contract.Requires(table != null); Contract.Requires(IsValid); return(table.GetString(StringId)); }
public string ToString(StringTable table) { Contract.Requires(table != null); Contract.Requires(IsValid); Contract.Ensures(!string.IsNullOrEmpty(Contract.Result <string>())); return(table.GetString(StringId)); }
public string ToString(StringTable stringTable) { return(stringTable.GetString(this)); }