From 514c18b468c1f1d8922ce984e338fc2b1e1ef316 Mon Sep 17 00:00:00 2001 From: singularitti Date: Tue, 24 Oct 2023 21:23:58 -0400 Subject: [PATCH 1/2] Rename `list*` to `filter*` in EasyJobsBase/src/status.jl --- EasyJobsBase/src/status.jl | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/EasyJobsBase/src/status.jl b/EasyJobsBase/src/status.jl index c409ad4..747cddb 100644 --- a/EasyJobsBase/src/status.jl +++ b/EasyJobsBase/src/status.jl @@ -4,11 +4,11 @@ export getstatus, isexited, issucceeded, isfailed, - listpending, - listrunning, - listexited, - listsucceeded, - listfailed, + filterpending, + filterrunning, + filterexited, + filtersucceeded, + filterfailed, setsucceeded!, setpending!, setfailed! @@ -56,39 +56,39 @@ Test if the `job` failed during running. isfailed(job::AbstractJob) = getstatus(job) === FAILED """ - listpending(jobs) + filterpending(jobs) Filter the pending jobs in a sequence of jobs. """ -listpending(jobs) = Iterators.filter(ispending, jobs) +filterpending(jobs) = Iterators.filter(ispending, jobs) """ - listrunning(jobs) + filterrunning(jobs) Filter the running jobs in a sequence of jobs. """ -listrunning(jobs) = Iterators.filter(isrunning, jobs) +filterrunning(jobs) = Iterators.filter(isrunning, jobs) """ - listexited(jobs) + filterexited(jobs) Filter the exited jobs in a sequence of jobs. """ -listexited(jobs) = Iterators.filter(isexited, jobs) +filterexited(jobs) = Iterators.filter(isexited, jobs) """ - listsucceeded(jobs) + filtersucceeded(jobs) Filter the succeeded jobs in a sequence of jobs. """ -listsucceeded(jobs) = Iterators.filter(issucceeded, jobs) +filtersucceeded(jobs) = Iterators.filter(issucceeded, jobs) """ - listfailed(jobs) + filterfailed(jobs) Filter the failed jobs in a sequence of jobs. """ -listfailed(jobs) = Iterators.filter(isfailed, jobs) +filterfailed(jobs) = Iterators.filter(isfailed, jobs) setsucceeded!(job::AbstractJob) = job.status = SUCCEEDED From 8939f4efed8ccd62d04ded545cf94c839f5b6683 Mon Sep 17 00:00:00 2001 From: singularitti Date: Tue, 24 Oct 2023 21:24:07 -0400 Subject: [PATCH 2/2] Rename `list*` to `filter*` in docs/src/api.md --- docs/src/api.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/src/api.md b/docs/src/api.md index 0fc6601..987cbbd 100644 --- a/docs/src/api.md +++ b/docs/src/api.md @@ -27,12 +27,12 @@ isexited issucceeded isfailed isinterrupted -listpending -listrunning -listexited -listsucceeded -listfailed -listinterrupted +filterpending +filterrunning +filterexited +filtersucceeded +filterfailed +filterinterrupted countexecution descriptionof creationtimeof