public void Handle(NewCoverageLinesMessage message)
 {
     lastCoverageLines = message.CoverageLines;
     NewCoverageLinesMessageReceived();
 }
示例#2
0
 public void Handle(NewCoverageLinesMessage message)
 {
     coverageLines = message.CoverageLines;
     RaiseTagsChanged();
 }