// 入出力フォルダのパスのデフォルト値
const string DEFAULT_INPUT_DIRECTORY = "./input";
const string DEFAULT_OUTPUT_DIRECTORY = "./output";

// 高さの設定モードの選択肢
const string HEIGHT_MODE_MANUAL = "高さの値を手動で設定";
const string HEIGHT_MODE_AUTO = "縦横比が同じになる高さに設定";


// 出力画像の幅をユーザーに入力してもらう
int outputWidth = input("拡大・縮小後の画像の幅（ピクセル数）を入力：", 100);

// 高さの設定モードをユーザーに選択してもらう
string heightMode = select("- 高さの設定モードを選択 -", HEIGHT_MODE_MANUAL, HEIGHT_MODE_AUTO);
while (heightMode == "- 高さの設定モードを選択 -") {
	heightMode = select("- 高さの設定モードを選択 -", HEIGHT_MODE_MANUAL, HEIGHT_MODE_AUTO);
}

// 高さを手動設定するモードが選択された場合は、高さの値をユーザーに入力してもらう
//（自動設定するモードの場合は、高さの値は processFile 関数内で画像毎に求めて設定する）
int outputHeight = -1;
if (heightMode == HEIGHT_MODE_MANUAL) {
	outputHeight = input("拡大・縮小後の画像の高さ（ピクセル数）を入力：", 100);
}

// 保存画像形式などをユーザーに指定してもらう
string saveFormat = select("- 保存する画像形式を選択 -", "PNG", "JPEG");
while (saveFormat == "- 保存する画像形式を選択 -") {
	saveFormat = select("- 保存する画像形式を選択 -", "PNG", "JPEG");
}
float quality = 100.0;
if (saveFormat == "JPEG") {
	quality = input("画質（%）を選択（0.0 〜 100.0）", "100.0");
}