Red.git | docs/coverage/report-data/ | MetamodelX-Red-SubModelHOW.html


<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="UTF-8">
	<title>RaCoCo result: MetamodelX::Red::SubModelHOW</title>
	<link rel="stylesheet"
				href="https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css"
				integrity="sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh"
				crossorigin="anonymous">
	<style>
      pre.code::before {
          counter-reset: listing;
      }

      pre.code span {
          counter-increment: listing;
      }

      pre.code span::before {
          content: counter(listing) ". ";
      }

      .coverage-green {
          background-color: #32CD32;
          /*color-blind
          background-color: #00CED1;
          /**/
      }

      .coverage-red {
          background-color: #fa8072;
      }

      .coverage-purple {
          background-color: #9370DB;
      }
	</style>
</head>
<body>
<div class="container">
	<div class="row mt-5 mb-3">
		<div class="col-12">
			<div class="page-header">
				<h1>MetamodelX::Red::SubModelHOW 37.5%</h1>
			</div>
		</div>
	</div>
	<div class="row justify-content-md-center">
		<div class="col-md-10">
			<pre class="code">
<span class="coverage-green">unit role MetamodelX::Red::SubModelHOW is Metamodel::SubsetHOW;</span>
<span class="coverage-no"></span>
<span class="coverage-green">method all(\model, |c) { model.^refinee.^all(|c).grep: model.^refinement }</span>
<span class="coverage-no"></span>
<span class="coverage-red">method load(\model, |ids) {</span>
<span class="coverage-red">    my $filter = model.^refinee.^id-filter: |ids;</span>
<span class="coverage-red">    model.^all.grep({ $filter }).head</span>
<span class="coverage-no">}</span>
<span class="coverage-red">method search(\model, |c) { model.^all.grep:   |c }</span>
<span class="coverage-green">method create(\model, |c) { model.^all.create: |c }</span>
<span class="coverage-red">method delete(\model, |c) { model.^all.delete: |c }</span>
			</pre>
		</div>
	</div>
</div>
</body>
</html>