Boolean output_total_plycount;
/* Whether to add a HashCode tag. */
Boolean add_hashcode_tag;
Boolean output_total_plycount;
/* Whether to add a HashCode tag. */
Boolean add_hashcode_tag;
/* The comment to use for position matches, if required. */
const char *position_match_comment;
/* Current input file name. */
const char *current_input_file;
/* Whether this is a CHECKFILE or a NORMALFILE. */
SourceFileType current_file_type;
/* The comment to use for position matches, if required. */
const char *position_match_comment;
/* Current input file name. */
const char *current_input_file;
/* Whether this is a CHECKFILE or a NORMALFILE. */
SourceFileType current_file_type;