void function ( IProgressMonitor arg0 ) { this . monitor = arg0 ; }
use the given progress monitor to listen to cancellation in subsequently created worklist instances . concode_field_sep IProgressMonitor monitor concode_field_sep WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>> createBranchSensitiveWorklist concode_elem_sep WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>> createBranchInsensitiveWorklist