API version 1
- ‐
R
string
taskId¶
タスクを識別するユニークなIDです。
使用例
CRSダウンロード
Form Task {
x = 0;
y = 0;
width = 800;
height = 600;
var func = lambda[]() {
Application.sleep(0.5);
Task.setProgress(1); # t + 0.5[sec]
Application.sleep(2);
Task.setProgress(2); # t + 2.5[sec]
Application.sleep(2);
return 10; # delta + 4.5[sec]
};
# t + 0.0[sec]
var task = AsyncTask.exec(func);
print("起動時 ",task.getProgress()); # null : t + 0.0[sec] (基準時間)
Application.sleep(2);
print("2秒後 ",task.getProgress()); # 1 : t + 2.0[sec]
Application.sleep(2);
print("4秒後 ",task.getProgress()); # 2 : t + 4.0[sec]
Application.sleep(2);
var result = task.get();
print("終了時 ",result); # 10 : t + 2.5[sec]以降
var tasJ = AsyncTask.exec(func);
Application.sleep(2);
print("再確認",tasJ.getProgress()); # 1 : t + 2.0[sec]
print("実行確認 ",tasJ.isBusy);
print("TaskID =",tasJ.taskId);
var resulj = tasJ.abort();
print("中止 ",resulj);
/* windowsのエラーが発生する場合があります */
}