${i18["menu.summary"]}

<@summary.operations operationCoveredMap=data.coverageOperationMap /> <@summary.calls data=data /> <@summary.tags tagsDetail=data.tagCoverageMap tagCounter=data.tagCounter /> <@summary.conditions counter=data.conditionCounter />

${i18["menu.operations"]}


<@condition.list coverage=data.coverageOperationMap.full + data.coverageOperationMap.party + data.coverageOperationMap.empty prefix="condition"/>
<@condition.list coverage=data.coverageOperationMap.full prefix="full"/>
<@condition.list coverage=data.coverageOperationMap.party prefix="party"/>
<@condition.list coverage=data.coverageOperationMap.empty prefix="empty"/>
<@condition.list coverage=data.zeroCall prefix="zero"/>
<@operations.list coverage=data.missed prefix="missed"/>
<@operations.list coverage=data.deprecated prefix="deprecated"/>

${i18["menu.tags"]}

<@tag.list tags=data.tagCoverageMap/>

${i18["menu.condition"]}

<#list data.conditionStatisticsMap as key, value>
<#assign nameKey = "predicate.${key}.name"> <#assign descriptionKey = "predicate.${key}.description">

${i18[nameKey]!nameKey}

${i18[descriptionKey]!descriptionKey}
<@ui.progress full=value.allCount current=value.coveredCount postfix=i18["details.conditionprogress.postfix"] />

<#list value.coveredOperation as conditionItem>
${i18["details.condition.operation"]} ${i18["details.condition.conditionname"]}e ${i18["details.condition.details"]}
 ${conditionItem.operation} ${conditionItem.condition.name} ${conditionItem.condition.reason?no_esc}
<#list value.uncoveredOperation as conditionItem>
${i18["details.condition.operation"]} ${i18["details.condition.conditionname"]}e ${i18["details.condition.details"]}
 ${conditionItem.operation} ${conditionItem.condition.name} ${conditionItem.condition.reason?no_esc}

${i18["menu.generation"]}

<@generation.data statistic=data.generationStatistics/>

${i18["generation.configuration"]}