public Task <Realm> CreateRealmAsync(Player player, string name, RealmFactory factory)
{
Contract.Requires(player != null);
Contract.Requires(!string.IsNullOrWhiteSpace(name));
Contract.Requires(factory != null);
/*Contract.Ensures
* (Contract.Result<Realm>() == null ||
* (Contract.Result<Realm>().Factory == factory && Contract.Result<Realm>().Name == name));*/
return(default(Task <Realm>));
}
private CompilerOptionsDto MakeDto(RealmFactory f, bool details = false)
{
if (f is InformRealmFactory)
{
return(new CompilerOptionsDto
{
Language = "Inform 7",
Version = f.Name,
SupportedRuntimes = details ? new[] { new RuntimeOptionsDto {
Platform = "Glulx"
} } : null,
});
}
throw new NotImplementedException("Unexpected RealmFactory type " + f.GetType());
}
private static async Task Init()
{
var realm = new RealmFactory();
if (realm.Realm.All <Resource>().Any())
{
return;
}
foreach (var resource in new[]
{
new Resource
{
Name = "iDnes",
Url = "http://servis.idnes.cz/rss.aspx",
Display = true
},
new Resource
{
Name = "iHned",
Url = "https://ihned.cz/?m=rss",
Display = true
},
new Resource
{
Name = "Novinky",
Url = "https://www.novinky.cz/rss2/vase-zpravy/",
Display = true
},
new Resource
{
Name = "ČT 24",
Url = "http://www.ceskatelevize.cz/ct24/rss/hlavni-zpravy",
Display = true
}
})
{
await realm.Realm.WriteAsync(r => { r.Add(resource); });
}
}
private bool CompilerEqualsFactory(CompilerOptionsDto dto, RealmFactory factory)
{
// TODO: support factory languages other than Inform 7
return(dto.Language == "Inform 7" && factory.Name == dto.Version);
}
public Task <Realm> CreateRealmAsync(Player owner, string name, RealmFactory factory)
{
throw new NotImplementedException();
}
public ResourceService()
{
realm = new RealmFactory();
}
public NewsService()
{
rssParser = new RssParser();
resourceService = new ResourceService();
realm = new RealmFactory();
}
