file_filter_with_start_end/6¶

file_filter_with_start_end(+ FileIn, + FileOut, + Goal, + StartGoal, + EndGoal)*

Same as file_filter//33, but before starting the filter execute StartGoal, and call ENdGoal as an epilog.

The input stream are always accessible through filter_output and filter_input.