Searched refs:SourceStamp (Results 1 – 3 of 3) sorted by relevance
134 public static final class SourceStamp { class in IntegrityFormula151 private SourceStamp() {} in SourceStamp() method in IntegrityFormula.SourceStamp
190 IntegrityFormula formula = IntegrityFormula.SourceStamp.notTrusted(); in createIsTrueFormula_stampNotTrusted()203 IntegrityFormula.SourceStamp.stampCertificateHashEquals(stampCertificateHash); in createEqualsFormula_stampCertificateHash()
3625 public static final class IntegrityFormula.SourceStamp {