Add isDerivable function for CBuildCap

2020-03-26 14:25:59 +00:00
parent 410a27c4a4
commit 910c2154f1
2 changed files with 12 additions and 0 deletions
--- a/CHERICap.bsv
+++ b/CHERICap.bsv
@@ -187,6 +187,9 @@ typeclass CHERICap#(type t, numeric type ot, numeric type flg, numeric type n, n
  // Get representable length
  function Bit#(n) getRepresentableLength (t dummy, Bit#(n) length_request);

+  // Assert that the encoding is valid
+  function Bool isDerivable (t cap);
+
 endtypeclass

 function Fmt showCHERICap(t cap) provisos (CHERICap#(t, ot, flg, n, mem_sz, maskable_bits));