Navigation
Synopsis Set the estimated remaining work for the current (sub)job.
Function void todo(int work)
Usage import util::Monitor;
Description Set the estimated remaining work for the current (sub)job. The argument work is the amount of work remaining to be done, or 0 for unknown.
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.