src/ez/clock.bend source

src/ez/clock.bend on the hub · documented module

# ez/clock: the wall-clock budget a run has to finish inside.## `ez test` is held to it, since a check nobody waits for is not one. The# budget is a comparison like any other: it is checked, it is counted, and a run that# overran fails on it the way a test that printed the wrong line fails. That is# the difference between a number in a readme and a number something enforces.## Base has no clock and no arithmetic over what `date` prints, and neither is# needed. `date -d` works out the deadline at the start, and `test -gt` does# the one comparison at the end, so nothing here parses a number. Both are# programs ez already runs the way it runs `find` and `mkdir`, with no shell# between, and running them is ez/timer's: this half holds what a law reads.import Base# whether a budget is being kept at alldef on(+secs: String) -> Bool:  Bool.not(Bool.or(String.is_empty(secs), String.eq(secs, "0")))# the deadline as the run effect wants it: an absolute second, or "0" when# there is no budget to keep. The effect is what queues the jobs, so it is what# keeps the deadline; a job bounded by what was left when its batch started is# not bounded at all once it waits its turn behind three others.def by.effect(+deadline: String) -> String:  Bool.pick(String, String.is_empty(deadline), "0", deadline)