+ /// 翻訳支援対象のページの本文・タイムスタンプを読み込み。
+ /// </summary>
+ /// <param name="page">翻訳支援対象のページ。</param>
+ /// <returns>読み込み成功の場合<c>true</c>、失敗した(通信エラーなど)の場合<c>false</c>。</returns>
+ private bool TryLoadPage(MediaWikiPage page)
+ {
+ // ページ本文にアクセスして遅延読み込みを実行させる
+ try
+ {
+ string dummy = page.Text;
+ }
+ catch (Exception e)
+ {
+ // その他例外の場合、エラー情報を出力
+ this.Logger.AddError(e);
+ return false;
+ }
+
+ return true;
+ }
+
+ /// <summary>