www.gusucode.com > simcoverage工具箱matlab源码程序 > simcoverage/+cvi/@ReportScript/dump_eml.m
function dump_eml(this, blkEntry, options)
% Copyright 1990-2015 The MathWorks, Inc.
% All EML functions have at least 1 decision point: whether or not the
% function has been executed. With MATLAB action language charts in SF,
% this is no longer true, as it does not make sense to say that the
% during action of a state has been executed and so on. So, this early
% return if decision is empty no longer makes sense.
if isfield(blkEntry,'decision') && ~isempty(blkEntry.decision) && ...
isempty(blkEntry.decision.decisionIdx)
return;
end
isEmTruthtable = false;
if cv('get',blkEntry.cvId,'.origin')==2
sfId = cv('get',blkEntry.cvId,'.handle');
if sf('Private', 'is_eml_truth_table_fcn', sfId)
isEmTruthtable = true;
end
end
codeBlock = cv('get',blkEntry.cvId,'.code');
lineStart = cv('get',codeBlock,'.lineStartInd');
if ~isfield(blkEntry,'decision') || isempty(blkEntry.decision)
decIdx = [];
decCovered = [];
decJustified = [];
decIds = [];
decLines = [];
else
decIdx = blkEntry.decision.decisionIdx;
decCovered = logical([this.cvstruct.decisions.covered]);
decCovered = decCovered(decIdx);
decJustified = logical([this.cvstruct.decisions.isJustified]);
decJustified = decJustified(decIdx);
decIds = [this.cvstruct.decisions.cvId];
decIds = decIds(decIdx);
decLines = cv('CodeBloc','objLines',codeBlock,decIds);
end
if ~isfield(blkEntry,'condition') || isempty(blkEntry.condition)
condIdx = [];
condCovered = [];
condJustified = [];
condIds = [];
condLines = [];
else
condIdx = blkEntry.condition.conditionIdx;
condCovered = logical([this.cvstruct.conditions.covered]);
condCovered = condCovered(condIdx);
condJustified = logical([this.cvstruct.conditions.isJustified]);
condJustified = condJustified(condIdx);
condIds = [this.cvstruct.conditions.cvId];
condIds = condIds(condIdx);
condLines = cv('CodeBloc','objLines',codeBlock,condIds);
end
if ~isfield(blkEntry,'mcdc') || isempty(blkEntry.mcdc)
mcdcIdx = [];
mcdcLines = [];
else
mcdcIdx = blkEntry.mcdc.mcdcIndex;
mcdcIds = [this.cvstruct.mcdcentries.cvId];
mcdcIds = mcdcIds(mcdcIdx);
mcdcLines = cv('CodeBloc','objLines',codeBlock,mcdcIds);
end
allLines = unique([decLines condLines mcdcLines]);
allCovered = [decIds(decCovered) condIds(condCovered) ];
allJustified = [decIds(decJustified) condIds(condJustified) ];
uncovered = [ decIds(~(decCovered + decJustified))...
condIds(~(condCovered + condJustified))];
if this.hasTestobjectiveInfo
for mIdx = 1:numel(this.toMetricNames)
metricName = this.toMetricNames{mIdx};
if ~isempty(blkEntry.(metricName))
toData.(metricName) = [];
toIdx = blkEntry.(metricName).testobjectiveIdx;
toData.(metricName).toIdx = toIdx;
toCovered = logical([this.cvstruct.(metricName).covered]);
toCovered = toCovered(toIdx);
toJustified = logical([this.cvstruct.(metricName).isJustified]);
toJustified = toJustified(toIdx);
toData.(metricName).toCovered = toCovered;
toIds = [this.cvstruct.(metricName).cvId];
toIds = toIds(toIdx);
toData.(metricName).toIds = toIds;
toLines = [];
for idx = 1:numel(toIds)
toLines = [toLines cv('CodeBloc','objLines',codeBlock,toIds(idx))]; %#ok<AGROW>
end
toData.(metricName).toLines = toLines;
allLines = unique([allLines toLines]);
allCovered = [allCovered toIds(toCovered) ]; %#ok<AGROW>
allJustified = [allJustified toIds(toJustified)]; %#ok<AGROW>
uncovered = [uncovered toIds(~(toCovered + toJustified))]; %#ok<AGROW>
end
end
end
cv('CodeBloc','refresh',codeBlock);
cv('CodeBloc','covered',codeBlock,allCovered);
cv('CodeBloc','justified',codeBlock, allJustified);
cv('CodeBloc','uncovered',codeBlock,uncovered);
if ~isempty(decIdx)
% this.hasDecisionInfo is no longer a sufficient guard for MAL
% charts with only sldv.test coverage in the during of a state.
cv('CodeBloc','missingStatementHighlight',codeBlock,this.allTests{this.totalIdx}.metrics.decision);
end
linkTemplate = ['#refobj' num2str(blkEntry.cvId) '_%d'];
cv('set',codeBlock,'.hyperlink.line',allLines,'.hyperlink.sTemplate',linkTemplate);
if isEmTruthtable
[tableStr, ~, ~, processedLines] = cvprivate( 'truth_table_html_cov', blkEntry.cvId, blkEntry, this.allTests{this.totalIdx}, this.cvstruct);
allLines = setdiff(allLines, processedLines);
printIt(this,'%s\n',tableStr);
else
scriptHtml = cv('CodeBloc','html',codeBlock,1,1,0,0);
printIt(this,'%s\n',scriptHtml);
end
shortSumm= [];
for idx = 1:numel(allLines)
lineNum = allLines(idx);
subBlkEntry = blkEntry;
subBlkEntry.decision.decisionIdx = decIdx(decLines==lineNum);
subBlkEntry.decision.flags.fullCoverage = decCovered(decLines==lineNum);
subBlkEntry.condition.conditionIdx = condIdx(condLines==lineNum);
subBlkEntry.condition.flags.fullCoverage = condCovered(condLines==lineNum);
subBlkEntry.mcdc.mcdcIndex = mcdcIdx(mcdcLines==lineNum);
for mIdx = 1:numel(this.toMetricNames)
metricName = this.toMetricNames{mIdx};
if ~isempty(subBlkEntry.(metricName))
subBlkEntry.(metricName).testobjectiveIdx = toData.(metricName).toIdx(toData.(metricName).toLines == lineNum);
subBlkEntry.(metricName).flags.fullCoverage = toData.(metricName).toCovered(toData.(metricName).toLines == lineNum);
else
subBlkEntry.(metricName).testobjectiveIdx = [];
end
end
if lineNum==1
charStart = 0;
else
charStart = lineStart(lineNum)+1;
end
if (lineNum == length(lineStart))
script = cv('GetScript',codeBlock);
charEnd = length(script);
else
charEnd = lineStart(lineNum+1);
end
lineTxt = ['#' num2str(lineNum) ': ' cv('CodeBloc','getLine',codeBlock,lineNum)];
if isEmTruthtable
map = sf('get', sfId, 'state.autogen.mapping');
ttItem = cvi.ReportUtils.get_script_to_truth_table_map(map, lineNum);
if ~isempty(ttItem)
title = cvi.ReportScript.object_titleStr_and_link([blkEntry.cvId ttItem.type ttItem.index],lineTxt);
else
%TBD: need to update eml map for block coverage
title = '';
end
else
title = cvi.ReportScript.object_titleStr_and_link([blkEntry.cvId charStart charEnd],lineTxt);
end
isShortSumm = false;
if options.elimFullCovDetails
[isShortSumm, summ, resMetricNames] = isShortSummary(this, subBlkEntry, options);
end
oldElimFullCovDetails = options.elimFullCovDetails;
if options.elimFullCovDetails && ~isShortSumm
options.elimFullCovDetails = false; %this line has missing coverage, let's show all
end
anchor = cvi.ReportUtils.obj_anchor([blkEntry.cvId lineNum],'');
if isShortSumm
if any(strcmp(resMetricNames, 'cvmetric_Structural_block'))
%.e.g line 2 - line 6
tinfo.namedlink = this.cvstruct.cvmetric_Structural_block(subBlkEntry.cvmetric_Structural_block.testobjectiveIdx).text;
else
tinfo.namedlink = title;
end
tinfo.rationale = summ;
if isempty(shortSumm)
shortSumm = tinfo;
else
shortSumm(end+1) = tinfo;
end
else
printIt(this,'%s<h4>%s</h4>', ...
anchor, ...
title);
%this line has decision
if ~isempty(subBlkEntry.decision.decisionIdx)
decision_details(this,subBlkEntry,this.cvstruct,options,0);
end
if ~isempty(subBlkEntry.condition.conditionIdx)
condition_details(this,subBlkEntry,this.cvstruct,options);
end
if ~isempty(subBlkEntry.mcdc.mcdcIndex)
mcdc_details(this,subBlkEntry,this.cvstruct,options);
end
for mIdx = 1:numel(this.toMetricNames)
metricName = this.toMetricNames{mIdx};
if ~isempty(subBlkEntry.(metricName).testobjectiveIdx)
if strcmp(metricName, 'cvmetric_Structural_block')
options.alternativeMetricNameIdx = 2;
end
testobjective_details(this,subBlkEntry,this.cvstruct, metricName, options);
end
end
printIt(this,'<br/>\n'); % Vertical space
end
options.elimFullCovDetails = oldElimFullCovDetails;
end
dumpShortSummary(this, shortSumm, options);