exec_post_extract


Description:

public void exec_post_extract (Details task)

Parse post-exec synthesis response into the task. Called by Details.run_post_exec(). Requires ## Result summary; sets post_summary and out_doc, then validates each link in the output document.

Parameters:

task

the task to fill with post-exec summary and document