Searched defs:assumption (Results 1 – 6 of 6) sorted by relevance
32 …public AssumptionViolatedException(String assumption, boolean hasValue, Object value, Matcher<?> m… in AssumptionViolatedException()61 public AssumptionViolatedException(String assumption, Object value, Matcher<?> matcher) { in AssumptionViolatedException()71 public AssumptionViolatedException(String assumption) { in AssumptionViolatedException()81 public AssumptionViolatedException(String assumption, Throwable e) { in AssumptionViolatedException()
43 public AssumptionViolatedException(String assumption, Throwable t) { in AssumptionViolatedException()
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
89 bool assumption) { in assume()
262 SVal cond, bool assumption) { in processAssume()
452 bool assumption) { in _evalAssume()