/// <summary>
/// Assert a collection is sorted
/// </summary>
public static void IsSorted <T>(System.Collections.Generic.IEnumerable <T> sorted) where T : IComparable <T>
{
var previous = sorted.First();
foreach (var item in sorted.Skip(1))
{
if (item.CompareTo(previous) < 0)
{
throw new Exception($"Collection is not sorted. {item} is not greater than {previous}.");
}
previous = item;
}
}
private static Option <int> Solve(
int currentFrequency,
System.Collections.Generic.IEnumerable <Option <int> > frequencies,
int finalFrequency,
HashSet <int> partialFrequencies
)
{
int newFinalFrequency = finalFrequency + currentFrequency;
return(partialFrequencies.Contains(newFinalFrequency) ?
newFinalFrequency :
Solve(frequencies.First(), frequencies.Skip(1), newFinalFrequency, partialFrequencies.Add(newFinalFrequency)));
}
public void LoadData()
{
System.Collections.Generic.IEnumerable <CMS.Article> it = ListArticle.Take(Number);
if (it.Count() > 0)
{
CMS.Article article = it.Take(1).Single();
ArticleId = article.Id.ToString();
ArticleName = article.Name;
ArticleDescription = article.GetDescription();
rptTabTopic.DataSource = it.Skip(1);
rptTabTopic.DataBind();
}
}
public async Task GetTeamWithRankAsync(int rank, string location, DivisionWithCategory?divisionAndCat, Tier?tier)
{
using (Context.Channel.EnterTypingState())
{
if (rank < 1)
{
throw new ArgumentOutOfRangeException(nameof(rank));
}
var filter = new ScoreboardFilterInfo(divisionAndCat?.Division, tier, divisionAndCat?.Category, location);
var teams = await ScoreRetrievalService.GetScoreboardAsync(filter).ConfigureAwait(false);
System.Collections.Generic.IEnumerable <ScoreboardSummaryEntry> teamList = teams.TeamList;
var team = teamList.Skip(rank - 1).First();
ScoreboardDetails teamScore = await ScoreRetrievalService.GetDetailsAsync(team.TeamId).ConfigureAwait(false);
if (teamScore == null)
{
throw new Exception("Error obtaining team score.");
}
string classSpec = Utilities.JoinNonNullNonEmpty(", ",
LocationResolutionService.GetFullNameOrNull(location),
filter.Division.HasValue ? (filter.Division.Value.ToStringCamelCaseToSpace() + " Division") : null,
filter.Category?.ToCanonicalName(),
tier.HasValue ? (tier.Value.ToStringCamelCaseToSpace() + " Tier") : null);
await ReplyAsync(
"**" + Utilities.AppendOrdinalSuffix(rank) + " place " + (classSpec.Length == 0 ? "overall" : "in " + classSpec) + ": " + team.TeamId + "**",
embed : ScoreEmbedBuilder.CreateTeamDetailsEmbed(teamScore,
completeScoreboard : await ScoreRetrievalService.GetScoreboardAsync(new ScoreboardFilterInfo(null, null)).ConfigureAwait(false),
peerFilter : CompetitionRoundLogicService.GetPeerFilter(ScoreRetrievalService.Round, team),
timeZone : await Preferences.GetTimeZoneAsync(Context.Guild, Context.User).ConfigureAwait(false)).Build()).ConfigureAwait(false);
}
}