/// <summary>
/// ボタン押下でPost
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private async void btnPost_Click(object sender, EventArgs e)
{
string anspath = _answerDirectoryPath + "ans" + _problemNum + ".txt";
if (postConfirm())
{
await Poster.Post(_submitUrl, anspath);
}
}
/// <summary>
/// ボタン押下でソルバ実行
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private async void btnSolve_Click(object sender, EventArgs e)
{
// 問題DLがされていないなら
if (!_dlFlag)
{
updateServerSettings();
_workingDirectoryPath = createWorkingDirectory();
String problemPath = downloadProblem();
if (problemPath == null)
{
updateLogStatus("問題取得に失敗しました");
return;
}
else
{
_dlFlag = true;
updateLogStatus("問題ファイルのダウンロード完了");
}
}
selectSolverParams(); // Solverのparam設定
Poster.Init(_submitUrl, _token); // Posterの初期化
_answerDirectoryPath = createAnswerDirectory();
string args = _workingDirectoryPath + "quest" + _problemNum + ".txt " + _answerDirectoryPath + "ans" + _problemNum + ".txt " + _solverParams;
string res = await runSolver(_solverPath, args);
_score = int.Parse(res); // score(だいたい4桁のやつ)をintに
if (_maxScore > _score)
{
_maxScore = _score;
txtScore.Text = res;
}
updateLogStatus("Solve終了. 割ったスコア : " + (int.Parse(res) / 257));
updateLogStatus("Param: " + _paramNum + " score: " + res.ToString());
}
/// <summary>
/// 問題DL, 解答, 提出をすべて実行
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private async void btnAllRun_Click(object sender, EventArgs e)
{
if (radioButton1.Checked)
{
//HttpServer.Run(_localServerAddress, _score);
// 問題DL
updateServerSettings();
this._localServerAddress = "http://" + txtLocalServerAddress.Text + "/"; // ローカルサーバアドレス設定
_workingDirectoryPath = createWorkingDirectory();
String problemPath = downloadProblem();
if (problemPath == null)
{
updateLogStatus("問題取得に失敗しました");
return;
}
else
{
updateLogStatus("問題ファイルのダウンロード完了");
}
// sataticクラスの初期化
Poster.Init(_localServerAddress, _token);
// Solver
_answerDirectoryPath = createAnswerDirectory();
updateLogStatus("Solve開始");
string args = _workingDirectoryPath + "quest" + _problemNum + ".txt " + _answerDirectoryPath + "ans" + _problemNum + ".txt " + _solverParams;
string res = await runSolver(_solverPath, args);
updateLogStatus("Solve終了. スコア : " + int.Parse(res) % 257);
_score = int.Parse(res.ToString());
string anspath = _answerDirectoryPath + "ans" + _problemNum + ".txt";
// Post
HttpServer.PostScore(_score);
await Poster.Post(_localServerAddress, anspath);
}
else
{
updateServerSettings();
_workingDirectoryPath = createWorkingDirectory();
String problemPath = downloadProblem();
if (problemPath == null)
{
updateLogStatus("問題取得に失敗しました");
return;
}
else
{
updateLogStatus("問題ファイルのダウンロード完了");
}
// staticクラスの初期化
Poster.Init(_submitUrl, _token);
_answerDirectoryPath = createAnswerDirectory();
string args = _workingDirectoryPath + "quest" + _problemNum + ".txt " + _answerDirectoryPath + "ans" + _problemNum + ".txt " + _solverParams;
string res = await runSolver(_solverPath, args);
_score = int.Parse(res); // score(だいたい4桁のやつ)をintに
if (_maxScore > _score)
{
_maxScore = _score;
txtScore.Text = res;
}
updateLogStatus("Solve終了. スコア : " + (int.Parse(res) / 257));
updateLogStatus("[Core : サーバ不使用] " + res.ToString());
string anspath = _answerDirectoryPath + "ans" + _problemNum + ".txt";
if (postConfirm())
{
await Poster.Post(_submitUrl, anspath);
}
}
}
